OWL/Protégé : 等价于 Class 定义
OWL/Protégé : EquivalentTo Class Definition
在我看来，EquivalentTo class 的定义在 Protégé 5.2.0 中不能正常工作。希望是我的误会
示例如下：Link to a simple ontology that gives an unexpected result.
当我在某些 ObjectProperties 上使用 min 基数条件时会出现问题。在提供的示例中，Object（使用 Pellet）的 SubClassObject 中的 class化不适用于 hasPart min 2 Part，但适用于 hasPart min 1 Part。如您所见，element5 有 4 个 Parts 定义。
有没有人遇到过类似的问题？
提前谢谢你，
正如 @StanislavKralin 所说：编辑 > 让所有人都不同。
之后以我个人的经验，注意会大大增加推理的计算时间。
在我看来，EquivalentTo class 的定义在 Protégé 5.2.0 中不能正常工作。希望是我的误会
示例如下：Link to a simple ontology that gives an unexpected result.
当我在某些 ObjectProperties 上使用 min 基数条件时会出现问题。在提供的示例中，Object（使用 Pellet）的 SubClassObject 中的 class化不适用于 hasPart min 2 Part，但适用于 hasPart min 1 Part。如您所见，element5 有 4 个 Parts 定义。
有没有人遇到过类似的问题？
提前谢谢你，
正如 @StanislavKralin 所说：编辑 > 让所有人都不同。
之后以我个人的经验，注意会大大增加推理的计算时间。