protege中本体的建模：
空的本体包含一个类称为Thing。
OWL类翻译为一系列个体，或一系列对象。
Thing类代表所有个体的集合。
Individuals 即为，领域中我们关注的对象
个体可以看作：实例，类的实例。
Proegte中OWL没有使用UNA(唯一命名规范)
这意味着，两个不同的名称可能指向同一个Individual。
Properties
是individuals之间的二元关系
Classes
包含individuals的集合
类可以用来分类（taxonomy），OWL中超类子类之间的关系能够被推理机自动判定。
每个本体都使用一个URI来定义
Inverse Properties(反向关系)
Functional Properties
hasBirthMother可以当做一个函数来看待
Inverse Functional Properties
Transitive[传递] Properties
Symmetric[对称] Properties
Antisymmetric[反对称] Properties
Reflexive[反身、自反] Properties
Irreflexive[反自反] Properties
Property Domains and Ranges
