12
votes

L'équivalent de la hibou vs sous-classes

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
    )
  )
)

owl

0 commentaires

3 Réponses :


24
votes

Lorsque vous déclarez que A est une sous-classe B , cela limite A pour hériter nécessairement toutes les caractéristiques de toutes les caractéristiques de B , mais pas l'inverse autour de . Dans votre exemple, A = adolescent et b = hasage [12:19] (ma propre notation, Mais vous avez l'idée).

Cela signifie que toute instance de adolescent dans l'ontologie de la hibou doit nécessairement avoir la propriété hasage avec une valeur dans la plage [12:19] < / Code>, mais pas l'inverse autour de . Spécifiquement, cela ne signifie pas que toute instance de quelque chose avec la propriété hasage avec une valeur dans la plage [12:19] est aussi une instance de adolescent < / code>. Pour que cela soit clair, envisagez une instance (appelée C ) de la classe voiture . Nous pourrions aussi dire que:

c. HASAGE 13

Ceci indique que l'instance C de voiture a 13 ans. Cependant, avec l'axiome de sous-classe définissant adolescent ci-dessus, un "puissant> raisonnaire serait non infère C est également une instance de Adolescent (Peut-être que nous voudrions, si les adolescents sont personnes , pas de voitures).

La différence lors de l'utilisation d'une équivalence est que la relation de sous-classe est impliquée d'aller dans les deux directions . Donc, si nous devions plutôt inclure le deuxième axiome qui défini adolescent pour être équivalent à quoi que ce soit avec la propriété hasage avec une valeur dans la plage [12:19] , alors un raisonneur déduirait que la voiture C est également une instance de adolescent . .


0 commentaires

5
votes

Les classes équivalentes peuvent avoir les mêmes membres, par exemple, xxx

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.

avec la sous-classe, nous indiquons une hiérarchie. E.G., GrannysMithapple est un type de pomme.


0 commentaires

4
votes
:USPresident rdfs:subClassOf :USCommanderInChief ;
:USCommanderInChief rdfs:subClassOf :USPresident .

0 commentaires