OWL：属性 的倒数

Question

假设我们有四个属性：

ObjectProperty: superProp1 
       InverseOf: superProp3   

ObjectProperty: prop1  
      InverseOf: prop2       
      SubPropertyOf:superProp1   

ObjectProperty: prop2  
      InverseOf: prop1   

ObjectProperty: superProp3 

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

Answer 1

也许使用不那么抽象的命名可以让你感觉到发生了什么。让我们考虑使用具有语义的单词描述的相同问题。

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

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

为什么？推理是： 干是湿的反面 ReallyDry 是 ReallyWet 的倒数 ReallyWet 是 Wet 的子属性 -> ReallyDry 是 Wet 的 sub属性 的倒数，因此应该是 Wet 的倒数的 sub属性。结论：ReallyWet 是 Wet.

的子属性

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

的子 属性

Answer 2

假设 :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