在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