基于互补概念和搜索图的MUPS求解优化方法
作者:
作者单位:

作者简介:

崔仙姬(1986-),女,吉林图们人,博士,讲师,CCF专业会员,主要研究领域为语义Web,自动推理;何加亮(1977-),男,博士,讲师,主要研究领域为物联网,移动互联网应用;张俊星(1969-),男,博士,教授,主要研究领域为民族信息处理;高健(1983-),男,博士,副教授,CCF专业会员,主要研究领域为人工智能,约束求解.

通讯作者:

张俊星,E-mail:zhangjunxing@dlnu.edu.cn

中图分类号:

基金项目:

国家自然科学基金(61402070);辽宁省自然科学基金(2015020023)


Optimization of MUPS Calculation Based on Complementary Concepts and Search Graph
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61402070); Natural Science Foundation of Liaoning Province of China (2015020023)

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

    本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满足性检测,可以有效减少推理机的调用次数.接着,根据术语集扩展过程构造一个术语集搜索图,分别采用宽度优先搜索和深度优先搜索策略快速查找不可满足子术语集.该优化方法一方面减少了待测子术语集的规模,另一方面提高了查找不可满足子术语集对应的节点的查找效率.最后,实现了所给出的各类优化算法并与现有的黑盒优化算法进行了比较.实验结果表明,该方法从推理机调用次数和待测术语集规模方面均优于现有的MUPS求解方法,能够有效提高求解术语集MUPS的效率.

    Abstract:

    Ontology debugging is one of the non-standard reasoning tasks in artificial intelligence, and is important for ontology engineering. In this work, the complementary concepts and search graph are combined to optimize the calculation of minimal unsatisfiability preserving sub-TBox (MUPS) for the unsatisfiable concepts. Firstly, the necessity of checking the satisfaction of the concept for the expanded terminology is determined by whether it contains the complementary concepts to reduce the number of calling reasoners to some extent. Then, a search graph is constructed according to the terminology expanding process to quick search the node which is corresponding to the unsatisfiable sub-terminologies by breadth-first-search and depth-first-search strategies. This optimization reduces the number of axioms in terminologies to be checked, and it also improves the searching efficiency of the nodes corresponding to the unsatisfiable sub-terminologies. Finally, the optimized algorithms are realized and compared with existing black box algorithm. The experimental results show that the proposed method is superior to existing MUPS calculation in the calling number of reasoners and the number of axioms in the terminologies, which may effectively improve the efficiency of MUPS calculation.

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

崔仙姬,何加亮,张俊星,高健.基于互补概念和搜索图的MUPS求解优化方法.软件学报,2018,29(10):2995-3008

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • 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号