在 OWL 中,是否有可能 属性 是多个 属性 的倒数?
In OWL, is possible that a property is the inverse of more than one property?
一个属性有可能同时具有多个'inverseOf'特征吗?例如:
<prop1, owl:inverseOf, prop2>
<prop1, owl:inverseOf, prop3>
<prop1, owl:inverseOf, prop4>
断言 属性 p 是多个 属性 的倒数是没有问题的,例如 q 和 r。然而,这确实意味着 q 和 r 最终是等价的。自
p inverseOf q
p inverseOf r
表示
p(x,y) implies q(y,x)
p(x,y) implies r(y,x)
q(y,x) implies p(x,y)
r(y,x) implies p(x,y)
我们可以推断
q(y,x) implies r(y,x)
r(y,x) implies q(y,x)
这意味着
q equivalentProperty r
一个属性有可能同时具有多个'inverseOf'特征吗?例如:
<prop1, owl:inverseOf, prop2>
<prop1, owl:inverseOf, prop3>
<prop1, owl:inverseOf, prop4>
断言 属性 p 是多个 属性 的倒数是没有问题的,例如 q 和 r。然而,这确实意味着 q 和 r 最终是等价的。自
p inverseOf q
p inverseOf r
表示
p(x,y) implies q(y,x)
p(x,y) implies r(y,x)
q(y,x) implies p(x,y)
r(y,x) implies p(x,y)
我们可以推断
q(y,x) implies r(y,x)
r(y,x) implies q(y,x)
这意味着
q equivalentProperty r