袁國(guó)銘，樊波，成天華

0 引言

本體（Ontology）的概念最初起源于哲學(xué)領(lǐng)域，可以追溯到公元前古希臘哲學(xué)家亞里士多德（384-322b.c.）。它在哲學(xué)中的定義為：“對(duì)世界上客觀存在物的系統(tǒng)描述，即存在論”，是客觀存在的一個(gè)系統(tǒng)的解釋或說(shuō)明，關(guān)心的是客觀現(xiàn)實(shí)的抽象本質(zhì)。

Ontology這個(gè)哲學(xué)范疇，被人工智能界賦予了新的定義，從而被引入信息科學(xué)中，然而信息科學(xué)界對(duì) Ontology的理解也是逐步發(fā)展才走向成熟的。1991年Neches等人最早給出Ontology在信息科學(xué)中的定義：“給出構(gòu)成相關(guān)領(lǐng)域詞匯的基本術(shù)語(yǔ)和關(guān)系，以及利用這些術(shù)語(yǔ)和關(guān)系構(gòu)成的規(guī)定這些詞匯外延規(guī)則”。后來(lái)在信息系統(tǒng)、知識(shí)系統(tǒng)等領(lǐng)域，隨著越來(lái)越多的人研究 Ontology，產(chǎn)生了不同的定義；1993年Gruber定義Ontology為“概念模型的明確的規(guī)范說(shuō)明”。1997年Borst進(jìn)一步完善為“共享概念模型的形式化規(guī)范說(shuō)明”。Studer等人對(duì)上述兩個(gè)定義進(jìn)行了深入研究，認(rèn)為：“Ontology是共享概念模型的明確的形式化規(guī)范說(shuō)明”，這也是目前對(duì)Ontology概念的統(tǒng)一看法[1-2]。

Studer等人的Ontology定義包含4層含義：概念模型（Conceptualization）、明確（Explicit）、形式化（Formal）和共享（Share）?！案拍钅Ｐ汀笔侵竿ㄟ^(guò)抽象出客觀世界中一些現(xiàn)象（Phenomenon）的相關(guān)概念而得到的模型，其表示的含義獨(dú)立于具體的環(huán)境狀態(tài)；“明確”是指所使用的概念及使用這些概念的約束都有明確的定義；“形式化”是指Ontology是計(jì)算機(jī)可讀的，也就是計(jì)算機(jī)可處理的；“共享”是指 Ontology中體現(xiàn)的是共同認(rèn)可的知識(shí)，反映的是相關(guān)領(lǐng)域中公認(rèn)的概念集，它所針對(duì)的是團(tuán)體而非個(gè)體。Ontology的目標(biāo)是捕獲相關(guān)領(lǐng)域的知識(shí)，提供對(duì)該領(lǐng)域知識(shí)的共同理解，確定該領(lǐng)域內(nèi)共同認(rèn)可的詞匯，并從不同層次的形式化模式上給出這些詞匯（術(shù)語(yǔ)）和詞匯之間相互關(guān)系的明確定義。

盡管定義有很多不同的方式，但是從內(nèi)涵上來(lái)看，不同研究者對(duì)于 Ontology的認(rèn)識(shí)是統(tǒng)一的，都把它當(dāng)作是領(lǐng)域（領(lǐng)域的范圍可以是特定應(yīng)用中，也可以是更廣的范圍）內(nèi)部不同主體（人、機(jī)器、軟件系統(tǒng)等）之間進(jìn)行交流（對(duì)話、互操作、共享等）的一種語(yǔ)義基礎(chǔ)，即由 Ontology提供一種共識(shí)，如圖1所示：

圖1 本體層次

