关于知识图谱中OWL语言的简要记录

W3C于2002年发布OWL WEB本体语言

OWL- Web Ontology Language

OWL的三个子语言: OWL Lite,OWL DL,OWL Full

个人理解，OWL是对RDF的升华，在基础的主谓三元组RDF之上，再加上对于逻辑关系的定义就是OWL语言，三个子语言对应不

同的应用范围Full时候范围最广的

语言范例：

1）exp：演员 owl：equivalentClass exp：戏子   这里表述的含义时候两个类“演员”和“戏子”是等价的

2）exp：拿到 owl：equivalentProperty exp：得到   这里表述的含义时候两个属性“拿到”和“得到”是等价的

3）exp：演员A owl：equivalentIndividualAs exp：犯冰冰   这里表述的含义时候两个个体“演员A”和“犯冰冰”是等价的

4）exp:ancestor rdf:type owl:TransitiveProperty      -----这里其实把ancestor定义了一下，owl:TransitiveProperty表示传递性

举例:  exp:柳岩 exp:ancestor exp:韩某某 ；又有 exp：韩某某 exp:ancestor exp:隔壁老王

          那么就会有一个关系exp:柳岩 exp:ancestor exp:隔壁老王

5）exp:ancestor owl:inverseOf exp：descendant     -----这里其实把ancestor和descendant定义了一下，inverseOf是属性互反的关系

举例:  exp:美 exp:ancestor exp:丑

         那么就会有：exp:丑 exp:descendant exp:美

6）exp:hasMother rdf:type owl:FunctionalProperty 

这里是定义了函数性质的属性方法？反正这个意思吧。这里就是说hasMother表示的是某某有一个母亲的关联功能

7）exp:friend rdf:type owl:SymmetricProperty  -----owl:SymmetricProperty这里表示将exp:friend定义为一个对称性的属性，意思是一旦有两个元素中间用到了这个进行了关联，就是一个对称的关系，前后位置互换，这个关系还是成立

exp:柳岩 exp:friend exp:韩某某 同时 exp:韩某某 exp:friend exp:柳岩 也是成立的

8）exp:Person owl:allValuesFrom exp:Women; exp:Person owl:onProperty exp:hasMother

-----这里是声明属性的局部约束：全称限定 

owl:onProperty这里代表把后边hasMother这个方法和Person这个类绑定到一起，即如果在一个三元组中exp:hasMother的主语是属于Person类的时候，一个“人”有个母亲，那么通过owl:allValuesFrom的约束关系hasMother的宾语只能是Women里的一个类的单元

9)exp:SemanticWebPaper owl:someValuesFrom exp:AAAI; exp:SemanticWebPaper owl:onProperty exp:publishedIn

-----声明属性的局部约束：存在限定   这里exp:SemanticWebPaper是个类（语义网论文），exp:AAAI也是个类（一个期刊之类的发表文章的地方），exp:publishedIn这里是个动作的关系定义，整体来看，当exp:publishedIn主语属于exp:SemanticWebPaper时，那么它的谓语取值部分是从exp:AAAI获得的

10)exp:Person owl:cardinality "1"^^xsd:integer

     exp:Person owl:onProperty exp:hasMother

这里是声明了属性的局部约束：基数限定

当 exp:hasMother的主语是Person类的时候，它的谓语部分职能取值为1，这里1数据类型是integer

11)exp:Mother owl:intersectionOf  tmp   ----这里tmp是个临时变量

     tmp rdf:type rdfs:Collection   ----这里是说tmp是个集合

     tmp rdfs:member exp:Person

     tmp rdfs:member exp:HasChildren     ----这里的意思是Person和HasChildren都是tmp集合容器里一个成员

最终这所有的表达的是exp:Mother这个类是exp:Person 和exp:HasChildren的交集

12）其他：

owl:oneOf     声明枚举类型

owl:disjointWith   声明两个类不想交

owl:unionOf   声明类的并运算

owl:minCardinality    owl:maxCardinality    最小最大的基数限定

owl:InverseFunctionalProperty     声明互反类具有函数属性？

owl:hasValue 属性的局部约束时，声明所约束类必有一个取值