軟件介紹

Protege是一款基于Java語言而開發出來的本體編輯和知識獲取軟件，這款軟件是由美國斯坦福大學醫學院生物信息研究中心提供的。Protege漢化版能夠幫助用戶完成語義網中本體的構建，并且這款軟件還屏蔽了具體的本體描述語言，功能非常強大。

Protege軟件簡介

Protege軟件是斯坦福大學醫學院生物信息研究中心基于Java語言開發的本體編輯和知識獲取軟件，或者說是本體開發工具，也是基于知識的編輯器，屬于開放源代碼軟件。這個軟件主要用于語義網中本體的構建，是語義網中本體構建的核心開發工具，現在的最新版本為5.2.0版本。

Protege提供了本體概念類，關系，屬性和實例的構建，并且屏蔽了具體的本體描述語言，用戶只需在概念層次上進行領域本體模型的構建。

Protege使用JAVA和Open Source作為操作平臺，可用于編制本體和知識庫（Knowledge Base)，protege可以根據使用者的需要進行定制，通過定制用戶的界面以更好地適應新語言的使用；有可自行設置的數據輸入模式，可以將protege 的內部表示轉制成多種形式的文本表示格式，如：XML、RDF(S)、OIL、DAML、DAML+OIL、OWL等系統語言。Protege 工具本身沒有嵌入推理工具，不能實現推理，但它具有很強的可擴展性，可以插入插件來擴展一些特殊的功能如推理、提問、XML轉換等。Protege 提供可擴展的獨立平臺環境，用于構建和編輯本體以及知識庫。Protege開放源碼，運行多重繼承，提供本體建設的基本功能，而且它采用圖形化界面，界面風格與OilEd一樣，都與WINDOWS操作系統的風格一致，模塊劃分清晰。另外，protege本體結構和OntoEdit一樣，也是以樹形的等級體系結構來顯示，用戶可以通過點擊相應的項目來增加或編輯類、子類、實例等，所以用戶使用protege不需要掌握具體的本體表示語言，是用戶比較容易學習、使用的本體開發工具。由于其優秀的設計和眾多的插件，其已經成為最廣泛的本體論編輯器之一，它已成為國內外眾多本體研究機構的首選工具。

軟件特色

Protege是一組自由開源的工具軟件，用于構建域模型與基于知識的本體化應用程序。

Protege提供了大量的知識模型架構與動作，用于創建、可視化、操縱各種表現形式的本體。

可以通過用戶定制實現域-友好(領域相關)的支持，用于創建知識模型并填充數據。

Protege可以通過兩種方式進行擴展：插件和基于java的API。

相比與其他的本體構建工具而言，Protege最大的好處在于支持中文，在插件上，用Graphviz可實現中文關系的顯示。

Protege軟件功能

類模擬（Class modeling)：protégé提供了一個圖形化用戶界面來模擬類（領域概念）和它們的屬性及關系。

實例編輯（Instance editing）：從這些類中，protégé自動產生交互式的形式，全用戶或領域專家進入的有效實例成為可能。

模型處理（Model processing)：protégé有一個插件庫，可以定義語義、解答詢問以及定義邏輯行為。

模型交換（Model exchange)：最終的模型（類和實例）能以各種各樣的格式被裝載和保存，包括XML、UML和資源描述框架RDF.

Protege使用教程

在Animal中建立獅子類和肉食動物類。定義這兩個類在同一級中，即這兩個類為兄弟關系，目的是推理后獅子變為肉食動物的子類

編輯獅子類的屬性。這里我們定義獅子只吃素食動物。

編輯肉食動物的屬性。這里我們需要建立一個eat的子屬性maineat(主要吃的是)

因為肉食性動物可以吃植物，所以我們無法單純的靠eat來推理出Lion是不是肉食性動物。

將肉食動物的maineat屬性變為充分必要條件。因為在現在的邏輯模型中我們的標準是開放世界假說，也就是說在沒有成功證明某個陳述之前，我們將這個陳述定義為未知的事實而不是假的。

因為我們沒有明確指出肉食動物不能主要吃植物，所以肉食動物主要吃植物這個陳述是未知的，而不是假的。這樣就給我們的推理造成了影響，所以我們需要明確指出肉食動物主要吃動物。也就是充分必要條件。