我对他们的真正含义感到困惑。如果我们有一个类肉，那么我们可以将任何非肉类定义为“notMeat”类。所以我们可以在这里使用owl：complementOf。但男人和女人呢？我们可以用owl：complementOf来说“女人”不是“男人”吗？如果没有，那么有没有办法在不使用猫头鹰的情况下描述男女阶级的脱节：disjointWith？
我们可以在两个类中使用属性“disjoint”，然后在三元组中使用此属性作为谓词，其主题和对象是“man”和“woman”类来描述不相交吗？
答案 0 :(得分：6)
不同之处在于A类的补语是B类，因此A联合B相当于Top（Thing，Resource，或者代表你解释中所有个体的任何东西），而disjoint只意味着A和B不要分享个人。
例如，如果我们说我们所有的人都是哺乳动物，你可以说男性是女性的补充。然而，如果这些人都是哺乳动物和所有树木，那么男性和女性不再是彼此的补充，因为有树木，它们都不是。然而，这两个班级仍然是不相交的。