【正文】 uistic ontology (., WordNet, Sensus, GUM) ? task ontology (domaintask ontology, method ontology, application ontology) ?一種常用的分類 ?通用本體（ General Ontology） ?領(lǐng)域本體 (Domain Ontology) ? 任務(wù)本體 (Task Ontology) ?應(yīng)用本體（ Application Ontology） ? Web Ontology ? 通用本體（ General Ontology） ? 描述的是最普遍的概念及其概念之間的關(guān)系，如空間、時間、行為、事件等，與具體的應(yīng)用無關(guān)，其它的 Ontology均為其特例。 ? 領(lǐng)域本體 (Domain Ontology) ? 描述的特定領(lǐng)域中的概念及其概念之間的關(guān)系。 ? 任務(wù)本體 (Task Ontology) ? 描述的是特定任務(wù)或行為中的概念及概念之間的關(guān)系。 ? 應(yīng)用本體（ Application Ontology） ? 描述的是依賴于特定領(lǐng)域和任務(wù)的概念和概念之間的關(guān)系。 ? Web Ontology ? Web ontology: ?為 semantic web服務(wù)的 ontology ?表示語言 : ? RDF schema ?開放性 vs. 封閉性， ? 整個 web共享 vs. 系統(tǒng)內(nèi)共享 ? 經(jīng)常更新 vs. 系統(tǒng)建成后很少更新 本體（ Ontology） ? Ontology的概念 ? Ontology的作用 ? Ontology的類型 ? Ontology的組成 ?開發(fā) Ontology的方法 ?構(gòu)建 ontology的工具 ?當前研究存在的問題 Ontology的組成 ? Gruber提出了一種四元素表示方法 ， 即一個本體中的四個主要元素是： ? 概念 （ concepts） ? 關(guān)系 （ relations） ? 實例 （ instances） ? 公理 （ axioms） ? 概念 ? 概念表示某個領(lǐng)域中一類實體或事物的集合。通常概念可以分成兩大類，一類是簡單概念（ primitive concepts），另一類是定義的概念（ defined concepts）。 ? 簡單概念是那些只有必要條件的類成員關(guān)系 （ primitive concepts are those which only have necessary conditions (in terms of their properties) for membership of the class.）。 ? 例如：正方形是四個角都是直角的四邊形。因此所有的正方形的四個角都是直角，但允許一些四個角都是直角的四邊形不是正方形。 ? 定義的概念是指關(guān)于一個事物是另一個類成員的既充分、又必要的描述（ Defined concepts are those whose description is both necessary and sufficient for a thing to be a member of the class.）。 ? 例如：“三好學(xué)生”是學(xué)習(xí)好、身體好、思想好的學(xué)生。三好學(xué)生一定是學(xué)習(xí)好、身體好、思想好，而學(xué)習(xí)好、身體好、思想好的學(xué)生就是三好學(xué)生。 ? 關(guān)系 ? 關(guān) 系 描 述 概 念 和 概 念 的 屬 性 的 交 互（ Relations describe the interactions between concepts or a concept‘s properties.） 。 關(guān)系也可以分為兩大類：一種是樹狀分類學(xué)關(guān)系；另一種是聯(lián)合關(guān)系 。 ? 分類學(xué)將概念組織成子類 超類狀的概念樹結(jié)構(gòu) （ Taxonomies that anize concepts into sub superconcept tree structures.） 。 最常見的分類形式是： ? 專門化關(guān)系 （ Specialization relationships）通常被認為是 “ 是一種 ” 的關(guān)系 。 例如：博士生是研究生 ， 而研究生是學(xué)生 。 ? 部分關(guān)系 （ Partitive relationships） 是描述一個概念部分的是另一個概念 。 例如：部分博士研究生是在職的工作人員 。 ? 聯(lián)合關(guān)系是指樹狀結(jié)構(gòu)概念之間的橫向關(guān)系。常見的聯(lián)合關(guān)系如下 : ? 主格關(guān)系 ? 描述概念的名稱（ Nominative relationships describe the names of concepts）。 ? 位置關(guān)系 ? 描述一個概念與其他概念的的相互位置關(guān)系（ Locative relationships describe the location of one concept with respect to another）。 ? 結(jié)合的關(guān)系 ? 表示功能等（ Associative relationships that represent, for example, the functions, processes a concept has or is involved in, and other properties of the concept）。 ? 還有一些其它的關(guān)系類型，如因果關(guān)系（ causative‘ relationships ）、 參照關(guān)系 等。 ? 與概念一樣 ， 關(guān)系也可以被組織成分類樹狀的結(jié)構(gòu) 。 關(guān)系也有屬性 ， 這些屬性可深入刻畫 、 描述概念之間的關(guān)系 。 ? 實例 ? 是概念表示的具體的事物 ， 如：北京師范大學(xué)是概念 “ 大學(xué) ” 的一個實例 。 ? 嚴格的說 ， 一個本體不應(yīng)該包括任何實例 ， 因為它被假設(shè)為一個具體領(lǐng)域的概念化 。 一個本體與相關(guān)的實例的組合就是我們?nèi)缃袼Q呼的知識庫（ knowledge base） 。 ? 然而判斷一個東西是否是某個概念的實例實際上是很困難的 ， 通常它依賴于具體的應(yīng)用 。 例如：化學(xué)元素是個概念 ， 鉀是化學(xué)元素的一個實例 。 但是關(guān)于鉀是化學(xué)元素的一個實例的判定卻是有爭議的 ，因為鉀本身是一個概念 ， 它表示不同的鉀和鉀的同位素 。 這是本體研究中的一個重要問題 。 ? 公理 ? 用來限制類和實例的取值范圍 ， 公理中包括許多具體的規(guī)則和約束 。 ? 典型的是數(shù)據(jù)類型和取值范圍 本體（ Ontology） ? Ontology的概念 ? Ontology的作用 ? Ontology的類型 ? Ontology的組成 ?開發(fā) Ontology的方法 ?構(gòu)建 ontology的工具 ?當前研究存在的問題 開發(fā) Ontology的方法 ? 一般過程 ? （ 1）目標：確定 ontology的目標，是為組織某一專業(yè)領(lǐng)域的知識提供框架體系。 ? （ 2）未加工的數(shù)據(jù)：這一步為 ontology的構(gòu)建提供未加工的數(shù)據(jù)。在此，不止包含概念（例如： corn rootworm 玉米食根線蟲、peanut 花生、 leaf 葉片 ），還有概念間的重要關(guān)系（例如：一種特定害蟲發(fā)生在一個葉片上，一種特定害蟲引起一種特定的病害）。 ? （ 3）得到一份原始的詞表清單：利用軟件提取記號并完成簡單的統(tǒng)計計算，可以從未加工的數(shù)據(jù)中提取一份術(shù)語清單。應(yīng)用統(tǒng)計軟件，可以得到出現(xiàn)在未加工文本中頻率最高的記號樣本。 ? 在這種分析中，被確定的術(shù)語也是用來構(gòu)建 ontology的概念基礎(chǔ)。重要的是區(qū)分術(shù)語，它們是用一種特定的自然語言表達的，還要區(qū)分表達術(shù)語含義的概念。 ? （ 4）鑒定、識別初始的分類法：利用前邊確定的概念清單形成初始的分類法。鑒定和識別對于維持分類法的一致性很重要，分類體系的結(jié)構(gòu)化需要調(diào)整每一個概念。新概念（不是原始數(shù)據(jù)的一部分）的引入是為了描述相關(guān)概念的類別。分類體系的頂部應(yīng)該是最為抽象的概念。 ? （ 5）添加限制條件與公理：通過添加屬性、屬性限制和公理表達的各個概念間的關(guān)系，分類體系中的概念得到進一步的完善。例如，? plant” 可以有? pest”屬性，這個屬性必須是? pest” 類目的成員。一種作物的組成部分必須是? plant part” 的成員。事件可以有描述代理和對象的屬性。 ? （ 6）一致性檢驗：如果包含的關(guān)系集得到了正確的描述，那么屬性限制和公理集對于任何類的子類均為真。任何額外的、強加在子類上的限制，必須與子類所繼承的、對母類的限制條件相一致。一致性可以得到自動檢驗。 ? （ 7） ontology不斷變化：當概念不斷地添加進來，ontology也隨之變化。這種變化是一個可持續(xù)的過程。 ? （ 8）評價 ontology：部分觀點認為，構(gòu)建 ontology的最初目的一經(jīng)滿足，就算是完成了任務(wù)。在一個圖像庫ontology的實例中，如果來自媒介匯編的圖像通過附加在概念后得到了分類，那么這個 ontology還算是比較完備。通過查看用戶怎樣利用這個 ontology來定位特殊圖像，可以進行相關(guān)評價。 本體（ Ontology） ? Ontology的概念 ? Ontology的作用 ? Ontology的類型 ? Ontology的組成 ?開發(fā) Ontology的方法 ?構(gòu)建 ontology的工具 ?當前研究存在的問題 構(gòu)建 ontology的工具 ? Ontolingua Server （ :5915） ? Ontosaurus（ ） ? WebOnto（ ? PROT201。G201。（ ? OntoEdit（ ? Ontolingua Server ? Ontolingua服務(wù)器和 Ontosaurus提供的翻譯程序能夠生成以期望的語言寫成的 ontology（ 第一版草案 ） 。 ? Ontolingua服務(wù)器是擁有最大的用戶團體的工具。其編寫 ontology的語言是 Ontolingua語言。該工具有一個保存 ontology的文庫，其中的 ontology能夠被復(fù)用，以構(gòu)建其它 ontology，而且任何人均可向文庫中添加 ontology并使它也可以被別人使用。因此，世界各地不同的用戶將能夠協(xié)作構(gòu)建 ontology。這種工具允許不同的用戶在小組研討會中同時對一個 ontology產(chǎn)生影響。除此之外，它還有良好的教程軟件。 ? Ontosaurus ? Ontosaurus是一個可以對用 LOOM編寫的知識庫進行瀏覽的 Web瀏覽器。 Ontosaurus的文庫中只有少量可以使用的 ontology。 ?這種工具對初級用戶來說不易于使用，且一個 ontology一次只能被一個用戶編輯。Ontology可以用不同的語言輸入或輸出。 ? WebOnto ?用 WebOnto構(gòu)建的 ontology是用 OCML（ Operational Conceptual Modelling Language：計算概念建模語言 ）編寫的，OCML是一種圖形語言。 WebOnto沒有輸出功能，任何人一次只能編輯一個 ontology（當用戶換人時這個 ontology將被鎖定）。 ? PROT201。G201。 ? PROT201。G201。也擁有大型的用戶團體，但是這種工具只能局部安裝。 PROT201。G201。 ontology的創(chuàng)建，并且為了錄入 ontology實例，系統(tǒng)會自動生成知識獲取工具。PROT201。G201。沒有協(xié)作或輸出功能。對初級用戶而言，它非常易于使用，但它本身沒有ontology文庫。 PROT201。G201。還提供 ontology的圖形表達方法。 ? OntoEdit ? OntoEdit是分層構(gòu)建 ontology系統(tǒng)工程的工作平臺，是一種 ontology工程環(huán)境，它利用圖形手段支持 ontology的開發(fā)與維護。 ? OntoEdit構(gòu)建在一個強大的內(nèi)部 ontology模式之上。這一內(nèi)在的 ontology模式可以通過 XML的利用得到 串行化（一個接著一個） ， XML支持內(nèi)部文檔的處理。 ? OntoEdit的詞形變化表盡可能地支持面向概念、關(guān)系和公理的表達語言中立建模。包含在ontology中的幾種圖形視窗支持 ontology工程周期的幾個不同的建模階段。 本體（ Ontology） ? Ontology的概念 ? Ontology的作用 ? Ontology的類型 ? Ontology的組成 ?開發(fā) Ontology的方法 ?構(gòu)建 ontology的工具 ?當前研究存在的問題 當前研究存在的問題 ? 迄今為止，已有為數(shù)不少的 ontology構(gòu)建工具和方法體系，但沒有一個是完全成熟或者已經(jīng)擁有了權(quán)威團體客戶的。因此，沒有一種成為現(xiàn)