不协调本体调试与修复的冲突路径优化策略
作者:
作者单位:

作者简介:

张瑜(1982-),男,河南信阳人,博士生,主要研究领域为语义Web,自动推理;欧阳丹彤(1968-),女,博士,教授,博士生导师,CCF高级会员,主要研究领域为模型诊断,语义Web,自动推理;叶育鑫(1981-),男,博士,副教授,CCF专业会员,主要研究领域为语义Web,自动推理.

通讯作者:

叶育鑫,E-mail:yeyx@jlu.edu.cn

中图分类号:

基金项目:

国家自然科学基金(61672261,61502199)


Debugging and Repairing Incoherent Ontologies Based on the Clash Path
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61672261, 61502199)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    以基于黑盒法的不协调本体调试与修复技术为研究对象,分析了黑盒法及其优化方法在调试过程中所存在的问题.针对这一问题,提出了一种基于冲突路径的调试与修复策略,证明了该策略能够正确构造出与基本冲突模式相对应的冲突路径.将黑盒法调试目标限定在与该冲突路径相关的冲突集上,以此降低调试目标的规模从而提高调试的效率.进而根据构造出的冲突路径,获得不可满足依赖路径并基于该路径制定出不可满足概念的修复策略.理论证明与实验结果均证实了所提出的调试与修复策略的正确性与有效性.

    Abstract:

    This study focuses on the debugging and repairing techniques for 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, the study proposes 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 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 the presented debugging and repairing strategies are correct and efficiency.

    参考文献
    相似文献
    引证文献
引用本文

张瑜,欧阳丹彤,叶育鑫.不协调本体调试与修复的冲突路径优化策略.软件学报,2018,29(10):2948-2965

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2017-07-20
  • 最后修改日期:2017-11-08
  • 录用日期:
  • 在线发布日期: 2018-02-08
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号