OWL /Protégé：EquivalentTo Class Definition

Question

在我看来，UICollectionView类的定义在Protégé5.2.0中无法正常工作。希望这对我来说是一种误解。

以下是示例：Link to a simple ontology that gives an unexpected result.

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

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

提前谢谢你，

Answer 1

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

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