吉林大学学报(工学版) ›› 2014, Vol. 44 ›› Issue (6): 1757-1763.doi: 10.13229/j.cnki.jdxbgxb201406034

• • 上一篇    下一篇

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

欧阳丹彤1, 2, 苏静1, 2, 叶育鑫1, 2, 3, 崔仙姬1, 2   

  1. 1.吉林大学 计算机科学与技术学院,长春 130012;
    2.吉林大学 符号计算与知识工程教育部重点实验室,长春 130012;
    3.吉林大学 国家地球物理探测仪器工程技术研究中心,长春130026
  • 收稿日期:2014-06-29 出版日期:2014-11-01 发布日期:2014-11-01
  • 通讯作者: 叶育鑫(1981-),男,讲师.研究方向:语义Web,自动推理.E-mail:yeyx@jlu.edu.cn
  • 作者简介:欧阳丹彤(1968-),女,教授,博士生导师.研究方向:基于模型诊断,语义Web.E-mail:
  • 基金资助:
    国家自然科学基金重点项目(61133011); 国家自然科学基金面上项(41172294,61170314,61272208); 吉林省科技发展计划项目青年基金(201201011)

Local pinpointing of ontology debugging based on model-based diagnosis

OUYANG Dan-tong1, 2, SU Jing1, 2, YE Yu-xin1, 2, 3, CUI Xian-ji1, 2   

  1. 1.College of Computer Science and Technology, Jilin University, Changchun 130012,China;
    2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012,China;
    3.National Engineering Research Center of Geophysics Exploration Instruments, Jilin University, Changchun 130026, China
  • Received:2014-06-29 Online:2014-11-01 Published:2014-11-01

RICH HTML

0   

PDF (PC)

410

摘要： 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。

关键词: 本体调试, 定位, 最小不可满足保持子术语集, 极小不一致保持子集

Abstract: We introduce the model-based diagnosis into local pinpointing of ontology debugging. The concept of MUCS is given on the basis of component terminology definition to achieve the local debugging on terminology. We take the advantage of MUCS to pinpoint the logical errors of unsatisfiable concept to the axiom interior, which is independent of the existing ontology debugging. One MUCS for an unsatisfiable concept is calculated by calling an external DL reasoner, and all MUCSs are obtained by combing the principal of breath-first with hitting set theory of Reiter. Finally, the realistic ontology is used to conduct a comprehensive test of the MUCS algorithm. Experimental results show that the MUCS debugging algorithm could point out the local position of logical conflict in an axiom specifically, and efficiently and accurately complete the ontology debugging task.

Key words: ontology debugging, pinpoint, mininal unsatisfiability preserving sub-TBox, mininal incoherence-preserving sub-TBoxes

中图分类号: 

  • TP181
