基于描述邏輯的語義Web本體推理技術(shù)研究與實(shí)現(xiàn).pdf

1、自1989年萬維網(wǎng)誕生以來，它得到了迅速的發(fā)展，現(xiàn)已成為人們獲取信息的主要渠道之一，深刻影響到人類社會(huì)生活的各個(gè)方面，改變了人們彼此交流的方式和商業(yè)運(yùn)作的方式，使社會(huì)發(fā)展正向知識經(jīng)濟(jì)和知識社會(huì)轉(zhuǎn)型。目前的萬維網(wǎng)是面向人而不是面向機(jī)器的，人可以理解萬維網(wǎng)上Web頁面的內(nèi)容，但機(jī)器卻只能是對Web頁面進(jìn)行簡單的顯示，而不能真正理解Web頁面內(nèi)容的含義，也就不可能對其進(jìn)行自動(dòng)處理。為了使計(jì)算機(jī)能夠理解和處理網(wǎng)頁內(nèi)容，迅速準(zhǔn)確地從海量網(wǎng)頁中查找

2、出所需要的內(nèi)容，萬維網(wǎng)的創(chuàng)始人Tim Berners—Lee提出了語義網(wǎng)(Semantic web)的概念。語義Web是對現(xiàn)有Web增加語義支持，是現(xiàn)有萬維網(wǎng)的變革和延伸，其目標(biāo)是使網(wǎng)絡(luò)中的信息都具有語義，并幫助計(jì)算機(jī)在一定程度上理解信息的含義，使得高效的信息共享和機(jī)器智能協(xié)同成為可能。因而語義Web研究的重點(diǎn)就是如何把信息表示成計(jì)算機(jī)能夠理解和處理的形式，使信息帶有語義。為實(shí)現(xiàn)對信息的分類以及信息之間相互關(guān)系的語義表達(dá)，人們引入了“本

3、體”的概念。本體通過對概念的嚴(yán)格定義和概念之間的關(guān)系來確定概念的精確含義，從而反映事物或現(xiàn)象的抽象本質(zhì)，并建立抽象模型。利用本體所具有的知識表示和描述的能力，人們可以用統(tǒng)一標(biāo)準(zhǔn)實(shí)現(xiàn)資源的表示，從而產(chǎn)生機(jī)器智能理解和處理的語義信息。本體作為語義載體在語義Web中起著核心的作用，是語義Web中基于語義的互操作得以實(shí)現(xiàn)的關(guān)鍵因素，是解決語義層次上Web信息共享和交換的基礎(chǔ)。因此，本體技術(shù)成為語義Web研究的熱點(diǎn)之一。描述邏輯(Descript

4、ion Logic)是一種基于邏輯的知識表示、知識推理的形式化語言，具有良好的知識表達(dá)能力和完備的推理機(jī)制，采用合理的描述邏輯對本體進(jìn)行表述并對信息推理技術(shù)進(jìn)行優(yōu)化，提高查詢效率，已經(jīng)成為本體研究的重要內(nèi)容。
　　 本文對現(xiàn)有的本體推理中的相關(guān)技術(shù)進(jìn)行了研究，并對各種推理之間的轉(zhuǎn)換關(guān)系進(jìn)行了分析。圍繞本體推理的核心算法Tableau算法，重點(diǎn)介紹了概念包含關(guān)系檢測(概念分類)和ABox的一致性檢測以及它們的相關(guān)優(yōu)化算法。在概念分