owl的含義：hasValue？

Question

owl:hasValue限制的含義是什麼，它與owl:allValuesFrom和owl:someValuesFrom有什麼不同？

在本體論中，我想寫一個公理，說：「每個擁有文憑的身體都是識字的。」 我該怎麼寫？

Answer 1

不同類型的限制類

的考慮一個個別的x，C類，屬性P，和另一個個別的Y。然後還有一些類表達式，它聽起來像您關注的是：

someValuesFrom類似

個體x是類PC ∃的元素，如果一些個個別的Y，使得P（X，Y ）是C的一個元素。在曼徹斯特語法中，∃ PC被寫爲「P some C」。

allValuesFrom屬性

個體x是類＆的forall的元素; PC如果每每個個別的Y，使得P（X，Y）是C的元件。在曼徹斯特語法＆的forall; PC被寫入作爲「P只C」。

hasValue的

個體x是類= P.y的元素，如果它是P（X，Y）的情況。在Manchester中，語法= P.y被寫爲「P值y」。

一種數據類型屬性和對象性的判定

在OWL版本，有涉及個人的個體對象的屬性，以及涉及個人文字數據類型屬性。因此，對於上面列出的每個構造，OWL實際上都有兩種類型的限制：一個用於對象屬性，另一個用於數據屬性。其中每一項的含義均正式列入OWL 2 Web Ontology Language Direct Semantics (Second Edition)建議的2.2.3 Class Expressions。

文憑公理

要編寫OWL公理表示「每一個有文憑是有文化的人，」你需要：

• 類LiterateThing，人，文憑
• a property hasDiploma

公理將是

（人⊓ ∃ hasDiploma.Diploma）sqsubseteq; LiterateThing

這就是說，如果一個人是一個人，並有一定的文憑，那麼他們是有識字的。在OWL的RDF序列化（這是你會開始看到的限制類，如你所提到的），這看起來像在門徒新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>