Protégé操作手冊 編輯者：陳志華

Protégé 操作手冊

(1) 下載並安裝 protégé

protégé 網址：http://protege.stanford.edu/download/registered.html

(2) 執行「install_protege.exe」，依個人喜好進行相關設定並安裝

第1頁
 Protégé操作手冊 編輯者：陳志華

(3) 建立新的專案
z 執行 protégé，點選「File \ New Project」建立新的專案，出現 Create New
Project 對話方塊後，選擇 OWL / RDF Flies 後，點擊 Finish，而不選 Next

第2頁
 Protégé操作手冊 編輯者：陳志華

(4) 建立 Animal 類
z protégé 的主頁面中會出現，以下幾個標籤：Metedata(元類)、OWL
Classes(OWL 類)、Properties(屬性)、Individuals(個體) 、Forms(表單)
z 選擇 OWL Classes 進行編輯。在 Asserted Hierarchy(添加階層)中，會有
所有類的超類 owl:Thing 上點擊 Asserted Hierarchy 旁邊的 Create
subclass 或者在 OWL:Thing，點選滑鼠右鍵選擇 Create subclass，將自
動產生 protégé 自動定義名為 Class_1 的類
z 在右邊的 CLASS EDITOR(類編輯器)的 Name 選項中，輸入 Animal 來
替換自動定義的名字。建議使用英文，因為下面會用到 OWLViz 來生成
關係圖，中文的話會容易出現問題

第3頁
 Protégé操作手冊 編輯者：陳志華

(5) 建立 Animal 的子類 Herbivore(素食動物)

z 在 Animal 點擊上右鍵，選擇 Create subclass，並按照上述方法將其名字
變為 Herbivore(素食動物)

第4頁
 Protégé操作手冊 編輯者：陳志華

(6) 建立 Plant 類及其 Tree 子類

z 然後按照上面的方法，建立 OWL:Thing 的另一個子類 Plant(植物)，然
後建立 Plant 的子類 Tree(樹)

第5頁
 Protégé操作手冊 編輯者：陳志華

(7) 建立排他性(owl:disjointWith)關係
z 因為動物和植物是不同的事物，也就是說它們互相具有排他性
(owl:disjointWith)關係
z 取選 Animal，並點擊右下角的 Disjoints 的第三個按鈕「Add sibling to
disjoints」(將互為兄弟節點的類設為排他)，在對話方塊中選擇「Mutually
between all siblings」

第6頁
 Protégé操作手冊 編輯者：陳志華

(8) 建立屬性
z 新建一個 ObjectProperty，選擇 Properties 標籤，Name 改為 is_part_of
z 在右下角 Transitive 前面打上對號，說明這是一個傳遞性屬性
z 建立一個物件屬性(owl:ObjectProperty)eat(吃)，在 Domain(定義域)中定
義該屬性的主體的類是 Animal
z 建立一個屬性 eated(被吃)，它是屬性 eat 的逆關係(owl:inverseOf)，在右
下角 Inverser 框中選擇 eat 屬性

第7頁
Protégé操作手冊 編輯者：陳志華

第8頁
Protégé操作手冊 編輯者：陳志華

第9頁
 Protégé操作手冊 編輯者：陳志華

(9) 建立 owl:Plant 的子類 Branch(樹枝)，並附加屬性

z 建立一個 owl:Plant 的子類 Branch(樹枝)
z 選取 Branch 並點選中下方的 Asserted Conditions(添加條件)中的第二個
按鈕(Create restrition)
z 在彈出的對話方塊中，選擇 Restrition 中的 allValuesFrom，然後點擊下
方的 Insert class...
z 選 擇 Tree ， 這 樣 我 們 就 定 義 了 類 Branch ， 它 是 樹 (Tree) 的 一 部 分
(is_part_of)

第 10 頁
Protégé操作手冊 編輯者：陳志華

第 11 頁
 Protégé操作手冊 編輯者：陳志華

(10) 建立 owl:Plant 的子類 Leaf(樹葉)，並附加屬性，同上操作

z 建立一個 owl:Plant 的子類 Leaf(樹葉)
z 選取 Branch 並點選中下方的 Asserted Conditions(添加條件)中的第二個
按鈕(Create restrition)
z 在彈出的對話方塊中，選擇 Restrition 中的 allValuesFrom，然後點擊下
方的 Insert class...
z 選擇 Tree，這樣我們就定義了類 Leaf，它是樹(Tree)的一部分(is_part_of)

第 12 頁
 Protégé操作手冊 編輯者：陳志華

(11) 定義 Herbivore(素食動物)
z 素食動物是動物的子類，而且只吃植物或是植物的一部分(植物和一部
分植物的聯集，也就是植物)
z 選取 Herbivore 並點選中下方的 Asserted Conditions(添加條件)中的第二
個按鈕(Create restrition)
z 在彈出的對話方塊中，選擇 Restrition Property 中的 eat，選擇 Restrition
中的 allValuesFrom，然後點擊下方的 Insert class...
z 選擇 Plant，這樣我們就定義了類 Herbivore，它對於 Plant 存在 eat 關係

第 13 頁
Protégé操作手冊 編輯者：陳志華

第 14 頁
 Protégé操作手冊 編輯者：陳志華

(12) 建立 Herbivore 的子類 Giraffe(長頸鹿)

z 它是素食動物，只吃樹葉
z 選取 Giraffe 並點選中下方的 Asserted Conditions(添加條件)中的第二個
按鈕(Create restrition)
z 在彈出的對話方塊中，選擇 Restrition Property 中的 eat，選擇 Restrition
中的 allValuesFrom，然後點擊下方的 Insert class...
z 選擇 Leaf，這樣我們就定義了類 Giraffe，它對於 Leaf 存在 eat 關係

第 15 頁
Protégé操作手冊 編輯者：陳志華

第 16 頁
Protégé操作手冊 編輯者：陳志華

第 17 頁
 Protégé操作手冊 編輯者：陳志華

(13) 查看關係圖
z 在功能表中選擇「Project \ Configure」
z 在出現的對話方塊中，在 OWLVizTab 前打上對號
z 如果在這裏出現 DOT error 的話，請確認是否安裝 graphviz-2.14.1
„ graphviz 網址：http://www.graphviz.org/Download_windows.php
z 點選 OWLViz 標籤，選擇 Show all classes，就可以看到關係圖

第 18 頁
 Protégé操作手冊 編輯者：陳志華

(13) 查看關係圖
z 在功能表中選擇「Project \ Configure」
z 在出現的對話方塊中，在 OWLVizTab 前打上對號

第 19 頁
Protégé操作手冊 編輯者：陳志華

第 20 頁