[1] Meyer T, Lee Kevin, Booth R,et al. Finding maximally satisfiable terminologies for the description logic ALC[C]∥In: Proceedings of the 21st National Conference on Artificial Intelligence(AAAI-2006)Boston Massachusetts,2006,2:269-274.
[2] Schlobach S, Cornet R. Non-Standard reasoning services for the debugging of description logic terminologies[C]∥In: Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI-03),Acapulco,Mexico,2003:355-360.
[3] Schlobach S, Huang Zhi-sheng, Cornet Ronald, et al. Debugging incoherent terminologies[J]. Journal of Automated Reasoning, 2007, 39(3): 317-349.
[4] Kalyanpur A, Parsia B, Sirin E, et al. Debugging unsatisfiable concepts in OWL ontologies[J]. Journal of Web Semantics, 2005, 3(4): 268-293.
[5] Kalyanpur A, Parsia B, Horridge M, et al. Finding all justifications of OWL DL entailments[J]. Lecture Notes in Computer Science, 2007, 4825: 267-280.
[6] Baader F, Pealoza R. Automata-based axiom pinpointing[C]∥In: Proceedings of 4th International Joint Conference on Automated Reasoning,Sydney,Australia,2008, 226-241.
[7] Schlobach S. Diagnosing terminologies[C]∥In: Proceedings of the 20th national conference on Artificial intelligence(AAAI-05),Pittsburgh,Pennsylvania,2005, 670-675.
[8] Reiter R. A theory of diagnosis from first principles[J]. Artificial Intelligence, 1987, 32(1): 57-95.
[9] 欧阳丹彤, 欧阳继红, 程晓春,等. 基于模型诊断中计算碰集的方法[J].仪器仪表学报,2004,25(4): 605-608. Ouyang Dan-tong, Ouyang Ji-hong, Cheng Xiao-chun,et al.A method of computing hitting set in model-based diagnosis[J]. Chinese Journal of Scientific Instrument,2004,25(4):605-608.
[10] Friedrich G, Shchekotykhin K. A general diagnosis method for ontologies[C]∥In: Proceedings of the 4th Iinternational Conference on The Semantic Web,Galway,Indand,2005:232-246.
[11] Shchekotykhin K, Friedrich G, Philipp F, et al. Interactive ontology debugging: two query strategies for efficient fault localization[J]. In Journal of Web Semantics, 2012, 12(13): 88-103.
[12] Haase P, Qi Gui-lin. An analysis of approaches to resolving inconsistencies in DL-based ontologies[C]∥In: Proceedings of the International Workshop on Ontology Dynamics (IWOD-07),Innsbruck,Austria,2007:97-109.
[1] 王柯, 刘富, 康冰, 霍彤彤, 周求湛. 基于沙蝎定位猎物的仿生震源定位方法[J]. 吉林大学学报(工学版), 2018, 48(2): 633-639.
[2] 江海宇, 刘玉海, 孙海林, 徐克彬, 白田增, 陈祖斌. 微地震地面监测层状起伏速度模型校正算法[J]. 吉林大学学报(工学版), 2017, 47(6): 1969-1975.
[3] 鄢永耀, 刘伟, 付锦江. 高定位精度转台检测系统调整误差补偿[J]. 吉林大学学报(工学版), 2017, 47(3): 855-860.
[4] 万成彪, 潘孟春, 张琦, 庞鸿锋, 朱学军. 基于张量特征值和特征向量的磁性目标定位[J]. 吉林大学学报(工学版), 2017, 47(2): 655-660.
[5] 卢英, 王慧琴, 秦立科. 高大空间建筑火灾精确定位方法[J]. 吉林大学学报(工学版), 2016, 46(6): 2067-2073.
[6] 孙晓颖, 刘壮, 秦宇镝, 刘妍妍. 可硬件系统实现的多频近场源定位方法[J]. 吉林大学学报(工学版), 2016, 46(6): 2080-2086.
[7] 刘洲洲, 王福豹. 改进的离散混合蛙跳算法压缩感知信号重构及应用[J]. 吉林大学学报(工学版), 2016, 46(4): 1261-1268.
[8] 许杰, 戚大伟. 基于改进加权质心和UKF的移动目标定位算法[J]. 吉林大学学报(工学版), 2016, 46(4): 1354-1359.
[9] 于生宝, 苏发, 何建龙, 郑建波. 多功能电磁法仪器同步系统的设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 146-152.
[10] 陈增强， 国峰， 牛攀峰， 张青. 加入虚拟标签的射频识别室内定位算法[J]. 吉林大学学报(工学版), 2015, 45(6): 1887-1894.
[11] 张超, 卢韶芳, 周付根. 眼部特征自动检测定位方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1717-1723.
[12] 黄继鹏，孙露，乔双，孙佳宁. 基于层次策略的新型快速车牌定位方法[J]. 吉林大学学报(工学版), 2015, 45(2): 639-644.
[13] 刘红，孙爽滋，王庆元，李延忠. 基于PSO的模拟电路故障信息特征提取[J]. 吉林大学学报(工学版), 2015, 45(2): 675-680.
[14] 燕学智, 陈磊, 刘国红, 刘妍妍. 远近场混合循环平稳信源定位方法[J]. 吉林大学学报(工学版), 2014, 44(5): 1474-1480.
[15] 刘坤, 韩宣, 刘政. 基于可穿戴传感系统的人体肢段定位动态评估[J]. 吉林大学学报(工学版), 2014, 44(4): 1016-1023.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 《吉林大学学报(工学版)》编辑部
地址：长春市人民大街5988号　电话：+86-431-85095297　传真：+86-431-85094074　E-mail: xbgxb@jlu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发