一个知识库系统就是领域知识的集合，它由两个子集构成，一个子集是T-Box(Terminology Box，术语集)，另一个是A-Box(Assertion Box，断言集)。T-box是一个概念性知识公理的集合，而A-Box则是领域的实例性知识的集合。通过自动语义标注技术建立知识点本体需要建立知识点本体的T-Box和A-Box集合。
在DL中，T-Box(术语集)和A-Box(断言集)之间具有区别。在一般情况下，T-Box包含描述概念层次(如概念间关系)的句子，而A-Box则包含说明个体所属层次(如个体和概念间关系)的句子。例如，“每个内存都是存储器”及“DDR是内存”2个语句中，“每个内存都是存储器”属于T-Box，而语句“DDR是内存”则属于A-Box。
需要注意的是T-Box/AvBox区别有时并不显著，在同样的意义上，这两种类型的句子在一阶逻辑(其涵盖大多数DL)中并不区别对待。当转为一阶逻辑时，语句“每个内存都是存储器”中所示归类公理仅作为一个对元谓词(概念)的条件限制，只有变量出现在谓词中。显然，这种形式的句子与语句“DDR是内存”中所示的只有常量(确定值)的句子相比，并无优先权或特别之处。
引入此种区别的主要原因在于，令其在描述和形式化各种DL决策程序中发挥作用。例如，推理机可能会分别处理T-Box和A-Box，部分由于某些关键推理问题仅涉及两者之一，而与另一个并无相关。“分类”与T-Box相关，“实例检查”与A-Box相关。另一个例子是，在不考虑A-Box的情况下，T-Box复杂性对特定DL决策处理性能产生极大影响。因此，仅讨论知识库特定部分是一种有用的方法。(www.xing528.com)
第二个原因是，此区分从知识库建模者角度来看是有意义的。建模者能藉此区分世界上术语/概念(T-Box中的类公理)及其表现(在A-Box中的实例断言)之间的区别。
在上面的例子中，当存储器各个分支的基本概念相同，而应用特征不同(因为有特定的具体用途)时，不同分支中T-Box重用就有意义。这些分支不用相同的A-Box。
描述逻辑具有两个其他数据描述形式所不具备的特点，DL不进行唯一名称假设(UNA)或封闭世界假设(CWA)。无UNA意味着两个不同名称的概念可能会被一些推理证明等价。无CWA，或具有开放世界假设(OWA)，则意味着，在知识表示中，缺乏某一事实并不直接表示对该事实否定。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
