ontology 个概念之间的关系

Question

我有疑问！对象属性可以共享域和范围吗？例如，我有四个不相交的 类 A、B、C、D 和一个对象 属性 'produces'。是否可以声明：produces(A,B)； produces(C,D)。域和范围不同。

或者我应该说：

produces1(A,B)
produces2(C,D)

Answer 1

是的，这是可能的。没有指定域或范围，使用对象 属性 不会导致类型推断，因此不会导致不一致。

如果您希望指定域（等效地，范围）并且您希望包括的一些 类 是不相交的，您希望将域指定为 union 其中 类（默认情况下，多个域断言被视为交集）。