翻譯 什麼是OWL本體

2021-09-22 13:15:57 字數 2476 閱讀 5191

譯註:本文是對文件a practical guide to building owl ontologies using the protege-owl plugin and co-ode tools edition 1.0第三章的翻譯,並省略了其中的。protégé是乙個史丹福大學開發的本體編輯器,為開放原始碼軟體,具有優秀的設計和眾多的外掛程式,是目前使用最廣泛的本體編輯器之一。

我們使用本體(ontology)來獲取某一領域的知識,本體描述該領域的概念,以及這些概念之間的關係。目前有很多種不同的本體語言,它們各有千秋,而w3c(world wide web consortium)目前的最新標準是owl。和protégé一樣,owl讓描述各種概念成為可能,與此同時,它還提供了其他很多功能。它具有更豐富的操作符——例如與、或和非;它立足於乙個不同的邏輯模型(logical model),該模型能夠更好的定義概念,可以用從簡單概念構造出複雜的概念,不僅如此,該模型還允許你使用推理機(reasoner)來檢查本體中的陳述(statement)和定義(definition)是否一致,或者判斷出哪個概念更適合於哪個概念,從而幫你維護乙個正確的本體等等,當允許乙個類(class)擁有多個父類的時候,這一點至關重要。

可以把owl分為三個子語言:owl-lite、owl-dl和owl-full,主要的分類依據就是它們的表達能力。其中,owl-lite是表達能力最弱的子語言,owl-full具有最強的表達能力,而owl-dl的表達能力則在它們之間。我們可以認為owl-dl是owl-lite的擴充套件,而owl-full是owl-dl的擴充套件。

從語法上來說,owl-lite是三個之中最簡單的乙個,當你的本體中類的層次結構很簡單,並且只有簡單的約束(constraint)時適合使用它來描述本體。例如,在需要把乙個已存在的辭典(thesauri)移植到另乙個差不多簡單的概念層次時,owl-lite可以做得又快又好。

和owl-lite相比,owl-dl的表達能力要豐富許多,它的基礎是描述邏輯(description logics,即dl的由來)。描述邏輯是一階邏輯(first order logic)的乙個可判定的變種(譯註:不一定準確,原文decidable fragment),因此可以用來進行自動推理,計算機從而可以知道本體中的分類層次,以及本體中的各種概念是否一致。

owl-full是owl的三種子語言中表達能力最強的乙個,適合在那些需要非常強的表達能力,而不用太關心可判定性(decidability)或是計算完全性的場合下使用。不過也正是由於表達能力太強這個原因,用owl-full表示的本體是不能進行自動推理的。

首先,要想確切的知道這三種子語言之間的區別,請參考owl web本體語言概要。儘管有很多因素需要考慮以決定該使用它們中的哪乙個,但這裡是一些最簡單常用的原則。

protégé的owl外掛程式在編輯owl-lite和owl-dl的本體時不做區分,但可以在選項裡選擇以owl-dl或是owl-full方式編輯本體。

owl本體的組成與protégé提供的本體相似,基本上,只是在對組成部分的稱呼有一些分別。例如owl有個體(individual)、屬性(property)和類(class),而protégé則分別稱它們為例項(instance)、槽(slot)和類(class)。

個體代表(領域中)我們實際感興趣的那些物件,protégé和owl有乙個重要的區別就是owl不使用唯一命名假設(unique name assumption,una),也就是說,兩個不同的名稱可以對應到同乙個個體。例如「伊莉莎白女王」、「女王」和「伊莉莎白?溫莎」可能都對應同乙個人。在owl裡,你必須明確的表達個體之間是否為相同的,否則它們可能相同也可能不相同。

注:個體(individual)有時也被稱作例項(instance),個體相當於類的例項。

屬性是個體之間的二元關係,也就是說,屬性把兩個個體連線在一起。例如,屬性hassibling可能會把matthew和gemma這兩個個體連線起來,而屬性haschild會把peter和matthew這兩個個體連線起來;屬性可以有反向屬性(inverse),例如hasowner的反向屬性是isownedby;屬性也可以被限制為只能擁有乙個值,即所謂的函式屬性(functional);屬性還可以是具有傳遞性(transitive)或是對稱的(symmetric)。

注:這裡所說的屬性即protégé中槽(slot)的概念,在描述邏輯中它們就是角色(role),在uml等物件導向方法中它們就是關係(relation),而在grail等形式化表達中將它們稱作特性(attribute)。

owl中的類代表一些個體的集合,owl使用形式化(數學的)的方法精確描述出該類中成員必須具有的條件,例如,領域中全部貓的個體都屬於cat類。類可以通過繼承關係組成層次結構,子類是父類中的特殊情況,例如考慮animal和cat這兩個類,cat可以是animal的乙個子類(即animal是cat的父類),這就表示了:所有的貓都是動物,所有cat類的成員都是animal類的成員,如果你是貓那麼你也是動物,cat類被animal類所包含,等等。owl-dl的乙個重要特徵就是父類和子類之間的(包含)關係可以被推理機自動計算出來。

注:概念(concept)這個詞有時被用來代替類,實際上,類是概念的乙個具體表現。

本文**

八進位制

翻譯 什麼是OWL本體

譯註 本文是對文件a practical guide to building owl ontologies using the protege owl plugin and co ode tools edition 1.0第三章的翻譯,並省略了其中的。prot g 是乙個史丹福大學開發的本體編輯器,...

本體語言OWL基本知識

1 簡單的類和個體 簡單的具名類 class,rdfs subclassof 乙個領域中的最基本概念應分別對應於各個分類層次樹的根。owl中的所有個體都是類owl thing的成員。因此,各個使用者自定義的類都隱含地是 owl thing的乙個子類。要定義特定領域的根類,只需將它們宣告為乙個具名類 ...

什麼是本體論?

什麼是本體論?想必大凡剛剛接觸這個概念的人都是一頭霧水,有的甚至幾年時間都弄不明白它說的到底是什麼意思,鄙人不才就是這樣的愚人。哲學上的概念本來就夠煩人的了,抽象拗口 晦澀難懂,一副不把你搞暈誓不罷休的樣子,但就這還都是其次,更讓人惱火的是,這些不明不白的東西竟然延伸到了科學技術領域,比如,本體論這...