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

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

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

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