代码之家 › 专栏 › 技术社区 › Gilles-Antoine Nys user10538706

OWL/Protégé:等价于类定义

pellet protege ontology owl

0

Gilles-Antoine Nys user10538706 · 技术社区 · 7 年前

在我看来 EquivalentTo 类在Protg 5.2.0中不能正常工作。希望这对我来说是个误会。

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

当我使用 min 某些条件的基数条件 ObjectProperties 。在提供的示例中,中的分类 SubClassObject 的 Object (使用小球)不适用于 hasPart min 2 Part 但对于 hasPart min 1 Part 。如你所见 element5 有4个 Parts 如定义。

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

提前感谢您,

1 回复 | 直到 7 年前

1

0

Gilles-Antoine Nys user10538706 7 年前

像 @StanislavKralin 表示: 编辑(>);让每个人都与众不同。

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