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

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

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

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

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