如何在Protege上定義合成屬性？

Question

我用hasPart和partOf組成了本體。 我必須對somes類使用這些屬性。 因此，我創建了沒有域或范圍的這些屬性，並且通過對類的貓頭鷹限制來使用它們。 這是正確的 ？ 而且，我讀到partOf是可傳遞的。 我也應該為hasPart添加可傳遞的嗎？

然后，我將hasPart定義為partOf的逆。 我也應該在hasPart中定義逆嗎？

范例：

    <owl:ObjectProperty rdf:about="&myontology;hasPart">
       <rdfs:label xml:lang="en">hasPart</rdfs:label>
       <rdfs:label xml:lang="fr">aCommePartie</rdfs:label>
     </owl:ObjectProperty>

    <owl:ObjectProperty rdf:about="&myontology;partOf">
       <rdf:type rdf:resource="&owl;TransitiveProperty"/>
       <rdfs:label xml:lang="en">partOf</rdfs:label>
       <rdfs:label xml:lang="fr">estPartieDe</rdfs:label>
       <owl:inverseOf rdf:resource="&excelfile;hasPart"/>
    </owl:ObjectProperty>

    <owl:Class rdf:about="&myontology;A">
       <rdfs:subClassOf>
           <owl:Restriction>
               <owl:onProperty rdf:resource="&myontology;hasPart"/>
               <owl:someValuesFrom rdf:resource="&myontology;B"/>
           </owl:Restriction>
       </rdfs:subClassOf>
    </owl:Class>

    <owl:Class rdf:about="&myontology;B">
       <rdfs:subClassOf>
           <owl:Restriction>
               <owl:onProperty rdf:resource="&myontology;partOf"/>
               <owl:someValuesFrom rdf:resource="&myontology;A"/>
           </owl:Restriction>
       </rdfs:subClassOf>
    </owl:Class>

Answer 1

我用hasPart和partOf組成了本體。 我必須對somes類使用這些屬性。 因此，我創建了沒有域或范圍的這些屬性，並且通過對類的貓頭鷹限制來使用它們。 這是正確的 ？ 而且，我讀到partOf是可傳遞的。 我也應該為hasPart添加可傳遞的嗎？

無論partOf和hasPart是及物動詞還是不實在的問題， 分體論 。 在某些領域中，它們可能是可傳遞的，而在其他領域中則可能不是。 您可能對W3C的草案“ OWL本體中的簡單整體關系”很感興趣，以表示這些類型的關系。

無論如何，如果您使用推理器，則只需在一個地方聲明逆關系就足夠了。 當您說p是q的倒數時，您說的是p（x，y） 當且僅當 q（y，x），並且因為它是一個if和if的關系，所以您只需要說一次。

對於傳遞性，可能還不清楚，但是您可以推斷出，如果屬性p是傳遞性的，則其逆也是如此。 因此，如果q是p的倒數，並且p是傳遞的，則q也是如此：

q(y,x)  q = inverse(p)  q(z,y)  q = inverse(p)
----------------------  -----------------------
      p(x,y)                  p(y,z)             transitive(p)
      --------------------------------------------------------
                   p(x,z)                                       q = inverse(p)
                   -----------------------------------------------------------
                                       q(z,x)

順便說一句，您在問題中提到了“組成”一詞。 據我了解，您的意思是這些是指示某物由其他物組成的屬性。 術語“組成”在處理屬性時也具有另一種含義。 例如，hasGrandparent屬性是hasParent屬性與其自身的組合

hasGrandparent≡hasParent∘hasParent

類似地，hasUncle屬性是hasParent和hasBrother的組合物 ：

hasUncle≡hasParent∘hasBrother

（請注意，這種組成表示法與典型的函數組成表示法相反，但是在Protégé和OWL中是標准的。）