【发布时间】:2019-09-02 03:18:45
【问题描述】:
我想创建一个关于家谱的本体。我有 Person 和 Gender 类以及两个 Person 之间的关系 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。对于这个例子,我忽略了母亲,但这是为了简单起见。
我可以创建显式关系并将它们添加到 Persons,但我希望系统推断这些关系。
【问题讨论】: