OWL本體設計門生

Question

你好我設計的本體論中，我需要定義一個數據屬性「SSN」名爲「人」類。現在我想的一個限制是獨特的。這不是兩個「Person」實例應該具有相同的SSN。 我的問題：如何在Protege中定義這種限制？

http://www.co-ode.org/resources/reference/manchester_syntax/

定義了一些限制，但我覺得沒有我的情況適合。

Answer 1

你只需要定義SSN財產inverse-functional。反函數屬性意味着無論您看到給定的範圍值，都知道主題資源必須相同。所以，如果p是反函數，你必須：

R0 p N . 
R1 p N . 

那麼你就可以推斷R0和R1必須表示同一個人。如果你知道，通過其他公理，R0和R1實際上是不同的，那麼推理者會報告你的模型是不一致的。這與您在open-world知識庫中進行的一致性檢查相近。