owl - OWL/Protégé : EquivalentTo 类定义

Question

在我看来，EquivalentTo类的定义在 Protégé 5.2.0 中不能正常工作。希望这是我的误解。

这是示例：链接到一个简单的本体，它给出了意想不到的结果。

当我min在 some 上使用基数条件时会出现问题ObjectProperties。在提供的示例中，（使用 Pellet）的分类SubClassObject不适Object用于 ，hasPart min 2 Part但适用于hasPart min 1 Part。如您所见，定义为element54 。Parts

有没有人遇到过类似的问题？

先感谢您，

Answer 1

正如@StanislavKralin所说：编辑 > 让所有人都与众不同。

之后根据我的个人经验，请注意这将大大增加推理的计算时间。