OWL：属性的逆答案

【问题标题】：OWL: inverse of a propertyOWL：属性的逆
【发布时间】：2019-12-27 16:24:16
【问题描述】：

假设我们有四个属性：

ObjectProperty: superProp1 
       InverseOf: superProp3   

ObjectProperty: prop1  
      InverseOf: prop2       
      SubPropertyOf:superProp1   

ObjectProperty: prop2  
      InverseOf: prop1   

ObjectProperty: superProp3

Pellet 推断 prop2 是 superProp3 的子属性。
我无法理解这个结果。

【问题讨论】：

标签： owl semantic-web protege pellet

【解决方案1】：

假设:a :prop2 :b，可以推断出:a :superProp3 :b（对于任何:a 和:b）：

假设:a :prop2 :b。
那么:b :prop1 :a 成立，因为:prop2 是:prop1 的倒数。
那么:b :superProp1 :a 成立，因为:prop1 是:superProp1 的子属性。
那么:a :superProp3 :b 成立，因为:superProp1 是:superProp3 的倒数。

稍微正式一点：

T1.  :a :prop1 :b <=> :b prop2 :a              #  :prop1 owl:inverseOf :prop2  
T2.  :a :prop1 :b => :a :superProp1 :b         #  :prop1 rdfs:subPropertyOf :superProp1
T3.  :a :superProp1 :b <=> :b :superProp3 :a   #  :superProp1 owl:inverseOf :superProp3

A1.  :a :prop2 :b                              #  assumption, eliminated by T4
A2.  :b :prop1 :a                              #  A1, T1, modus ponens
A3.  :b :superProp1 :a                         #  A2, T2, modus ponens
A4.  :a :superProp3 :b                         #  A3, T3, modus ponens

T4.  :a :prop2 :b => :a :superProp3 :b         #  A1, A4, deduction theorem; QED

更多信息：

【讨论】：

【解决方案2】：

也许使用不那么抽象的命名可以让您对正在发生的事情有所了解。让我们考虑使用具有语义的单词描述的相同问题。

我们知道以下规则：湿是干的相反。它存在另一种湿润，ReallyWet。真正湿总是意味着你是湿的，因此它是湿的子属性。最后，我们还知道，ReallyWet 与 RealDry 正好相反。

据此，您和颗粒可以得出结论，ReallyDry 是一种干燥。

为什么？理由是：干是湿的反面真正干是真正湿的倒数真正湿是湿的子属性 -> 真正干是湿的子属性的逆，因此应该是湿的逆的子属性。结论：ReallyWet 是 Wet 的子属性。

这听起来合乎逻辑吗？我认为颗粒可以解释它用来推断一些三元组的规则。它可能是： ( B 的倒数) AND ( C 的逆 D ) AND
（C 是 A 的子属性）-> D 是 B 的子属性

【讨论】：