Эквивалентный класс OWL против подкласса

StackOverflow https://stackoverflow.com/questions/4192435

  •  10-10-2019
  •  | 
  •  

Вопрос

В чем разница между эквивалентным классом и подклассом? Читая учебник OWL, я считаю, что учебник использует SubClassOF, чтобы объявить новый класс, следующим образом

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

Могу я написать 

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

вместо?

Это было полезно?

Решение

При изложении этого A это подкласс B, это ограничивает A обязательно наследовать все характеристики B, но не наоборот. Анкет В вашем примере, A = Teenager, а также B = hasAge [12:19] (Моя собственная нотация, но вы поняли идею).

Это означает, что любой экземпляр Teenager В онтологии совы обязательно должна быть собственность hasAge со значением в диапазоне [12:19], но нет наоборот. Анкет В частности, это не означает, что какой -либо экземпляр чего -либо с свойством hasAge со значением в диапазоне [12:19] также пример Teenager. Анкет Чтобы прояснить это, рассмотрим экземпляр (вызванный c) в классе Car. Анкет Мы также можем сказать, что:

c . hasAge 13

Это говорит об этом экземпляре c из Car 13 лет. Однако с определением аксиомы подкласса Teenager выше, а рассуждение бы нет сделать это c также пример Teenager (Возможно, как мы бы хотели, если подростки люди, не машины).

Разница при использовании эквивалентности заключается в том, что отношения подкласса подразумевают Оба направления. Анкет Итак, если бы мы вместо этого включили вторую аксиому, которая определила Teenager быть эквивалент к чему -либо с собственности hasAge со значением в диапазоне [12:19], тогда рассудитель сделает вывод, что машина c также пример Teenager.

Другие советы

Эквивалентные классы могут иметь одинаковых участников, например, 

:USPresident owl:equivalentClass :USCommanderInChief

Будут ли у обоих одинаковых людей (все или некоторые президенты США). Так что, если мы утверждаем, что Джон Адамс был UscommanderNchief, можно сделать вывод, что Джон Адамс также был президентом США.

С подклассом мы указываем иерархию. Например, Grannysmithapple - это тип яблока. 

:USPresident owl:equivalentClass :USCommanderInChief .

такой же как

:USPresident rdfs:subClassOf :USCommanderInChief ;
:USCommanderInChief rdfs:subClassOf :USPresident .
Лицензировано под: CC-BY-SA с атрибуция
Не связан с StackOverflow
scroll top