使用HermiT在Protege中通过SubClassOf和EquivalentTo理解推断的差异

Question

如果有人可以向我解释以下行为，我将不胜感激。

假定以下类/子类：

Meal
  |----SmallMeal
  |----BigMeal

哪里

Meal hasSize exactly 1 xsd:decimal

进一步提供了一组具有指定大小的膳食个人。 我想推断给定个人的膳食类型。

所以我的第一个想法是其他 SubClass Of 关系，例如：

BigMeal 'SubClass Of' hasSize exactly 1 xsd:decimal[>= 2.5]

根本不会键入个人。 但是，将 SubClass Of 与 Equivalent To 切换会产生正确的 分类。我不明白为什么。 声明等效性似乎有些奇怪，因为可能存在许多具有十进制大小值的东西，而不是 SmallMeal 或 BigMeal 类型的食物。