owl:complementOf 是否与 RDF 中的 owl:disjointWith 相同？

Question

我对它们的真正含义感到困惑。假设我们有一个班级伙伴，那么我们可以将任何不是伙伴的东西定义为“notMat”类。所以我们可以在这里使用 owl:complementOf 。但是男人和女人呢？我们可以用 owl:complementOf 说“女人”不是“男人”吗？如果不是，那有没有办法不用owl:disjointWith来描述男女阶级的脱节？

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

Answer 1

不同之处在于 A 类的补集是 B 类，因此 A 并集 B 等价于 Top（事物、资源或任何代表您解释中的所有个人的东西），而不相交仅意味着 A 和 B不要分享个人。

例如，如果我们说我们所有的个体都是哺乳动物，你可以说男性是女性的补充。然而，如果个体都是哺乳动物和树木，那么男性和女性就不再是互补的，因为有树木，但两者都不是。但是这两个类仍然不相交。