譯註：本文是對文件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的乙個子類。要定義特定領域的根類，只需將它們宣告為乙個具名類 ...
什麼是本體論？
什麼是本體論？想必大凡剛剛接觸這個概念的人都是一頭霧水，有的甚至幾年時間都弄不明白它說的到底是什麼意思，鄙人不才就是這樣的愚人。哲學上的概念本來就夠煩人的了，抽象拗口 晦澀難懂，一副不把你搞暈誓不罷休的樣子，但就這還都是其次，更讓人惱火的是，這些不明不白的東西竟然延伸到了科學技術領域，比如，本體論這...