如何指定一个关系链意味着另一个 [英] How to specify that a chain of relationships implies another

问题描述

假设我正在为家庭关系定义一个OWL本体，并且已经定义了姐妹"和父母"的关系.现在，我想定义一个关系"aunt-of"，并指定其他两个关系的链暗示此关系.换句话说:如果X是"Y的姊妹"，而Y是Z的父母"，则X是Z的姨妈".

Suppose I'm defining an OWL ontology for family relationships, and I've already defined the relationships "sister-of" and "parent-of". I'd now like to define a relationship "aunt-of" and specify that this relationship is implied by a chain of the other two. In other words: if X "sister-of" Y, and Y "parent-of" Z, then X "aunt-of" Z.

有没有办法做到这一点?它类似于owl:TransitiveProperty，但是显然不起作用.在定义属性之间的关系方面，它也与"owl:inverseOf"具有相同的常识.

Is there a way to do this? It's similar to owl:TransitiveProperty but that obviously doesn't work. It's also in the same general vein as "owl:inverseOf" in terms of defining relationships among properties.

我猜我在寻找一种指定一种属性(在本例中为阿姨")为其他属性的组合，但是我仍然无法在OWL中找到实现此目的的方法.

I guess what I'm looking for is a way to specify that one property (in this case "aunt-of") is a composition of other properties, but I still can't actually find a way to do this in OWL.

推荐答案

假设使用OWL2，则可以使用

Assuming use of OWL2, you can use the ObjectPropertyChain construct (this feature was not available in OWL1). This can be expressed in RDF using Turtle as simply:

ex:auntOf owl:propertyChainAxiom ( ex:sisterOf ex:parentOf ) .

这篇关于如何指定一个关系链意味着另一个的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！