屬性與OWL之間的快速關係

如何表達兩個（或更多）OWL類的屬性之間的關係？屬性與OWL之間的快速關係

例如，我有一個類Student與屬性name和類Person與屬性lastname。對於OWL，我想描述屬性lastname和name在語義上相等（均表示真實姓的姓氏）。我在OWL的W3參考資料中發現的所有屬性都可以與類（例如name -> Person）和rdfs:domain有關係，並且沒有任何內容可以描述屬性之間的關係。

來源

2017-04-16 Setech

OWL Full中的'owl：sameAs'可能會出現這種情況，但OWL DL中不會出現這種情況。 –

@IvoVelitchkov這在OWL DL中很有可能;但是你不使用owl：sameAs，你使用[owl：equivalentProperty]（https://www.w3.org/TR/owl-ref/#equivalentProperty-def）。 –

雖然OWL不提供對屬性之間的任意關係的支持，但您通常想要用於建模的那些可用。特別是，主要有：

的rdfs：subPropertyOf（被重用，即使它不是OWL的名稱），用於指示一個屬性意味着另一個。
owl:equivalentProperty，這表明特性等效（即，貓頭鷹：equivalentProperty（P，Q）＆RIGHTARROW;（P（A，B）＆leftrightarrow; Q（A，B））貓頭鷹：equivalentProperty是。在RDF屬性，你會使用編碼兩種equivalent object properties以及equivalent data properties

所有我發現OWL W3的參考範圍內是性能纔會有上課的關係（如姓名 - >人）。用rdfs：domain來描述屬性之間的關係並沒有什麼東西。

我不確定你指的是什麼文件; Section 9 about Axioms描述了許多可以在屬性之間保持的不同關係：子屬性關係，等價性，不相交性，反性，所有這些都涉及多個屬性。

Ivo Velitchkov mentioned in a comment that：「OWL Full中可以使用owl：sameAs，但不能使用OWL DL。」 OWL 1規範中有關於equivalentProperty部分的說明：

注意：屬性等同與屬性相等不相同。等價性質具有相同的「值」（即，相同的屬性擴展），但可具有不同的內涵意義（即表示不同的概念）。產權平等應該用owl：sameAs構造來表達。由於這要求屬性被視爲個人，所以這些公理只能在OWL Full中使用。

這是一個差異，可能或不會對平均建模者意味深遠。關鍵是即使p（a，b）＆leftrightarrow; q（a，b）（owl：equivalentProperty）與p = q（owl：sameAs）不完全相同。例如，hasUnicorn（a，b）＆leftrightarrow; hasLeprechaun（A，B）;由於沒有獨角獸或妖精，對於任何個人都沒有這種關係。但屬性 hasUnicorn不是相同屬性hasLeprechaun;他們打算不同intendally。

來源

2017-04-17 21:10:55

屬性與OWL之間的快速關係

回答

相關問題