Protege 5：如何通过数据属性推断出个人的 class 成员资格？

Question

我在 Protégé 5 中使用 OWL/XML 语法制作了一个 ontology。我已经包括了 class Cerveza 和另一个 class Color 等等。在颜色下，我有 3 个子类：Claro（浅色）、Medio（中色）和 Oscuro（深色）：

我制作了一个名为 EBC xsd:int 的数据 属性，域名是 class Cerveza：

所以我限制了 class Claro 的 EBC 度数上限为 12:

然后我创建了一个名为 kk 的个体，我断言 属性 EBC=10:

我开始推理 Pellet，它推断，因为 kk 有 EBC kk 必须属于 class Cerveza。但我期望以某种方式推断 kk 属于 Class Color / Subclass claro.

这个设计有什么问题？

Answer 1

您混淆了数据类型限制 (7.5) and data property cardinality restrictions (8.5)。

而不是：

Class: Claro
  SubClassOf: EBC max 12 xsd:int

你应该写：

Class: Claro
  EquivalentTo: EBC some xsd:int[<= 12]