Почему HermiT считает асимметричное подчиненное свойство симметричным свойством согласованным?

Question

Следуя определению симметричных и асимметричных свойств в OWL 2 и объяснению в Наследование характеристики свойства посредством подвойств Я бы предположил, что объявление асимметричного свойства как подвойства к симметричному свойствуприведет к несоответствию, обнаруженному рассудителем (HermiT 1.3.8.413), но это не так в Protégé 5.2.0. Любые объяснения этому?

HermiT правильно выводит из приведенных ниже утверждений диапазон :isNeighbour, равный :Word и :W1 :isNeighbour :W2, и обнаруживает несоответствие при :W1 :folllows :W2. То же самое верно для Pellet и Fact ++ 1.6.5 в Protégé 5.2.0.

:isNeighbour a owl:SymmetricProperty; rdfs:domain :Word . 
:follows a owl:AsymmetricProperty; rdfs:subPropertyOf :isNeighbour . 
:W1 a :Word . 
:W2 a :Word . 
:W2 :follows :W1 .

Этот код представляется разумным формальным представлением текста (слова являются (симметричными) соседями, когда они следуют друг за другом (асимметричными)), но в определении OWL он кажется непоследовательным, поскольку каждыйутверждение, использующее свойство :follows, должно последовательно разрешать утверждения, сделанные с помощью суперкласса :isNeighbour. Я не уверен, что Разумники просто менее строги, чем OWL, или я неправильно понял OWL.

Answer 1

Некоторые характеристики свойств «наследуются сверху вниз» через иерархию свойств, тогда как некоторые не являются:

• P rdfs:subPropertyOf Q означает ∀x∀y(P(x,y) → Q(x,y)) (1)

• Q a owl:SymmetricProperty означает ∀x∀y(Q(x,y) → Q(y,x)) (2)

Do (1) и (2) влечет за собой ∀x∀y(P(x,y) → P(y,x))? Вы уже нашли контрмодель. Вы можете заменить «слова» на «натуральные числа» для прочности.

На самом деле, симметричность «наследуется сверху вниз».

PS Демистификация OWL для Предприятия с помощьюМ. Ушольд говорит, что субсвойство симметричного свойства симметрично, что не правильно.