軟件介紹

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

Protege軟件簡介

Protege軟件是斯坦福大學(xué)醫(yī)學(xué)院生物信息研究中心基于Java語言開發(fā)的本體編輯和知識獲取軟件，或者說是本體開發(fā)工具，也是基于知識的編輯器，屬于開放源代碼軟件。這個軟件主要用于語義網(wǎng)中本體的構(gòu)建，是語義網(wǎng)中本體構(gòu)建的核心開發(fā)工具，現(xiàn)在的最新版本為5.2.0版本。

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

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

軟件特色

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

Protege提供了大量的知識模型架構(gòu)與動作，用于創(chuàng)建、可視化、操縱各種表現(xiàn)形式的本體。

可以通過用戶定制實現(xiàn)域-友好(領(lǐng)域相關(guān))的支持，用于創(chuàng)建知識模型并填充數(shù)據(jù)。

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

相比與其他的本體構(gòu)建工具而言，Protege最大的好處在于支持中文，在插件上，用Graphviz可實現(xiàn)中文關(guān)系的顯示。

Protege軟件功能

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

實例編輯（Instance editing）：從這些類中，protégé自動產(chǎn)生交互式的形式，全用戶或領(lǐng)域?qū)＜疫M入的有效實例成為可能。

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

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

Protege使用教程

在Animal中建立獅子類和肉食動物類。定義這兩個類在同一級中，即這兩個類為兄弟關(guān)系，目的是推理后獅子變?yōu)槿馐硠游锏淖宇?/p>

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

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

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

將肉食動物的maineat屬性變?yōu)槌浞直匾獥l件。因為在現(xiàn)在的邏輯模型中我們的標(biāo)準(zhǔn)是開放世界假說，也就是說在沒有成功證明某個陳述之前，我們將這個陳述定義為未知的事實而不是假的。

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