本體的繼承及構造方法研究.pdf

1、本體(Ontology)原本是一個哲學概念,后來計算機工作者將本體概念應用到計算機領域,并賦予其嶄新的意義.在計算機科學中,本體是領域概念模型的顯式表示.它能很好地表達對象之間的復雜關系,因而本體在軟件開發(fā)方法學、計算語言學、信息檢索和集成、虛擬企業(yè)以及軟件需求獲取與需求工程等方面得到廣泛應用.由于建立本體非常困難,質(zhì)量難以保證,因此人們試圖通過繼承來復用本體.但本體的繼承理論是目前尚未解決的重要問題.本文通過擴展繼承的數(shù)學理論,系統(tǒng)研

2、究了本體的繼承語義、繼承機制、本體的構造方法以及本體的演化等問題.探討了對象繼承與本體繼承之間的關系,重點研究帶例外的本體多繼承理論.創(chuàng)造性工作包括以下幾個方面:1)繼承系統(tǒng)的數(shù)學理論是描述繼承系統(tǒng)和探討其一致性、二義性等問題的一個重要基礎理論.2)證明原繼承系統(tǒng)中的大部分重要定理.3)將本體(D,P,U,V,H)轉換為三元組(F,E,I)的表示形式,證明這種轉換不削弱本體的表示能力,并且將本體映射到擴展后的繼承系統(tǒng),利用繼承系統(tǒng)的定義

3、、定理分析本體繼承的一致性問題,并證明這種映射對本體的包含斷言的判定是完備的.4)設計了上、下掃描算法,通過檢測系統(tǒng)變化可能引起的沖突,保持系統(tǒng)的一致性.5)提出了關系模式和關系參數(shù)的4種繼承性質(zhì)的思想,從而解決了關系在本體繼承中產(chǎn)生變化的問題.6)在利用領域本體知識庫(DOKB)中已有領域本體構造新的領域模型或領域本體后,知識工程師需要檢查新領域本體以確保其符合規(guī)則前提.本文研究了使用約束條件讓計算機自動解決這個問題的方法,減少了知識