我如何表达一个对象属性是另一个对象的否定?

时间:2018-12-01 12:07:36

标签: owl protege owl-api

我如何表示对象属性是另一个否定项,例如,在地理域中,空间关系“不相交”是否定“相交”,在“ isFarOf”和“ isNearOf”之间也会发生同样的情况。

我知道这里有“ NegativeObjectPropertyAssertion”(请参见https://www.w3.org/TR/owl2-primer/),但这只允许我在两个人之间的关系层次上表达特定的情况,我需要类似的东西,但我会在对象层次上属性。

例如,就像我可以说“ isEastOf”是“ isWestOf”的反面一样,我想说“ disjoint”是“ intersects”的否定或“ isFarOf”是“ isNearOf”的否定项

我还想知道如何在Protégé工具中做到这一点。

问候。

0 个答案:

没有答案