为什么HermiT认为非对称子属性与对称属性一致？

Question

[遵循OWL 2中对称和不对称属性的定义以及Inheritance of property characteristic by sub-properties中的解释，我假设将不对称属性声明为对称属性的子属性将导致推理程序检测到不一致（HermiT 1.3 .8.413），但Protégé5.2.0并非如此。有什么解释吗？

HermiT从下面的断言正确推断出:isNeighbour的范围为:Word和:W1 :isNeighbour :W2，并在:W1 :folllows :W2时检测到不一致。 Protégé5.2.0中的Pellet和Fact ++ 1.6.5也是如此。

: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 means表示∀x∀y(P(x,y) → Q(x,y))（1）

Answer 2

原因是标准推理服务（例如一致性检查/可满足性）假定属性正确：