OWL's EquivalentClass vs. SubClassOf

Question

Jaka jest różnica między EquivalentClass i SubClass? Podczas czytania przez OWL podkładu, znajdę poradnik wykorzystuje subClassOf dużo do ogłoszenia nowej klasy, jak następuje

SubClassOf(
    :Teenager 
    DataSomeValuesFrom(:hasAge 
    DatatypeRestriction(xsd:integer 
     xsd:minExclusive "12"^^xsd:integer 
     xsd:maxInclusive "19"^^xsd:integer 
    ) 
) 
) 

mogę napisać

EquivalentClass(
    :Teenager 
    DataSomeValuesFrom(:hasAge 
    DatatypeRestriction(xsd:integer 
     xsd:minExclusive "12"^^xsd:integer 
     xsd:maxInclusive "19"^^xsd:integer 
    ) 
) 
) 

zamiast?

Answer 1

Stwierdzając, że A jest podklasaB ta ogranicza A koniecznie dziedziczy wszystkie cechy B, ale nie na odwrót. W twoim przykładzie: A = Teenager i B = hasAge [12:19] (moja własna notacja, ale masz pomysł).

Oznacza to, że każdy przypadek Teenager w ontologii OWL musi koniecznie mieć również właściwość hasAge o wartości w przedziale [12:19], ale nie na odwrót. W szczególności nie oznacza to, że każde wystąpienie czegoś o właściwości hasAge o wartości z zakresu [12:19] jest również instancją Teenager. Aby to wyjaśnić, rozważ wystąpienie (o nazwie c) klasy Car. Możemy też powiedzieć, że:

c . hasAge 13

Ten mówi, że instancja c z Car ma 13 lat. Jednak z aksjomat podklasa definiowania Teenager powyżej, logiczne by nie wywnioskować, że c jest także instancją Teenager (chyba jak my chcemy, czy nastolatki są ludzie, nie samochody).

Różnica przy używaniu równoważności jest taka, że ​​zależność między podklasami zakłada się w w obu kierunkach. Tak więc, gdybyśmy zamiast zawierać drugi aksjomat, że zdefiniowany Teenager być równoważne do niczego z właściwością hasAge o wartości w przedziale [12:19], to logiczne byłoby wywnioskować, że samochód c jest także instancją Teenager.

Answer 2

ekwiwalentne klas może mieć te same elementy, np

:USPresident owl:equivalentClass :USCommanderInChief 

będą oba mają te same osoby (wszystkie lub niektóre z prezydentów USA). Jeśli więc stwierdzimy, że John Adams był USCommanderInChief, można wywnioskować, że John Adams był także prezydentem USA.

W przypadku podklasy wskazujemy hierarchię. np. GrannySmithApple to typ Apple.