在语义网中，本体是解决语义层次问题的重要基础。在运用本体的过程中，本体描述语言是信息交换，本体构建的重要基础。描述逻辑（DL）是本体语言设计的重要设计基础。
现有一个知识库M，该知识库是基于描述逻辑的。则M=<Tbox,Abox>。
Tbox，是有关概念和关系的蕴涵断言集合，描述概念和关系的一般属性。[1]
其定义了特定知识领域的结构并包含一系列公理，可以通过已有概念构成新的概念。
是一个描述领域结构的公理集，包含内涵性知识，用概念来表示，通过一组描述概念的一般性属性的声明来实现。内涵性公理知识被认为是不变的，它一般包括概念定义公理和概念包含公理。[2]
Abox，是有关个体的实例断言集合，断言一个个体是某个概念的实例，或者两个个体之间存在某种关系。[1]
是一个描述关于具体个体事实的公理集，包含的是外延性知识。外延性知识通常被认为是偶然的，依赖于某一特定的环境，因此它是经常变动的。ABox中的断言包括实例断言和关系断言。[2]
参考文献
[1] 兰天,程继红. 基于Tableau算法的本体模型验证方法研究[J]. 舰船电子工程, 2011, 31(10): 134-138.
[2] 徐国虎,许芳,董慧. 基于描述逻辑的本体检错推理研究——以国共合作领域本体为例[J]. 中国图书馆学报, 2008, No.173(1): 79-84.
