基于OWL容錯性推理系統(tǒng)的研究與實現(xiàn).pdf

1、網(wǎng)頁本體語言是共享概念模型的明確形式化規(guī)范說明,能夠以一種明確的、形式化的方式來表示領(lǐng)域知識,提高異構(gòu)系統(tǒng)之間的互操作性,促進知識共享.而RDF/RDFS是一個完整的形式化系統(tǒng),具備BNF形式語法、基于模型理論的形式語義,是一個完備、可靠的形式化系統(tǒng).通過這些,保證了RDF描述語義推理的形式正確性,保證了應(yīng)用程序?qū)DFS描述的網(wǎng)頁本體語言的語義解釋.網(wǎng)頁本體語言是一種基于語義網(wǎng)的語言,網(wǎng)頁本體語言試圖提供一種語言能夠描述存在于網(wǎng)絡(luò)文檔

2、和應(yīng)用程序中的類以及它們之間的關(guān)系,它是RDF在詞匯上的擴展.現(xiàn)實生活中我們是怎么樣理解和使用概念,一個通常意義上的詞語的意思是怎么樣用來定義對象的,傳統(tǒng)上有兩種截然不同的方法來解決這個問題,那就是心理學(xué)的方法和邏輯學(xué)的方法.本文主要研究怎么樣調(diào)節(jié)這兩種方法來對概念的理解達到最好的效果,并且結(jié)合網(wǎng)頁本體語言,開發(fā)了一個基于網(wǎng)頁本體語言的容錯性推理系統(tǒng).本文將首先提出一個基于理論的概念推理模型,以及解釋各種智能體(例如人)是怎么樣對應(yīng)于具

3、體的環(huán)境來激活觀點(由多個理論來組成)的,而這些觀點就是使用概念推理時所要調(diào)用的.本文所說的理論是代表事實和規(guī)則的集合,無論是嚴(yán)格的還是容錯性的.每個理論都會組織成內(nèi)在的觀點,本文所說的觀點就代表著智能體的思維形態(tài)或者一個智能體相對于另一個智能體的觀點而建立的模型.本文所指觀點是組織成層次性的.在某個觀點中,對于一個概念的理論是可以優(yōu)先于在另一個觀點中代表相同概念的理論的.哪個觀點優(yōu)先級更高就要根據(jù)上下文來判斷了.基于網(wǎng)頁本體語言的容錯