http://blog.sciencenet.cn/blog-794010-679141.html
1. 一个描述逻辑表示知识库主要由TBox和ABox两部分组成。TBox定义了特定知识领域的结构并包含一系列公理，可以通过已有概念构成新的概念。ABox包含了TBox中概念的实例。TBox具有分类(Taxonomy)的能力，ABox是将与TBox中的类相对应的实例填入，所建立的实例要符合TBox中类设计的限制和属性，这些类的实体（individual）称为实例（instance），由这些实例可以将原来只具有概念的架构，组合为可以表现实体知识关系的架构。
2. OWL类构造算子与描述逻辑的对应
Thing：OWL 的根节点，许多本体的起始点都由thing开始，再由thing 展开到其它类。
intersectionOf：类之间具有交集的关系，表示and的意思。例如：Boy＝Male∩children。
unionOf：类之间具有并集的关系，表示or的意思。在多个类中只要符合一个就可以。
complementOf：类之间具有补集的关系,表示not的意思。这个类不属于下列类，例如琝 Male表示非男性，若性别选择只有两个非男性就一定是女性，但若选择不只一个表示可能是剩下的任一选择。
oneOf：类的值为集合范围中的一个，例如{A、B}表示类的值需从A和B选择一个。
someValuesFrom：表示类中有部分的成员具有下列特性，但不是全部的成员皆有。例如. hasChild.Customer，表示部分客户有小孩。
allvalueFrom：表示该类中全部的成员都具有下列特性，例如： hasChild.Costomer，表示所有的客户都有小孩。
hasValue：表示该类的成员具有下列特性，例如hasChild.Doctor，表示医生有小孩。但这个约束方式不同于allValue和someValue，约束性较弱。
minCardinality：表示该类具有至少n个特性，只能超过但不能不足，例如≥1hasChild 表示至少要有一个小孩，制定本体时很多约束属于必要条件，至少要有一个关系才能成立时，就可以使用这个约束条件。
maxCardinality：表示该类至多具有n个特性，只能少于但不能超过。例如≤3hasChild表示最多有三个小孩，可以是0,1,2,3的任一个数目。
3. OWL的Axioms的描述逻辑的对应
除了类与类之间的关系之外，OWL对公理（axiom）也提供了很多约束，这些约束主要是属性（property）和类（class）的约束，每个类不同的特性都是由属性约束出来，不同的属性约束可表示该类需要呈现的知识，OWL可表示的属性为数据属性（datatype property）和对象属性(object property)，其中对象属性专用的axiom有inverseOf，Symmetric，Functional，Inverse，Transitive。下表3.3是OWL公理与描述逻辑语法的对应：
