本體的繼承及構(gòu)造方法研究.pdf

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

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

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