基于語義Web的自動推理技術研究.pdf

1、語義Web是由萬維網(wǎng)的創(chuàng)始人Berners-Lee在2001年正式提出的。語義Web研究的主要目的就是擴展當前的萬維網(wǎng)，使得網(wǎng)絡中的信息都具有語義，使計算機能夠理解和處理，便于人和計算機之間的交互及協(xié)作。因而其研究的重點就是如何把信息表示為計算機能夠理解和處理的形式。關于計算機的推理，首先需要解決的問題就是計算機對知識的理解問題，只有計算機理解了所建立的知識，才能在此基礎上展開推理服務。語義Web出現(xiàn)的目的就是為了解決機器和人對知識的理

2、解的問題，因此我們可以在語義Web的基礎上展開推理。 本文首先分析了語義Web的體系結(jié)構及其相關知識，然后對本體論的邏輯基礎-描述邏輯進行了研究。最后在此基礎上提出了一種有效的推理系統(tǒng)。描述邏輯系統(tǒng)可以提供一些典型的推理服務，例如，概念分類，概念的可滿足性及概念的實現(xiàn)，知識的一致性檢測等一系列的推理服務。這些推理服務能夠很好的發(fā)現(xiàn)知識中的隱藏知識并且能夠發(fā)現(xiàn)知識定義中相互矛盾的概念。本體論的理論基礎是描述邏輯，OWLDL和描述邏

3、輯有很好的對應關系，因此我們在建立知識庫時使用了OWLDL。使用OWLDL的好處在于：(1)利用描述邏輯的推理機能夠發(fā)現(xiàn)在知識定義過程中相互矛盾之處，并且發(fā)現(xiàn)隱藏知識。(2)能夠更好的進行知識的分享和再次利用。為了克服OWLDL在推理機制上的不足，我們引入了SWRL來表示相應規(guī)則，以便更好的進行推理服務。因為SWRL規(guī)則的定義本身就是在OWLDL本體之上的，所以我們利用OWLDL所定義的領域知識能夠很好的和規(guī)則相結(jié)合。由于目前的專家系統(tǒng)