本體處于處于一種公共基本平臺(tái)層次。而且 Ontology提供的這種共識(shí)更主要的是為機(jī)器服務(wù)，機(jī)器并不能像人類(lèi)一樣理解自然語(yǔ)言中蘊(yùn)含的語(yǔ)義，目前的計(jì)算機(jī)也只能把文本看成字符串進(jìn)行處理。因此，在計(jì)算機(jī)領(lǐng)域討論Ontology，就要討論如何表達(dá)共識(shí)，也就是概念的形式化問(wèn)題。本體作為一種知識(shí)共享模式，為特定領(lǐng)域的人和應(yīng)用系統(tǒng)的交流提供了極大的便利，也正因?yàn)槿绱耍倔w的研究和應(yīng)用迅速延伸到知識(shí)工程、自然語(yǔ)言處理、信息檢索系統(tǒng)、智能信息集成和知識(shí)管理、信息交換和軟件工程等領(lǐng)域。而如何對(duì)這些不同領(lǐng)域內(nèi)的知識(shí)進(jìn)行抽取和描述并構(gòu)建出合適的領(lǐng)域本體已經(jīng)成為當(dāng)前的研究熱點(diǎn)之一。

領(lǐng)域本體（Domain-specific ontology）是對(duì)學(xué)科概念的一種描述，包括學(xué)科中的概念、概念的屬性、概念間的層次和非層次關(guān)系、屬性和關(guān)系的約束以及存在的公理等。由于知識(shí)具有顯著的領(lǐng)域特性，所以領(lǐng)域本體能夠更為合理而有效的進(jìn)行知識(shí)的表示。領(lǐng)域本體一般用來(lái)表示某一特定領(lǐng)域范圍內(nèi)的專(zhuān)業(yè)知識(shí)，在各個(gè)領(lǐng)域的本體目前發(fā)展迅速[3-5]。

1 本體的描述語(yǔ)言

本體的有效工作需要使用高級(jí)本體語(yǔ)言來(lái)表達(dá)和描述本體信息，本體描述語(yǔ)言需要滿(mǎn)足以下3條標(biāo)準(zhǔn)：

（1） 對(duì)人類(lèi)用戶(hù)應(yīng)有較高的直覺(jué)，考慮到基于框架OO建模范例的成功，本體應(yīng)該類(lèi)似于框架建模。

（2） 應(yīng)該有包含已定制的、推理特性的、定義良好的形式化語(yǔ)義，以確保其完整性、正確性和有效性。

（3） 應(yīng)與現(xiàn)有的Web語(yǔ)言有著適當(dāng)?shù)逆溄?，以確保其互用性。

自上世紀(jì)90年代以來(lái)，許多科研工作者在這個(gè)領(lǐng)域進(jìn)行深入的研究，產(chǎn)生了許多種類(lèi)的本體描述語(yǔ)言，如RDF(s)、OWL、OIL、Ontolingua、XOL等等。我們把它們簡(jiǎn)單的歸類(lèi)如下：

（1） 基于Web的本體語(yǔ)言（也叫做本體標(biāo)記語(yǔ)言）有：RDF(S)、OWL、SHOE、OIL等等。其中RDF(S)、OWL、OIL之間有著密切的聯(lián)系，是W3C的本體語(yǔ)言棧中的不同層次，也都是基于XML的。而SHOE是基于HTML的，它是HTML的一個(gè)擴(kuò)展。

（2） 基于AI(Artificial Intelligence)的本體實(shí)現(xiàn)語(yǔ)言有：KIF、Ontolingua、CycL、Loom、OCML、Flogic。KIF己經(jīng)是美國(guó)國(guó)家標(biāo)準(zhǔn)，但是它并沒(méi)有被廣泛應(yīng)用于互聯(lián)網(wǎng)，而是作為一種交換格式更多的應(yīng)用于企業(yè)之間的交互。

常用的13種本體論語(yǔ)言的比較如表1所示：

表1 本體論語(yǔ)言的比較

通過(guò)對(duì)這13種語(yǔ)言在概念（Concepts）、多元關(guān)系（n-aryrelations）、函數(shù)（Functions）、過(guò)程（Procedures）、實(shí)例（Instances）、公理（Axioms）、產(chǎn)生式規(guī)則（Production Rules）和形式語(yǔ)義（Formal Semantics）的橫向比較，得到相對(duì)結(jié)論：（1）Loom是定義最完備、功能最齊全的本體表示語(yǔ)言。（2） CycL，Ontolingua和OWL也能較好的表示本體語(yǔ)言。

