owl的含义:hasValue？

Question

什么是意义owl:hasValue的限制,以及它是如何从不同的owl:allValuesFrom和owl:someValuesFrom？

在本体论中,我想写一个公理,上面写着"每个拥有文凭的人都有文化."我怎么写这个？

Answer 1

不同类型的限制类

考虑个体x,C类,属性P和另一个y.然后有几个类表达式听起来像你关心的:

someValuesFrom类似

如果某个个体y使得P(x,y)是C 的元素,则个体x是类∃PC 的元素.在曼彻斯特语法中,∃PC被写为"P some C".

和allValuesFrom

如果每个 y都使得P(x,y)是C 的元素,则个体x是类∀PC 的元素.在曼彻斯特语法中,∀PC被写为"P only C".

hasValue的

如果是P(x,y)的情况,则单个x是class = Py的元素.在曼彻斯特语法= Py被写为"P值y".

数据类型属性和对象属性的版本

在OWL中,存在将个体与个体相关联的对象属性,以及将个体与文字相关联的数据类型属性.因此,OWL实际上对上面列出的每个结构都有两种类型的限制:一个用于对象属性,一个用于数据属性.其中每一个的含义都在2.2.3 OWL 2 Web本体语言直接语义学(第二版)推荐的类表达式中正式列出.

文凭公理

要写一个OWL公理,表达"每个有文凭的人都有文化",你需要:

• 类LiterateThing,人,文凭
• 一个属性有Diploma

公理会是

(人⊓⊓hasDiploma.Diploma)⊑LiterateThing

这说明,如果一个人是一个人,并且有一些文凭,那么他们就是识字.在OWL的RDF序列化中(你开始看到你提到的限制类),这看起来像在ProtégéOWL编辑器和RDF/XML中:

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="http://example.org/literacy#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <owl:Ontology rdf:about="http://example.org/literacy"/>
  <owl:Class>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://example.org/literacy#LiterateThing"/>
    </rdfs:subClassOf>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Class rdf:about="http://example.org/literacy#Person"/>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://example.org/literacy#hasDiploma"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="http://example.org/literacy#Diploma"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>
</rdf:RDF>