Web本體語言



Web本體語言(OWL簡稱)是萬維網聯盟(W3C)的規範創建本體,發布和分發的正式描述語言的基礎上。這是關於一個域的Termini形式化描述和他們的關係也是如此,即使軟件(例如,作為代理)過程中的重要性(“理解”)即可。 OWL因此由蒂姆·伯納斯 - 李語義網倡議的重要組成部分。貓頭鷹是技術上基於RDF - 語法和歷史,以DAML + OIL,並須在RDF Schema中遠遠超越的表現力。除了RDF和RDF Schema的結構進行了介紹otherlanguage確實允許類似謂詞邏輯表達式來制定。

目錄[廣告]
縮寫[編輯]
縮寫為Web本體語言應該真正WOL,不是OWL的必須。在信恩維爾轉子起源人們發現在W3C的檔案回答。這個名字已經OWL郵件列表上得到明顯建議由Tim Finin。 [1]最初由他提到如下原因:

很顯然,如何OWL說話(即像貓頭鷹的英文單詞)。
的縮寫,是非常適合創建徽標。
貓頭鷹與智慧有關。
有一個有趣的背景故事。
說背景故事涉及威廉A.馬丁一個項目在麻省理工學院在20世紀70年代的名稱同一個世界語言,在早期嘗試開發知識表示一種通用的語言。信件反复,但是,沒有針對從米倫斯小熊維尼,它可以在森林中寫入唯一的動物的名字貓頭鷹的虛構人物 - 但有一個換位的信件,在英文原版WOL,而不是貓頭鷹。 [2]

語言水平:精簡版,DL和完全[編輯]
有三種不同的版本OWL。對於這一點,語言水平OWL精簡版,OWL DL和OWL Full定義。對於使用OWL精簡版的/ DL限制havebeen定義,便於和完成的工具推斷的發展應該允許。

OWL精簡版[編輯]
“光版”用什麼創造語言的易於實現的子集的目的創建的。它用於axiomatisierter輕鬆創建一個主要簡單分類法和本體。 OWL DL不同的語言結構不存在。

OWL DL [編輯]
這是誰的語義是最有可能DAML + OIL的變焦範圍的水平。 DL代表描述邏輯(描述邏輯) mathcal {} SHOIN(D),這在一階邏輯的可判定子集是等價的。以確保在該邏輯的視覺表示,被插入對使用RDFS構建的各種限制,對於實施例,一個類可能無法在類的不同實例。

OWL FULL [編輯]
OWL全部由相同的語言結構:如OWL DL,但免除現有的限制存在。因此,本體是不​​可判定的,但能為謂詞邏輯表達式允許一個更高的學位。

語言結構[編輯]
本說明書延伸RDF和RDF模式的進一步構建體,以提高表達能力的含義(或在某些情況下,限制到可判定來實現)。

拖動一般所謂的開放世界假設的概念基於OWL的邏輯結論 - 短期OWA。開放世界假設(開放世界的假設)指不承擔推理做了一件不存在的,只要是沒有明確定義,它不存在。一般而言,只要東西確實證明處理不當適用,推理不接受這是不正確 - 它僅僅是假設知識處理不當被添加到知識庫。

OWL區分類別,屬性(Properties)和實例。類代表的概念(即理念;英文概念)。你可以有屬性。實例的一個或多個類的個人。