2 本體的編寫(xiě)工具

在過(guò)去的20年里，已經(jīng)出現(xiàn)了上百種本體構(gòu)建工具，從最早的Ontolingua，Onto Saurus，Web Onto，到Protégé，Web ODE，Oil Ed，Onto Edit，以及KAON等，本體構(gòu)建工具也日趨成熟。這些工具提供了友好的圖形化界面和一致性檢查機(jī)制。借助這些工具，用戶(hù)可以把精力集中在本體內(nèi)容的組織上，而不必了解本體描述語(yǔ)言的細(xì)節(jié)，而且避免了很多錯(cuò)誤的發(fā)生，方便了本體的構(gòu)建。但是，這些工具提供的僅僅是本體編輯功能，支持的仍然是手工構(gòu)建本體的方式。即使使用這些本體編輯工具，用戶(hù)依然需要逐個(gè)地輸入和編輯每個(gè)概念的名字、約束、屬性等內(nèi)容?，F(xiàn)有的大部分系統(tǒng)，例如Cyc和Mikrokosmos等，都是靠手工輸入大量的知識(shí)，然后才能基于這些知識(shí)進(jìn)行推理或獲取新的知識(shí)。由于手工方法費(fèi)時(shí)費(fèi)力，使得本體的構(gòu)建成為一項(xiàng)艱巨的任務(wù)。因此，如何利用知識(shí)獲取技術(shù)來(lái)降低本體構(gòu)建的開(kāi)銷(xiāo)是一個(gè)很有意義的研究方向。目前，國(guó)外在該方向的研究很活躍，把相關(guān)的技術(shù)稱(chēng)為本體學(xué)習(xí)（Ontology learning）技術(shù)，其目標(biāo)是利用機(jī)器學(xué)習(xí)和統(tǒng)計(jì)等技術(shù)自動(dòng)或半自動(dòng)地從已有的數(shù)據(jù)資源中獲取期望的本體。由于實(shí)現(xiàn)完全自動(dòng)的知識(shí)獲取技術(shù)還不現(xiàn)實(shí)，所以，整個(gè)本體學(xué)習(xí)過(guò)程是在用戶(hù)指導(dǎo)下進(jìn)行的一個(gè)半自動(dòng)的過(guò)程。

本節(jié)將特別介紹WebOnto，OntoEdit，Hozo和Protégé這四個(gè)各具特色的本體開(kāi)發(fā)工具。

2.1 本體編輯工具的介紹

（1） WebOnto

WebOnto是由英國(guó)Open大學(xué)的知識(shí)媒體研究所開(kāi)發(fā)，可通過(guò)Internet訪問(wèn)基于Web的完全圖形化工具[32]。它支持本體的寫(xiě)作瀏覽、生成和編輯，還提供直接接口以便通過(guò)大量的媒介顯示出本體表示。不同的用戶(hù)都可以生成本體注釋并用不同的顏色對(duì)當(dāng)前本體進(jìn)行修改等一系列操作。

WebOnto的主要目標(biāo)是簡(jiǎn)單易用且便于擴(kuò)展到大的本體應(yīng)用中，還是本體討論工具Tadzebao的補(bǔ)充，對(duì)本體進(jìn)行建模的語(yǔ)言是VITAL項(xiàng)目開(kāi)發(fā)的操作概念建模語(yǔ)言。還有很多可用的功能是保存結(jié)構(gòu)圖以及瀏覽類(lèi)、關(guān)系和規(guī)則等等。

（2） OntoEdit

