根据其他属性定义属性

Question

我想创建一个关于家谱的本体论。我有类Person和Gender以及两个人之间的关系has_child和相反的关系has_parent。每个人都有性别。我想定义一些新属性，如has_parent P1 and P1 has_gender MALE定义的has_father或has_sibling(X1, X2) = has_father(X1, F) and has_father(X2, F)定义的has_sibling。在这个例子中，我忽略了母亲，但这是为了简单起见。

我可以创建显式关系并将它们添加到人员中，但我希望系统推断关系。

Answer 1

所以我找到了怎么做。我使用了属性链机制。