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