关于owl

一 DisjointClasses、SubClassOf、EquivalentClasses是类的三大公理

      1.DisjointClasses：owl中的class更类似于集合，class中的实例相当于集合中的元素。既然是集合，就会有交集，并集等地概念，于是集合里的一个元素就有可能同时属于若干个集合。DisjointClasses的作用就在于，声明了两个class或者说集合没有交集，这样集合里的每一个元素就只属于一个集合也就是类，这样推理机可以更加准确无误地表达出我们的意思了。

      2.SubClassOf：子类。使类之间有继承的关系。

      3.EquivalentClasses：表示了类与类之间的等价关系

二 Object Properties、Datatype Properties

      1.Object Properties：个体与个体之间的关系，两个properties之间的关系可能是reverse的。

      2.Datatype Properties：individual和基本数据类型的关系，有点像类的属性，比如年龄、身高等。

三 if a property is transitive then it cannot be functional.传递性和函数性不能兼容。函数性(functional)也就是关系和结果的唯一性.