基于描述邏輯的知識(shí)更新的研究.pdf

1、描述邏輯是語義Web的邏輯基礎(chǔ),它為本體的知識(shí)表達(dá)、邏輯推理等提供必要的理論依據(jù)。隨著Web中本體數(shù)量與規(guī)模的增加,如何對(duì)這些本體進(jìn)行更新和維護(hù)成為一個(gè)亟待解決的問題。由于語義Web的分布性和開放性,往往需要在開世界假設(shè)下對(duì)本體知識(shí)進(jìn)行更新。Hongkai Liu等人指出在開世界假設(shè)下經(jīng)典描述邏輯ALCO等不具備更新的封閉性,而將@操作符引入描述邏輯后的ALCO@具有更新的封閉性。本文以描述邏輯ALCO@為研究對(duì)象,借鑒STRIPS系統(tǒng)

2、的思路,對(duì)開世界假設(shè)下知識(shí)的更新進(jìn)行了研究,主要工作如下:
　　 (1)將確定集和沖突集的概念引入更新過程,并在Tableau算法的基礎(chǔ)之上給出了確定集和沖突集的生成算法,進(jìn)而給出了適用于開世界假設(shè)的Abox更新算法。該算法將更新過程中導(dǎo)致系統(tǒng)不一致的斷言單獨(dú)進(jìn)行處理,避免了對(duì)每個(gè)斷言的更新都去分解原知識(shí)庫的斷言;
　　 (2)對(duì)沖突集生成算法和更新算法進(jìn)行了復(fù)雜性分析,并在此基礎(chǔ)上對(duì)算法進(jìn)行了可終止性證明;