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

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

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

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