基于圖的DL-Lite本體不一致性處理方法的研究.pdf

1、互聯(lián)網(wǎng)的高速發(fā)展帶來了海量的數(shù)據(jù)，其中大量的非結(jié)構(gòu)和半結(jié)構(gòu)的數(shù)據(jù)不利于自動化處理。語義Web為計算機能夠理解的結(jié)構(gòu)化數(shù)據(jù)提供了技術(shù)支持，促進了人機協(xié)同工作。作為語義Web技術(shù)的重要組成部分，基于描述邏輯的本體語言O(shè)WL為其提供了嚴(yán)謹(jǐn)?shù)倪壿嫽A(chǔ)。在描述邏輯的語言體系中，DL-Lite能提供多項式時間內(nèi)的推理服務(wù)，同時又具備UML以及E-R模型的表達能力。DL-lite下的應(yīng)用受到了學(xué)術(shù)界以及工業(yè)界的廣泛關(guān)注。
　　在實際應(yīng)用中，本體

2、的構(gòu)建與維護是一項復(fù)雜的過程。此過程常導(dǎo)致本體出現(xiàn)不一致性問題，從而使得標(biāo)準(zhǔn)推理服務(wù)失效。因此本體中的不一致性是本體工程中必須要處理的一類問題。針對本體中的不一致性問題，通常有兩種處理方法，一是找出并消除本體中的不一致;二是應(yīng)用非標(biāo)準(zhǔn)的推理方法，在不一致存在的情況下實現(xiàn)有意義的推理。本文重點關(guān)注DL-Lite中的不一致性問題并且結(jié)合以上兩種方法開展工作。具體內(nèi)容如下:
　　(1)在本體調(diào)試方面，提出了一種基于圖的本體調(diào)試方法。將D

3、L-Lite本體轉(zhuǎn)換成有向圖，通過路徑遍歷的方式來計算本體中的最小不可協(xié)調(diào)保持子集。基于圖的調(diào)試方法擺脫了對描述邏輯推理機的依賴，對比實驗結(jié)果表明新的方法有更高的執(zhí)行效率和穩(wěn)定性。
　　(2)在本體修正方面，提出了一種基于圖的修正方法。新的修正方法首先通過修正狀態(tài)將不一致本體劃分成保留部分和待判別部分。在修正狀態(tài)的基礎(chǔ)上定義出一種新的滿足最小改變原則的修正算子。本文采用兩種方式實現(xiàn)了新的修正算子，一種是基于評分函數(shù)的，另一種基于碰

4、集樹的方法。從對比實驗結(jié)果來看，基于評分函數(shù)的修正方法執(zhí)行效率要高于基于碰集樹的修正方法。
　　(3)在不一致容忍語義方面，定義了兩種新的不一致容忍語義。新定義的不一致容忍語義與經(jīng)典的不一致容忍語義相比避免了計算整個ABox關(guān)于TBox的閉包，同時保證了原語義的表達能力，有效地提高了不一致容忍下推理服務(wù)的效率。
　　(4)在不一致查詢應(yīng)答方面，提出了一種基于不一致容忍語義的查詢方法，新的查詢方法將本體和查詢分別以不同的規(guī)則轉(zhuǎn)