OWLProtégé如何正確使用對象限制創建器

根據Protégé教程，類限制是使用「類描述」視圖的「超類」部分上的對象限制創建者創建的。但是，一些科學論文在「對象屬性描述」視圖的「超類」部分創建了類限制。有什麼不同？如果沒有區別，根據OWL哪個是正確的？圖1顯示了每種情況的一個例子。OWLProtégé如何正確使用對象限制創建器

添加對象屬性描述圖像的超類部分爲更好地理解

2017-10-07 PLS

什麼是「對象屬性描述」視圖的「超類」部分？您可以爲屬性定義的唯一內容是域，範圍，逆向屬性，超級屬性以及一些功能等特徵。爲財產定義一些東西意味着它是某種「全球」限制。另一方面，對類的超類添加限制對於類resp來說確實是「本地」的。其實例。 – AKSW

提前感謝您的幫助。我確實理解類限制的概念，但我不明白爲什麼一些本體設計人員在對象屬性描述視圖的部分中使用它（我添加了I figure，所以我可以看到我的意思）。如果有「全球限制」，它是誰的作品？ – PLS

所以你不明白財產的範圍和範圍。假設屬性「p」有一個域「C」。那麼下面是：對於本體中與屬性'p'相關的其他個體（或文本）o的每個個體，即存在屬性斷言公理p（s，o）'，我們可以推斷's'屬於'C'。 – AKSW

在你貼有針對對象的屬性沒有超節圖片 - 代表的是子屬性公理。

正如在評論中所討論的那樣，全局和本地對屬性的限制可以通過屬性上的域/範圍公理來表示，或者通過其他類中的限制超類來表示，但是這兩種方法滿足非常不同的要求 - 典型示例是hasDescendant，這可以全侷限製爲具有定義域和值域爲Living Organism，並且其可被局部限制如：

Person and all hasDescendant Person

限制所有人爲僅具有作爲後代的人。

2017-10-08 23:42:44 Ignazio

感謝您的支持，但我仍然無法想象這兩種方法如何滿足不同的要求。我知道他們這樣做。但我看不出差異。你介意擴展你的例子嗎？ – PLS

回答