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

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