在OWL中使用AllDifferent本體定義

Question

我可以解釋'OWL沒有唯一的名稱假設是什麼意思嗎？僅僅因爲兩個名字不同並不意味着他們指的是不同的個人。

這是否意味着每次我宣佈某個屬於某個班級的人時，我都應該聲明他們都是不同的？

感謝

Answer 1

的本體，這使得唯一名稱假設（UNA）implicitly treats all entities as distinct。如果本體不強制執行UNA，則可以推斷具有不同名稱的兩個概念是等同的。

OWL不作UNA假設。因此，如果您有一個類的成員是真正獨特的，並且您想要對其進行建模，那麼您需要明確聲明它，或者使用differentFrom或AllDifferent。這正是Owl Language Guide中三種不同葡萄酒的例子。