如何在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中是标准的。）