owl:complementOf 与 RDF 中的 owl:disjointWith 相同吗？

Question

我对它们的真正含义感到困惑。假设我们有一个 class 伴侣，那么我们可以将任何不是伴侣的东西定义为 class "notMat"。所以我们可以在这里使用owl:complementOf。但是男人和女人呢？我们可以用 owl:complementOf 来表示 "woman" 不是 "man" 吗？如果不是，那么有什么方法可以在不使用 owl:disjointWith 的情况下描述男人和女人 class 的不相交？

我们可以在两个 class 中都使用 属性 "disjoint"，然后在主语和宾语为 "man" 的三元组中使用这个 属性 作为谓词吗和 "woman" class 来描述不相交？

Answer 1

不同之处在于，class A 的补集是 class B，这样 A 并集 B 等价于 Top（事物、资源或代表您解释中的所有个体的任何事物), 而disjoint仅表示A和B不共享个体。

比如我们说我们所有的个体都是哺乳动物，你可以说Male是Female的补码。但是，如果个体都是哺乳动物，都是树，那么Male和Female就不再是互补的了，因为有树，两者都没有。但是，这两个 class 仍然不相交。