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

Question

В чем разница между EquivalentClass и SubClass? Читая учебник по 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
    )
  )
)

вместо?

Answer 1

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

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

c . hasAge 13

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

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

Answer 2

:USPresident owl:equivalentClass :USCommanderInChief .

такой же как

:USPresident rdfs:subClassOf :USCommanderInChief ;
:USCommanderInChief rdfs:subClassOf :USPresident .

Answer 3

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

:USPresident owl:equivalentClass :USCommanderInChief

у обоих будут одни и те же лица (все или некоторые президенты США). Поэтому, если мы утверждаем, что Джон Адамс был командиром США, можно сделать вывод, что Джон Адамс также был президентом США.

С подклассом мы указываем иерархию. Например, GrannySmithApple является типом Apple.