假设我们有四个属性：
ObjectProperty: superProp1
InverseOf: superProp3
ObjectProperty: prop1
InverseOf: prop2
SubPropertyOf:superProp1
ObjectProperty: prop2
InverseOf: prop1
ObjectProperty: superProp3
颗粒推断prop2是superProp3的子属性。
我无法理解这个结果。
假设: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
更多信息：
9.2.1 对象子属性
9.2.4 反转对象属性
也许使用不那么抽象的命名可以让你对正在发生的事情有所了解。让我们考虑使用具有语义的单词描述的相同问题。
我们知道以下规则： 湿是干的反面。 它存在另一种湿润，真的湿。真正湿总是意味着你是湿的，因此它是湿的子属性。 最后，我们也知道，真正湿润与真正干燥相反。
由此，你和颗粒可以得出结论，ReallyDry是一种干燥。
为什么？理由是： 干是湿的反转 ReallyDry 是 ReallyWet 的反面 ReallyWet是Wet的子属性 -> ReallyDry 是 Wet 子属性的逆属性，因此应该是 Wet 逆属性的子属性。结论：ReallyWet是Wet的子属性。
这听起来合乎逻辑吗？我认为颗粒可以解释它用来推断一些三元组的规则。 可能是： ( A 的倒数 B (和 ( C 与 D 相反 (AND
(C 是 A 的子属性( -> D 是 B 的子属性