衝突同一個人屬性和數據類型屬性

Question

我有在被保護人「同一個人屬性」，當我運行一個推理器（沉澱1.5或事實++）的問題

的

讓我們本體示例

東西有兒子A和B，A有兒子C和D.

B，C和D有同班同學。

我不能說個人C與個人B是「同一個人」，然後加上個人D與個人B是「同一個人」。這是真的，他們有不同的名字，但他們是同一個人。

爲什麼只有當我設置個人B具有C或D類型的「同一個人」時才起作用？

該保護錯誤是「InconsistentOntologyException：事實++。內核：不一致的本體」，並表示本體不一致。

編輯：似乎它更根深蒂固的問題，這個例子的工作:(，要繼續檢查

EDIT2：經過一些嘗試，似乎它是一個與數據類型屬性衝突 他們都有一個數據類型屬性。同樣的名字。在屬性的示例域將是A和範圍字符串。任何想法如何解決？

Answer 1

是啊，你解決了它 - 你是混淆標籤（你稱之爲事物）與身份：類的一個實例是獨一無二的（你可以給它添加不同的標籤 - 即把它稱爲不同的東西），但實例本身只能存在一次 - 在你的例子中，你有效地斷言：是「同一實例的三個實例」......當然，這沒有任何意義。