基于有序標簽演算的R-MUPS算法
大小：0.82 MB 人氣： 2018-01-24 需要積分：1
標簽：
通過定義不可滿足概念間的覆蓋關系發(fā)現MUPS和MIPS之間的內在關聯(lián)，從而引出不可滿足概念的R-MUPS;給出并證明不一致本體術語集中至少存在一個不可滿足概念的R-MUPS就是該術語集的MIPS;利用這一結論，提出基于有序標簽演算的R-MUPS算法，采用深度優(yōu)先遍歷原則合并分支計算R-MUPS，同時緩存覆蓋概念集合，加快MIPS的求解，實現本體調試，通過概念擴展樹與概念R-MUPS算法的等價性，證明算法的正確性并分析其復雜度．最后，利用自動生成本體、現實本體及其擴建本體的數據進行全面測試．實驗結果表明：基于R-MUPS的MIPS求解方法能夠高效、準確地完成本體調試任務．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%