OntoEdit是德國(guó)Karlsruhe大學(xué)AIFB學(xué)院的知識(shí)管理團(tuán)隊(duì)開(kāi)發(fā)的本體論工程環(huán)境，該環(huán)境支持使用圖形化方式來(lái)開(kāi)發(fā)和維護(hù)本體[33]。OntoEdit將本體開(kāi)發(fā)方法論（骨架法）與合作開(kāi)發(fā)和推理的能力相結(jié)合，關(guān)注本體開(kāi)發(fā)的3個(gè)步驟：收集需求階段、提煉階段、評(píng)估階段。OntoEdit工具已是德國(guó)Onto Prise公司的商業(yè)化產(chǎn)品。OntoEdit建立在有力的內(nèi)部本體模型上，此模型能用支持內(nèi)部文件處理的XML序列化。環(huán)境架構(gòu)中包含的圖形化視圖支持對(duì)本體論工程開(kāi)發(fā)生命周期的不同階段進(jìn)行建模，還支持Frame-Logic、XML、RDF(S)和OIL等，并允許用戶(hù)編輯不同抽象級(jí)別的層次化的概念或者類(lèi)，允許對(duì)關(guān)系的屬性進(jìn)行集成和細(xì)化。

（3） HOZO

HOZO本體構(gòu)建工具是日本大阪大學(xué)ISIR（The Institute of Scientific and Industrial Research）研究所Mizoguchi研究室開(kāi)發(fā)的[34]。

HOZO是基于Java開(kāi)發(fā)的本體編輯工具，其主要由四部分組成：Ontology Editor、Ontology Manager、Ontology Server和Onto-Studio。Ontology Editor是一個(gè)本體編輯圖形界面，通過(guò)該界面可以對(duì)本體進(jìn)行構(gòu)建、修改等。Ontology Manager可以幫助用戶(hù)管理本體，通過(guò)圖形化的方式將本體A與本體B之間的區(qū)別表示出來(lái)，方便本體映射。Ontology Server用于管理本體的存儲(chǔ)和使用，也可以利用本體中定義的公理對(duì)本體的一致性進(jìn)行檢查。Onto-studio是基于AFM（Activity-First Method）的本體構(gòu)建，它可以幫助用戶(hù)從文檔中自動(dòng)構(gòu)建本體。

HOZO本體編輯工具與其它本體構(gòu)建工具的顯著區(qū)別在于HOZO引入角色概念。角色概念最早由John Sowa提出，并引入“firstness”和“secondness”概念，其中前者是指一些獨(dú)立的概念，即不需要依賴(lài)于其它概念即可存在，同時(shí)不會(huì)產(chǎn)生歧義：如樹(shù)、人、鐵等；后者必須依賴(lài)于其它概念才能存在：如丈夫、妻子、學(xué)生等。Mizoguchi借助于這一思想，將第二種概念定義為角色概念，即將本體中概念一共分為3類(lèi)：基本概念、角色概念及關(guān)系概念?；靖拍钍菃为?dú)的概念，是不需要其它概念就可定義的概念，對(duì)應(yīng)于firstness；角色概念是一個(gè)事物在特定語(yǔ)境中所扮演的角色，它需要由其它概念來(lái)定義，對(duì)應(yīng)于secondness；關(guān)系概念用于描述基本概念的屬性之間的關(guān)系及角色概念之間的關(guān)系。

（4）Protégé

Protégé是由美國(guó)斯坦福大學(xué)醫(yī)學(xué)院醫(yī)學(xué)信息中心(Stanford Medical Informatics，SMI)的Musen領(lǐng)導(dǎo)的開(kāi)發(fā)團(tuán)隊(duì)開(kāi)發(fā)的一個(gè)開(kāi)放源碼的本體編輯器，它是用Java編寫(xiě)的，可以免費(fèi)下載[35]。Protégé界面風(fēng)格與普通Windows應(yīng)用程序風(fēng)格一致，用戶(hù)可以較容易學(xué)習(xí)使用。Protégé支持多重繼承，并能夠?qū)π聰?shù)據(jù)進(jìn)行一致性檢查，同時(shí)具有很強(qiáng)的可擴(kuò)展性，主要表現(xiàn)在如下幾點(diǎn)：

① Protégé是一個(gè)可擴(kuò)展的知識(shí)模型，用戶(hù)可以重新定義系統(tǒng)使用的表示原語(yǔ)。

