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

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

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

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