如何在OWL中定義關係屬性？

在我的本體論中，我有個人「pic Joan」，這是一個概念「山」的概念和「Cerbère港」的概念實例，它是概念「村莊」的一個實例。我從「喬瓊」到「塞爾貝爾港」（意思是這座山被認爲離村莊很近，因此「支配它」）有着「支配地位」的關係。如何在OWL中定義關係屬性？

但事實上，我需要代表信息「pic瓊在西北1.5英里的距離控制塞爾比港」。

因此，在邏輯上，我需要附加關係「支配」數據屬性「距離= 1.5M」，「方向= NW」。

但是，AFAIK，OWL 不提供關係的屬性。我知道我可以爲關係定義範圍和域，但這不是關於範圍和域，相同的關係在不同實例間採用不同的屬性值。

你會如何在OWL中表示這些信息？

（輔助問題：是有一些其他的本體形式主義在那裏我可以爲關係定義屬性，如果是，是否有像門徒新工具在形式主義管理本體？）

來源

2014-03-01 yannis

用於這種用途的最常見的模式情況下是介紹一類新的，說RelativePosition：

RelativePosition a Class. 
relationType a DataProperty. 
relationType domain RelativePosition. 
// relationType values not specified here: might be "dominant","overlooking"... 
// depending on your needs, this might need more structure. 
firstFeature a ObjectProperty. 
firstFeature domain RelativePosition. 
secondFeature a ObjectProperty. 
secondFeature domain RelativePosition. 
// both properties can appear multiple times for one instance of RelativePosition 
// to group sets of entities which share a relative position

更多屬性可以被添加到引入的距離，或其它特性。

編輯：複製從下面約書亞的評論鏈接：爲n元關係，見here

來源

2014-03-02 10:14:07 Ignazio

感謝您的回答。事實上，這樣做很有效，但這不是很複雜嗎？因爲你的方法意味着每個班級都必須有一個數據屬性來說明它是一個概念還是一個關係。如果我想要做一個簡單的操作，例如「查找所有從A開始的關係」，這意味着「從B查找所有B - > A，例如所提到的數據屬性具有值'關係'」，這非常乏味。如果在OWL中沒有更簡單的方法，是否還有其他更簡單的形式，並且有類似Protégé的工具？ – yannis

@yannis你在這裏做什麼基本上是試圖代表一種n元關係。 W3C對如何做到這一點提出了一些建議：[在語義網上定義N元關係]（http://www.w3.org/TR/swbp-n-aryRelations/）。一般來說，您需要將三元組化（一種不方便，因爲您關心的實際三元組不再「真正」），或者創建一個表示可以附加額外數據的關係的個體。您不一定需要爲每種附加類型的數據聲明具有域和範圍的特定屬性。 –

非常好，謝謝你的鏈接，這正是我需要的！（用例1：描述關係的附加屬性） – yannis

有一些其他的本體形式主義在那裏我可以爲關係定義屬性？

你看過主題地圖嗎？

來源

2015-09-11 11:02:03

如何在OWL中定義關係屬性？

回答

相關問題