② 文件輸出格式可以定制?？梢詫rotégé的內(nèi)部表示轉(zhuǎn)換成多種形式的文本表示格式，包括XML、RDF(S)、OIL、DAML、DAML+OIL、OWL等系列語(yǔ)言。

③ 用戶(hù)接口可以定制。提供可擴(kuò)展的API接口，用戶(hù)可以更換Protégé的用戶(hù)接口的顯示和數(shù)據(jù)獲取模塊來(lái)適應(yīng)新的語(yǔ)言。

④ 有可以與其它應(yīng)用結(jié)合的可擴(kuò)展的體系結(jié)構(gòu)。用戶(hù)可以將其與外部語(yǔ)義模塊（例如針對(duì)新語(yǔ)言的推理引擎）直接相連。

⑤ 后臺(tái)支持?jǐn)?shù)據(jù)庫(kù)存儲(chǔ)，能夠使用JDBC和JDBC-ODBC橋連接和訪問(wèn)數(shù)據(jù)庫(kù)。Protégé開(kāi)放源代碼，提供了本體建設(shè)的基本功能，使用簡(jiǎn)單方便，擁有友好詳盡的幫助文檔，模塊劃分清晰，提供完全的API接口，它成為國(guó)內(nèi)外眾多本體研究機(jī)構(gòu)的開(kāi)發(fā)工具[6-8]。

2.2 各種編輯工具的比較

目前，本體編輯工具種類(lèi)繁多，它們的共同點(diǎn)是：設(shè)計(jì)界面采用GUI形式，方便用戶(hù)使用，使用戶(hù)不必要學(xué)習(xí)繁瑣的本體編輯語(yǔ)言仍然可以構(gòu)建所需要的本體?？梢钥闯?，以上描述的本體編輯工具都有各自特點(diǎn)，針對(duì)以上特點(diǎn)本體編輯工具仍有以下發(fā)展趨勢(shì)：

（1） 目前本體編輯工具均為手工構(gòu)建本體，不支持自動(dòng)構(gòu)建，而隨著本體的發(fā)展，手工構(gòu)建本體將會(huì)是一項(xiàng)龐大的任務(wù)。因此，需要對(duì)現(xiàn)有的工具進(jìn)行改進(jìn)，使其能夠自動(dòng)對(duì)現(xiàn)有本體進(jìn)行更新。

（2） 目前國(guó)內(nèi)還沒(méi)有發(fā)布通用的本體編輯工具，以便更好的支持以中文為主的本體，因此，需要自行開(kāi)發(fā)一個(gè)能較好支持中文的本體構(gòu)建工具。

（3） 當(dāng)前WEB和本體庫(kù)中有很多本體可以直接利用，但如何將這些本體應(yīng)用于當(dāng)前本體編輯工具仍是需要解決的問(wèn)題。

3 本體研究的國(guó)際化組織及其項(xiàng)目

如表2所示：

表2 本體標(biāo)準(zhǔn)化組織與項(xiàng)目

國(guó)際上大型本體標(biāo)準(zhǔn)化組織包括：美國(guó)國(guó)家標(biāo)準(zhǔn)化組織（ANSI）、電器與電子工程師協(xié)會(huì)（IEEE）、德國(guó)GMD公司IPSI研究所、美國(guó)斯坦福研究所人工智能中心、ISO Texas A& M Univ、斯坦福大學(xué)，荷蘭阿姆斯特丹大學(xué)，貝爾實(shí)驗(yàn)室，AIFB研究所和ISO-STEP等，它們組織了專(zhuān)門(mén)的研究項(xiàng)目支持本體標(biāo)準(zhǔn)化的研究。

領(lǐng)域本體的構(gòu)建研究是當(dāng)前的熱點(diǎn)之一，已經(jīng)公布的本體庫(kù)包括：

氨基酸本體：關(guān)于氨基酸及其性質(zhì)的小型本體（其中，概念、屬性和關(guān)系均備有中英文名稱(chēng)、同義詞及縮寫(xiě)）。

基本形式化本體（Basic Formal Ontology）：一部設(shè)計(jì)旨在為科學(xué)技術(shù)研究工作提供支持的形式化上層本體。

