OWL/门生：等效于类定义

Question

在我看来，EquivalentTo类的定义在 Protégé 5.2.0 中无法正常工作。希望这是我这边的误会。

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

当我在某些ObjectProperties上使用min基数条件时，就会出现问题。在提供的示例中，Object SubClassObject分类(使用 Pellet(不适用于hasPart min 2 Part，但适用于hasPart min 1 Part。如您所见，element5有 4 个定义的Parts。

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

提前谢谢你，

Answer 1

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

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