代码之家  ›  专栏  ›  技术社区  ›  Ahmad Ebrahimi.Moghaddam

在OWL中,一个属性是否可能是多个属性的倒数?

  •  2
  • Ahmad Ebrahimi.Moghaddam  · 技术社区  · 9 年前

    一个属性可能同时具有多个“inverseOf”特征吗?例如:

    <prop1, owl:inverseOf, prop2>
    <prop1, owl:inverseOf, prop3>
    <prop1, owl:inverseOf, prop4>
    
    1 回复  |  直到 9 年前
        1
  •  2
  •   Joshua Taylor    9 年前

    断言一个属性p是多个属性的倒数是没有问题的,例如q和r。但这确实意味着q和r最终是等价的。自从

    p q的倒数
    p 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等效属性r