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

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

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

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

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