Quelle est la différence entre équivalentclass et sous-classe? Tout en lisant à travers l'amorce de hibou, je trouve que le tutoriel utilise beaucoup de classes pour déclarer une nouvelle classe, comme suit
EquivalentClass( :Teenager DataSomeValuesFrom( :hasAge DatatypeRestriction( xsd:integer xsd:minExclusive "12"^^xsd:integer xsd:maxInclusive "19"^^xsd:integer ) ) )
3 Réponses :
Lorsque vous déclarez que Cela signifie que toute instance de Ceci indique que l'instance La différence lors de l'utilisation d'une équivalence est que la relation de sous-classe est impliquée d'aller dans A code> est une sous-classe em>
B code>, cela limite
A code> pour hériter nécessairement toutes les caractéristiques de toutes les caractéristiques de
B code>, mais pas l'inverse autour de fort>. Dans votre exemple,
A code> =
adolescent code> et
b code> =
hasage [12:19] code> (ma propre notation, Mais vous avez l'idée). P>
adolescent code> dans l'ontologie de la hibou doit nécessairement avoir la propriété
hasage code> avec une valeur dans la plage
[12:19] < / Code>, mais pas em> l'inverse autour de fort>. Spécifiquement, cela ne signifie pas que toute instance de quelque chose avec la propriété
hasage code> avec une valeur dans la plage
[12:19] code> est aussi une instance de
adolescent < / code>. Pour que cela soit clair, envisagez une instance (appelée
C code>) de la classe
voiture code>. Nous pourrions aussi dire que: p>
c. HASAGE 13 CODE> P>
C code> de
voiture code> a 13 ans. Cependant, avec l'axiome de sous-classe définissant
adolescent code> ci-dessus, un "puissant> raisonnaire strong> serait non fort> infère
C code> est également une instance de
Adolescent Code> (Peut-être que nous voudrions, si les adolescents sont personnes em>, pas de voitures). P>
adolescent code> pour être équivalent em> à quoi que ce soit avec la propriété
hasage code> avec une valeur dans la plage
[12:19] CODE>, alors un raisonneur déduirait que la voiture
C code> est également une instance de
adolescent code>. p>.
Les classes équivalentes peuvent avoir les mêmes membres, par exemple, aura les mêmes individus (tous ou certains des présidents américains). Donc, si nous affirmons que John Adams était une UScommanderinchief, on peut déduire que John Adams était également un président américain. P> avec la sous-classe, nous indiquons une hiérarchie. E.G., GrannysMithapple est un type de pomme. p> p>
:USPresident rdfs:subClassOf :USCommanderInChief ; :USCommanderInChief rdfs:subClassOf :USPresident .