【摘要】为了修正分层OWL(web ontology language)本体,通过定义新的冲突分层和基于整数线性规划(ILP)的切割函数扩展了核修正算子.基于ILP的模型考虑了最小化线性目标函数的优化问题,适合于修正本体时移除最少数量的公理.基于该切割函数,提出了一个修正算法,将ILP应用到所有最小的不协调保持子集(MIPS)上.该算法虽然能够经常找到用于移除的最少公理,但计算MIPS非常耗时.因此,又提出另一个改进的修正算法用于逐个处理不可满足概念.实验结果表明:提出的基于ILP的修正算法比经常使用的基于碰集树的算法更加高效;改进的修正算法能够达到更高的效率,但可能会删除更多的公理.
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《重庆与世界》 2015-07-06
《现代制造技术与装备》 2015-06-25
《中国果菜》 2015-07-08
《中外医疗》 2015-07-06
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点