Protege 5：如何通過其數據屬性推斷個人的類成員資格？

Question

我使用 OWL/XML 語法在 Protégé 5 中創建了一個本體。 我已經包括了一個類 Cerveza 和另一個類 Color 等等。 在顏色下，我有 3 個子類：Claro（淺色）、Medio（中等）和 Oscuro（深色）：

我創建了一個名為 EBC xsd:int 的數據屬性，該域是 Cerveza 類：

因此，我對 Claro 類進行了限制，使其最多擁有 12 個 EBC 學位：

然后我創建一個名為 kk 的個體，並聲明屬性 EBC=10：

我啟動了reasoner Pellet，它推斷出，因為kk 有EBC kk 必須屬於Cerveza 類。 但我期待以某種方式推斷出 kk 屬於 Class Color / Subclass claro。

這個設計有什么問題？

Answer 1

您混淆了數據類型限制( 7.5 ) 和數據屬性基數限制( 8.5 )。

代替：

Class: Claro
  SubClassOf: EBC max 12 xsd:int

你應該寫：

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