BioPAX：一部旨在促進(jìn)生物學(xué)途徑（細(xì)胞過(guò)程）數(shù)據(jù)之交換和互操作性的本體。

細(xì)胞周期本體（Cell-Cycle Ontology，CCO）：一部用于表達(dá)細(xì)胞周期的應(yīng)用本體。

CContology:一部旨在支持在線客戶(hù)抱怨管理的電子商務(wù)本體。

CIDOC概念參考模型（CIDOC Conceptual Reference Model）：一部關(guān)于文化遺產(chǎn)的本體。

COSMO：屬于一部基礎(chǔ)本體（當(dāng)前版本為OWL），其設(shè)計(jì)旨在收錄所有那些從邏輯上明確說(shuō)明任何領(lǐng)域?qū)嶓w的含義之時(shí)所需的原初型概念（primitive concepts）。其旨在作為一部基礎(chǔ)的本體，可以用于完成其他本體或數(shù)據(jù)庫(kù)之中不同表達(dá)之間的轉(zhuǎn)換。起初，它只是OpenCyc和SUMO本體之中基本構(gòu)成要素的合并產(chǎn)物。目前，已經(jīng)采用其他的本體構(gòu)成要素（類(lèi)型、關(guān)系） 對(duì)其加以了補(bǔ)充，從而便于收錄朗文詞典定義詞匯表之中所有單詞的表達(dá)形式。

Cyc：一部關(guān)于論域之形式化表達(dá)的基礎(chǔ)本體。

疾病本體（Disease Ontology）：在設(shè)計(jì)上旨在促進(jìn)各種疾病及相關(guān)健康狀況向特定醫(yī)學(xué)代碼的映射。

DOLCE：即語(yǔ)言學(xué)與認(rèn)知工程描述型本體（Descriptive Ontology for Linguistic and Cognitive Engineering）。

都柏林核心：一部關(guān)于文檔和出版方面的簡(jiǎn)單本體。

基礎(chǔ)性核心語(yǔ)言學(xué)本體（Foundational, Core and Linguistic Ontologies）。

人類(lèi)解剖學(xué)方面的解剖學(xué)基礎(chǔ)模型（Foundational Model of Anatomy，F(xiàn)MA）。

有關(guān)內(nèi)科學(xué)與外科學(xué)醫(yī)學(xué)術(shù)語(yǔ)的GALEN本體（OWL-DL格式）。

基因組學(xué)領(lǐng)域的基因本體（Gene Ontology,GO）

通用上層模型（Generalized Upper Model）：一部用于在客戶(hù)系統(tǒng)與自然語(yǔ)言技術(shù)之間發(fā)揮中介作用的，帶有語(yǔ)言學(xué)動(dòng)機(jī)的本體。

Gellish英語(yǔ)詞典：是一部包括有詞典和分類(lèi)法的本體；其中，收錄有一部上層本體和一部下層本體（lower ontology）,側(cè)重于工程、技術(shù)以及采購(gòu)方面的工業(yè)及商業(yè)應(yīng)用。參見(jiàn)SourceForge的開(kāi)源項(xiàng)目。

GOLD：即語(yǔ)言描述通用本體（General Ontology for Linguistic Description）。

IDEAS工作組：澳大利亞、加拿大、英國(guó)以及美國(guó)的國(guó)防部所正在共同構(gòu)建的一部關(guān)于企業(yè)架構(gòu)（enterprise architecture）的形式化本體。

LinkbaseLinkbase.[2009-03-05]（英文）：在基本形式化本體（Basic Formal Ontology）的基礎(chǔ)之上，對(duì)于生物醫(yī)學(xué)領(lǐng)域的一種形式化表達(dá)。

勞森模式語(yǔ)言（Lawson Pattern Language，LPL）。

開(kāi)放生物醫(yī)學(xué)本體鑄造廠（OBO Foundry）：生物醫(yī)學(xué)領(lǐng)域的一套具有互操作性的參考本體。

