首页 | 本学科首页   官方微博 | 高级检索  
     

不协调本体调试与修复的冲突路径优化策略
引用本文:张瑜,欧阳丹彤,叶育鑫.不协调本体调试与修复的冲突路径优化策略[J].软件学报,2018,29(10):2948-2965.
作者姓名:张瑜  欧阳丹彤  叶育鑫
作者单位:吉林大学 计算机科学与技术学院, 吉林 长春 130012;吉林大学 符号计算与知识工程教育部重点实验室, 吉林 长春 130012,吉林大学 计算机科学与技术学院, 吉林 长春 130012;吉林大学 符号计算与知识工程教育部重点实验室, 吉林 长春 130012,吉林大学 计算机科学与技术学院, 吉林 长春 130012;吉林大学 符号计算与知识工程教育部重点实验室, 吉林 长春 130012
基金项目:国家自然科学基金(61672261,61502199)
摘    要:本文以基于黑盒法的不协调本体调试与修复技术为研究对象,分析了黑盒法及其优化方法在调试过程中所存在的问题.针对这一问题,提出了一种基于冲突路径的调试与修复策略,证明了该策略能够正确构造出与基本冲突模式相对应的冲突路径.将黑盒法调试目标限定在与该冲突路径相关的冲突集上,以此降低调试目标的规模从而提高调试的效率.进而根据构造出的冲突路径,获得不可满足依赖路径并基于该路径制定出不可满足概念的修复策略.理论证明与实验结果证实了所提出的调试与修复策略的正确性与有效性.

关 键 词:不协调本体  本体调试  本体修复  冲突路径  不可满足依赖路径
收稿时间:2017/7/20 0:00:00
修稿时间:2017/11/8 0:00:00

Debugging and Repairing Incoherent Ontologies Based on the Clash Path
ZHANG Yu,OUYANG Dan-Tong and YE Yu-Xin.Debugging and Repairing Incoherent Ontologies Based on the Clash Path[J].Journal of Software,2018,29(10):2948-2965.
Authors:ZHANG Yu  OUYANG Dan-Tong and YE Yu-Xin
Affiliation:College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China,College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China and College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China
Abstract:This study focuses on the debugging and repairing techniques for the incoherent ontology based on the black-box method and discusses the limitations of the existing black-box methods and their optimizations. To solve this problem, we propose a new strategy called clash path for debugging and repairing incoherent ontology. This strategy can construct the clash path related to the basis clash models and then identify the clash set based on the clash path. In this case, deubgging can be rapidly performed based on the clash set because of the clash set is smaller than the original ontology. In addition, the unsatisfiable dependent path can be identified from the clash path and the repair set can be easily obtained on the basis of the unsatisfiable dependent path. The theoretic proofs and experimental evaluation demonstrate that our debugging and repairing strategies are correct and efficiency.
Keywords:incoherent ontology  ontology debugging  ontology repairing  clash path  unsatisfiable dependent path
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号