吉林大学学报(工学版) ›› 2014, Vol. 44 ›› Issue (6): 1757-1763.doi: 10.13229/j.cnki.jdxbgxb201406034
欧阳丹彤1, 2, 苏静1, 2, 叶育鑫1, 2, 3, 崔仙姬1, 2
OUYANG Dan-tong1, 2, SU Jing1, 2, YE Yu-xin1, 2, 3, CUI Xian-ji1, 2
摘要: 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。
中图分类号:
[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. |
|