基于圖的DL-Lite本體調(diào)試和半自動修正.pdf

1、近年來，本體技術應用于越來越多的領域。然而，本體在演變及融合過程中，極易出現(xiàn)信息沖突的問題，進而導致本體不協(xié)調(diào)現(xiàn)象的發(fā)生，因此，本體調(diào)試和修正工作受到了本體領域相關研究者的廣泛關注?，F(xiàn)有的調(diào)試和修正算法主要存在以下幾個方面的問題:實際調(diào)試過程中會多次調(diào)用推理機，同時占用大量的內(nèi)存，這在處理海量數(shù)據(jù)時將變得十分困難，而修正時也會產(chǎn)生多類問題，比如丟失原始本體信息、修正結果超出了原始本體描述語言的表達能力等。
　　針對上述問題，本文通

2、過對DL-Lite本體特點的分析，給出了一種在本體和圖之間進行轉化的規(guī)則，并提出了一種基于圖的本體調(diào)試算法和半自動修正算法。具體而言，本文主要包括以下三個研究內(nèi)容:
　　1、提出了一種將DL-Lite本體轉化為有向圖的構建規(guī)則，并給出了本體和圖之間的等價性證明。在此基礎上，本文提出了基于圖的本體調(diào)試算法，具體包括基于圖的尋找不可滿足概念或者角色的算法、基于圖的尋找最小不可滿足子集(MUPS)的算法以及基于圖的尋找最小不協(xié)調(diào)公理集合

3、(MIPS)的算法。
　　2、提出了一種基于圖的本體半自動修正算法并給出了相關的理論基礎。該算法能夠將MIPS公理集合提供給用戶進行選擇，同時，在刪除公理之后，將不會導致本體不協(xié)調(diào)的蘊含信息重新加入到修正后的本體中，從而盡可能地減少本體信息的丟失。
　　3、基于上述算法，本文實現(xiàn)了一個本體調(diào)試和修正系統(tǒng)GODRS，并與其它相關的算法進行了對比實驗來驗證上述算法的效率和有效性。實驗結果表明基于圖的調(diào)試算法在計算效率和可伸縮性方