使用OWL表達屬性之間的關系

Question

如何表達兩個（或多個）OWL類的屬性之間的關系？

例如，我有一個Student類，其屬性名為name ；一個Person類，其屬性為lastname 。 對於OWL，我想描述的是lastname和name的屬性在語義上是相等的（均表示真實人物的姓氏）。 我在w3 Reference for OWL中發現的所有內容是，屬性只能通過rdfs:domain與類（例如rdfs:domain name -> Person ）建立關系，而無法描述屬性之間的關系。

Answer 1

雖然OWL不提供對屬性之間任意關系的支持，但通常需要建模的屬性可用。 特別是：

• rdfs：subPropertyOf （即使不是OWL名稱空間，也可以重用），用於指示一個屬性表示另一個屬性。
• owl：equivalentProperty ，它指示屬性是等效的（即owl：equivalentProperty（p，q）→（p（a，b）↔q（a，b））。 owl：equivalentProperty是您要使用的RDF屬性用於編碼等效對象屬性和等效數據屬性 。

我在w3 Reference for OWL中發現的所有內容是，屬性只能與具有rdfs：domain的類（例如，名稱-> Person）具有關系，而不能描述屬性之間的關系。

我不確定您要指的是什么文件； 關於公理的第9節描述了屬性之間可以保持的許多不同關系：子屬性關系，等價關系，不相交性，逆性，所有這些都涉及多個屬性。

伊沃·維利奇科夫（Ivo Velitchkov）在評論中提到：“在OW：Full中使用owl：sameAs可能實現，但在OWL DL中無法實現。” 在OWL 1規范中，關於equippropertyProperty的部分中有一條注釋：

注意：屬性對等與屬性對等是不同的。 等效屬性具有相同的“值”（即，相同的屬性擴展名），但可能具有不同的內涵含義（即，表示不同的概念）。 屬性相等性應使用owl：sameAs構造表達。 由於這要求將屬性視為個體，因此此類公理僅在OWL Full中允許使用。

對於普通建模者而言，這可能並不重要。 關鍵在於，即使p（a，b）↔q（a，b）（owl：equivalentProperty）也與p = q（owl：sameAs）不完全相同。 例如，hasUnicorn（a，b）↔hasLeprechaun（a，b）; 由於沒有獨角獸或妖精，因此對任何個人都沒有這種關系。 但物業 hasUnicorn是不是真的屬性相同 hasLeprechaun; 他們意在不同intensionally。