基于有序標(biāo)簽演算的R-MUPS算法
大?。?/span>0.82 MB 人氣： 2018-01-24 需要積分：1
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
標(biāo)簽：
通過(guò)定義不可滿足概念間的覆蓋關(guān)系發(fā)現(xiàn)MUPS和MIPS之間的內(nèi)在關(guān)聯(lián)，從而引出不可滿足概念的R-MUPS;給出并證明不一致本體術(shù)語(yǔ)集中至少存在一個(gè)不可滿足概念的R-MUPS就是該術(shù)語(yǔ)集的MIPS;利用這一結(jié)論，提出基于有序標(biāo)簽演算的R-MUPS算法，采用深度優(yōu)先遍歷原則合并分支計(jì)算R-MUPS，同時(shí)緩存覆蓋概念集合，加快MIPS的求解，實(shí)現(xiàn)本體調(diào)試，通過(guò)概念擴(kuò)展樹(shù)與概念R-MUPS算法的等價(jià)性，證明算法的正確性并分析其復(fù)雜度．最后，利用自動(dòng)生成本體、現(xiàn)實(shí)本體及其擴(kuò)建本體的數(shù)據(jù)進(jìn)行全面測(cè)試．實(shí)驗(yàn)結(jié)果表明：基于R-MUPS的MIPS求解方法能夠高效、準(zhǔn)確地完成本體調(diào)試任務(wù)．
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%