基于有序標(biāo)簽演算的R-MUPS算法

　　 通過定義不可滿足概念間的覆蓋關(guān)系發(fā)現(xiàn)MUPS和MIPS之間的內(nèi)在關(guān)聯(lián)，從而引出不可滿足概念的R-MUPS;給出并證明不一致本體術(shù)語集中至少存在一個不可滿足概念的R-MUPS就是該術(shù)語集的MIPS;利用這一結(jié)論，提出基于有序標(biāo)簽演算的R-MUPS算法，采用深度優(yōu)先遍歷原則合并分支計算R-MUPS，同時緩存覆蓋概念集合，加快MIPS的求解，實現(xiàn)本體調(diào)試，通過概念擴展樹與概念R-MUPS算法的等價性，證明算法的正確性并分析其復(fù)雜度．最后，利用自動生成本體、現(xiàn)實本體及其擴建本體的數(shù)據(jù)進(jìn)行全面測試．實驗結(jié)果表明：基于R-MUPS的MIPS求解方法能夠高效、準(zhǔn)確地完成本體調(diào)試任務(wù)．