生物醫(yī)學(xué)調(diào)查本體（Ontology for Biomedical Investigations）：用于描述生物學(xué)及臨床調(diào)查研究活動(dòng)的一部開(kāi)放的集成化本體。

植物本體（Plant Ontology）：關(guān)于植物結(jié)構(gòu)以及生長(zhǎng)/發(fā)育階段等方面的本體。

POPE（Purdue Ontology for Pharmaceutical Engineering，普渡大學(xué)制藥工程本體）

喬治敦大學(xué)有關(guān)蛋白質(zhì)信息資源的蛋白質(zhì)本體PRO。

程序抽象分類(lèi)法（Program abstraction taxonomy）。

蛋白質(zhì)組學(xué)領(lǐng)域的蛋白質(zhì)本體（Protein Ontology）。

系統(tǒng)生物學(xué)本體（Systems Biology Ontology）：描述的是生物學(xué)領(lǐng)域的計(jì)算機(jī)模型。

推薦上層合并本體：一部形式化上層本體

SWEET（Semantic Web for Earth and Environmental Terminology，地球與環(huán)境術(shù)語(yǔ)集語(yǔ)義網(wǎng)）。

思想財(cái)富本體。

醫(yī)學(xué)教育標(biāo)引主題（Topics for Indexing Medical Education）。

WordNet：一個(gè)詞匯參考系統(tǒng)（Lexical reference system）。

中國(guó)的農(nóng)業(yè)本體庫(kù)、航天航空本體庫(kù)、中醫(yī)藥本體庫(kù)、石油勘探開(kāi)發(fā)本體庫(kù)等多個(gè)專(zhuān)業(yè)領(lǐng)域都建成或在建本學(xué)科領(lǐng)域本體庫(kù)[9-10]。

4 總結(jié)

本體理論作為一種被廣泛接受的信息學(xué)科基礎(chǔ)理論，它就像基因一樣是不同門(mén)類(lèi)知識(shí)的基礎(chǔ)理論，可以廣泛應(yīng)用于任何知識(shí)系統(tǒng)，相信在不就的將來(lái)，本體理論不僅僅用于理學(xué)、工學(xué)等應(yīng)用學(xué)科，還能應(yīng)用到社科人文學(xué)科領(lǐng)域并大放異彩。

[1]本體論,http://baike.baidu.com/link?url=7f4oPT2oUaMuh Qs3nxgYPFP-8FWypi0--o9hAHMC7GrazKKYet1ddm TBrZRrLTau.

[2]Gruber, T.R.(1993)."A translation approach to port able ontologies".[J]In: Knowledge Acquisition.5(2):199-220, 1993.

[3]張宇翔.知識(shí)工程中的本體綜述.[J]計(jì)算機(jī)工程，2005.31(7):l12-114.

[4]袁國(guó)銘,李洪奇,樊波.關(guān)于知識(shí)工程的發(fā)展綜述[J].計(jì)算技術(shù)與自動(dòng)化.2011,30(1):138-143.

[5]孫雨生,詹萌.國(guó)內(nèi)外本體論技術(shù)研究與進(jìn)展[J].情報(bào)雜志.2005,(12).

[6]OntoEdit[DB/OL]:http://www.ontoknowledge.org/tools/o ntoedit.shtml.

[7]王長(zhǎng)霞,李冠宇,陳布偉.語(yǔ)義網(wǎng)本體構(gòu)建工具現(xiàn)狀及發(fā)展趨勢(shì)研究[J].計(jì)算機(jī)與現(xiàn)代化, 2009(7):26-31.

[8]WebOnto.http://eldroa.open.ac.uk:3000/webonto.

[9]陳科文,張祖平,龍軍.多源信息融合關(guān)鍵問(wèn)題、研究進(jìn)展與新動(dòng)向[J].計(jì)算機(jī)科學(xué).2013,40(8):6-13.

[10]袁國(guó)銘,陳殊聰,辛盈,鄧小亞.本體構(gòu)建理論在石油領(lǐng)域的應(yīng)用研究[J].計(jì)算技術(shù)與自動(dòng)化.2011,30(3):113-118.