軟件介紹

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

Protege軟件簡介

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

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

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

軟件特色

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

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

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

Protege可以通過兩種方式進(jìn)行擴(kuò)展：插件和基于java的API。

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

Protege軟件功能

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

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

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

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

Protege使用教程

在Animal中建立獅子類和肉食動(dòng)物類。定義這兩個(gè)類在同一級(jí)中，即這兩個(gè)類為兄弟關(guān)系，目的是推理后獅子變?yōu)槿馐硠?dòng)物的子類

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

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

因?yàn)槿馐承詣?dòng)物可以吃植物，所以我們無法單純的靠eat來推理出Lion是不是肉食性動(dòng)物。

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

因?yàn)槲覀儧]有明確指出肉食動(dòng)物不能主要吃植物，所以肉食動(dòng)物主要吃植物這個(gè)陳述是未知的，而不是假的。這樣就給我們的推理造成了影響，所以我們需要明確指出肉食動(dòng)物主要吃動(dòng)物。也就是充分必要條件。