在OWL中，属性可能与多个属性相反？

Question

属性可能同时具有多个'inverseOf'特性？例如：

<prop1, owl:inverseOf, prop2> 
<prop1, owl:inverseOf, prop3> 
<prop1, owl:inverseOf, prop4> 

Answer 1

声明属性p是​​inverseOf多于一个属性（例如q和r）没有问题。但这确实意味着，q和r最终是等价的。由于

p inverseOf q
p inverseOfř

意味着

P（X，Y）蕴含q（Y，X）
P（X，Y）意味着r（y，x）
q（y，x）意味着p（x，y）
r（y，x）意味着p（x，y）

我们可以推断，

Q（Y，X）意味着R（Y，X）
R（Y，X）蕴含q（Y，X）

这意味着这

q equivalentProperty [R