有穷基论文

面向语义Web的描述逻辑本体构建
论文摘要本体是计算机科学和人工智能（特别是知识表示和知识推理）的一个重要研究课题,在语义Web、语义计算、搜索引擎、知识工程、软件工程、模式识别和自然语言理解等领域得到了很好的...
有穷格L生成簇V（L）有有穷基的证明
论文摘要有穷基问题是泛代数中的核心问题,本文第一章中介绍了有穷基的发展。在第二章中先介绍了DPC与DPSC的定义,然后对某些代数类来考虑它们的DPC性质。并得出了如下几个命题:...