我如何表示对象属性是另一个否定项，例如，在地理域中，空间关系“不相交”是否定“相交”，在“ isFarOf”和“ isNearOf”之间也会发生同样的情况。
我知道这里有“ NegativeObjectPropertyAssertion”（请参见https://www.w3.org/TR/owl2-primer/），但这只允许我在两个人之间的关系层次上表达特定的情况，我需要类似的东西，但我会在对象层次上属性。
例如，就像我可以说“ isEastOf”是“ isWestOf”的反面一样，我想说“ disjoint”是“ intersects”的否定或“ isFarOf”是“ isNearOf”的否定项
我还想知道如何在Protégé工具中做到这一点。
问候。