語義Web中基于本體知識(shí)庫系統(tǒng)的自動(dòng)推理研究.pdf

1、1998年,Tim Berners-Lee提出了語義Web的概念,目標(biāo)是通過向數(shù)據(jù)中添加機(jī)器可理解的語義和啟發(fā)式的使用元數(shù)據(jù)來實(shí)現(xiàn)機(jī)器自動(dòng)處理信息,數(shù)據(jù)的清楚語義加上領(lǐng)域理論(即本體)將使得Web提供更高質(zhì)量的服務(wù).由于語義Web的目標(biāo)就是實(shí)現(xiàn)Web的"機(jī)器理解","機(jī)器理解"指讓計(jì)算機(jī)理解信息的內(nèi)涵,其理解能力與推理能力休戚相關(guān),因此語義Web的智能推理技術(shù)在實(shí)現(xiàn)Web的語義性上起著核心的作用.該文在分析語義Web的支撐技術(shù)和本體知識(shí)

2、庫的理論后,著重研究基于本體知識(shí)庫系統(tǒng)的自動(dòng)推理技術(shù),分邏輯推理和傳統(tǒng)的規(guī)則推理兩方面進(jìn)行研究.在邏輯推理領(lǐng)域,結(jié)合目前推理研究的發(fā)展?fàn)顩r,基于語義Web中比較成熟的SHOQ(D<,n>)描述邏輯,提出借助數(shù)據(jù)類型之間的相關(guān)性輔助邏輯推理的思想,并利用Tableaux算法改進(jìn)描述邏輯SHOQ(D<,n>),為邏輯推理提供幫助.由于描述邏輯自身推理功能的缺陷,我們通過結(jié)合傳統(tǒng)成熟的規(guī)則推理技術(shù),對(duì)語義Web中結(jié)構(gòu)類似的信息采用規(guī)則推理方法

3、進(jìn)行推導(dǎo),主要研究了JESS匹配算法的性能和改進(jìn)方法,最后提出將Agent推導(dǎo)引擎技術(shù)和語義Web推理技術(shù)結(jié)合建立一種新的推理模型并進(jìn)行實(shí)現(xiàn).該文的主要成果和創(chuàng)新點(diǎn)包括:1.提出借助數(shù)據(jù)類型之間的相關(guān)性輔助邏輯推理的方法;2.利用Tableaux算法改進(jìn)描述邏輯SHOQ(D<,n>),為邏輯推理提供幫助;3.用數(shù)學(xué)方法比較和分析了網(wǎng)絡(luò)匹配算法RETE和它的主要改進(jìn)算法,并提出利用multi-agent技術(shù)的改進(jìn)網(wǎng)絡(luò)匹配算法.4.借助具有