在OWL中，属性可能是多个属性的倒数？

Question

某个属性可能有多个“反向”字符。特征同时？例如：

<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 r

表示

  

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