OWL：属性的倒数

Question

假设我们有四个属性：

ObjectProperty: superProp1 
       InverseOf: superProp3   

ObjectProperty: prop1  
      InverseOf: prop2       
      SubPropertyOf:superProp1   

ObjectProperty: prop2  
      InverseOf: prop1   

ObjectProperty: superProp3 

Pellet推断prop2是superProp3的子属性。我不明白这个结果。

Answer 1

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

1. 假设:a :prop2 :b。

2. 然后:b :prop1 :a成立，因为:prop2是:prop1的倒数。

3. 然后:b :superProp1 :a成立，因为:prop1是:superProp1的子属性。

4. 然后: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

---

更多信息：

• 9.2.1 Object Subproperties

• 9.2.4 Inverse Object Properties

Answer 2

也许使用较少的抽象命名可以使您对正在发生的事情有一种感觉。让我们考虑使用具有语义的单词描述的相同问题。

我们知道以下规则：变湿是变干的逆过程。它存在另一种湿润，ReallyWet。成为“真正湿”总是意味着您是湿的，因此它是湿的子属性。最后，我们还知道成为ReallyWet与成为ReallyDry相反。

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

为什么？原因是：干是湿的反面ReallyDry与ReallyWet相反ReallyWet是Wet的子属性->ReallyDry是Wet子属性的逆，因此也应该是Wet子属性的逆。结论：ReallyWet是Wet的子属性。

听起来合理吗？我认为颗粒可以解释其推论三元组的规则。可能是：（B的倒数）AND（D的C逆）AND（C是A的子属性）->D是B的子属性