假设我正在为家庭关系定义一个OWL本体，我已经定义了“姐妹”和“父母”之间的关系。我现在想定义一个关系“阿姨”，并指定这种关系是由另外两个链的隐含。换句话说：如果X“姐妹 - ”Y，和Y“父母 - ”Z，那么X“阿姨 - ”Z。
有办法做到这一点吗？它与owl:TransitiveProperty类似，但显然不起作用。在定义属性之间的关系方面，它与“owl：inverseOf”具有相同的一般性。
我想我正在寻找的方法是指定一个属性（在本例中为“aunt-of”）是其他属性的composition，但我仍然无法找到方法在OWL中做到这一点。
答案 0 :(得分：6)
假设使用OWL2，您可以使用ObjectPropertyChain构造（此功能在OWL1中不可用）。这可以使用Turtle简单地在RDF中表示：
ex:auntOf owl:propertyChainAxiom ( ex:sisterOf ex:parentOf ) .