知识推理中的Tbox和Abox描述逻辑

Tbox（Theory，术语公理集）

Tbox，术语公理，是关于概念术语的断言。Tbox定义了概念与概念之间的关系，例如：A Father is a man with property of hasChild。在其中，Father、man、hasChild本身都仅仅是抽象的概念，没有实例化。

Abox（Assertion，断言事实）

Abox，断言事实，是关于个体的断言。在Abox中，通过概念和角色来描述一个具体事件，可以理解为个体的实例化，以及这些个体一些属性的实例化。例如：Peter is a Father， Peter hasChild of MARY。