极小不一致保持子集相关硕士博士期刊学术论文 - 搜论网

极小不一致保持子集相关论文

基于模型诊断的本体调试局部定位

将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用......

期刊

本体调试定位最小不可满足保持子术语集极小不一致保持子集 ontology debugging pinpoint mininal unsatisfiabil

看过本文同时还关注