Rdf 如何在Protege上定义合成属性？

我开发了一个本体论，其中的组件是hasPart和partOf。 我必须将这些属性用于几个类。 因此，我创建了这些没有域和范围的属性，并通过owl对类的限制来使用它们。是吗?？ 此外，我读到的部分是及物的。 我也应该为hasPart添加及物动词吗

然后，我将hasPart定义为partOf的逆。 我也应该在hasPart中定义反向吗

例如：

哈斯帕
同党
一部分
伊斯特派德

我开发了一个本体论，其中的组件是hasPart和partOf。我必须 将这些属性用于几个类。所以，我创造了论文 没有域或范围的属性，我通过owl限制使用它们 在课堂上。是吗?？此外，我读到的部分是及物的。 我也应该为hasPart添加及物动词吗

partOf和hasPart是否可传递实际上是一个问题。在某些域中，它们可能是可传递的，而在另一些域中，它们可能不是。您可能会对W3C的草案感兴趣，关于表示这些类型的关系

在任何情况下，如果使用推理机，只需在一个位置声明反向关系就足够了。当你说p是q的倒数时，你是说p（x，y）当且仅当q（y，x），因为这是一个当且仅当关系，你只需要说一次

对于传递性，它可能不那么清楚，但您可以推断，如果属性p是传递的，那么它的逆属性也是传递的。因此，如果q是p的逆，p是可传递的，那么q也是可传递的：

q(y,x)  q = inverse(p)  q(z,y)  q = inverse(p)
----------------------  -----------------------
      p(x,y)                  p(y,z)             transitive(p)
      --------------------------------------------------------
                   p(x,z)                                       q = inverse(p)
                   -----------------------------------------------------------
                                       q(z,x)

另外，你在问题中提到了“组成”一词。据我所知，你的意思是，这些属性表明某些东西是由其他东西组成的。在处理属性时，“组合”一词还有另一个含义。例如，Has祖父母财产是hasParent财产本身的组成部分

祖父母≡ 父母∘ 父母

类似地，hasUncle财产由hasParent和hasBrother组成：

孩子气≡ 父母∘ 兄弟

---

（请注意，此构图符号与典型符号相反，但它是Protégé和OWL中的标准符号。）

谢谢。我已经看过W3C的网站，我在这里提问，因为我不理解他们的例子。对于传递性和逆性，我的例子是正确的。但我仍然有疑问：要访问我的本体中的所有概念，如果我定义了两个概念之间关系的一部分，我必须定义太多的部分吗？你不需要使用两个属性。您可以定义partOf并仅使用它和inverse（partOf）。不过，有时也有hasPart可能更方便。