在语义网中，本体是解决语义层次问题的重要基础。在运用本体的过程中，本体描述语言是信息交换，本体构建的重要基础。描述逻辑（DL）是本体语言设计的重要设计基础。
现有一个知识库M，该知识库是基于描述逻辑的。则M=<Tbox,Abox>。
Tbox，是有关概念和关系的蕴涵断言集合，描述概念和关系的一般属性。[1]
其定义了特定知识领域的结构并包含一系列公理，可以通过已有概念构成新的概念。
是一个描述领域结构的公理集，包含内涵性知识，用概念来表示，通过一组描述概念的一般性属性的声明来实现。内涵性公理知识被认为是不变的，它一般包括概念定义公理和概念包含公理。[2]
Abox，是有关个体的实例断言集合，断言一个个体是某个概念的实例，或者两个个体之间存在某种关系。[1]
是一个描述关于具体个体事实的公理集，包含的是外延性知识。外延性知识通常被认为是偶然的，依赖于某一特定的环境，因此它是经常变动的。ABox中的断言包括实例断言和关系断言。[2]
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/130055.html