不一致本体精确调试的公理分割方法

来源 :计算机应用与软件 | 被引量 : 7次 | 上传用户:lingyuehqu2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本体调试是解决本体不一致问题的主要手段。现有的本体调试方法能够求解出本体不一致性的一组冲突公理集合,删除这些公理可使本体恢复到一致状态。然而,简单地删除这些冲突公理不可避免地会造成本体信息的损失。为了解决这个问题,采用公理分割的思想,对冲突公理集合进行分割,基于分割后的公理集再次进行调试。该方法能够保留与不一致性无关的本体信息,从而避免了信息损失的情况发生。实验结果表明,在各种类型的实验本体上,所提出的精确调试算法在留存度与调试时间两方面都比类似相关的算法取得较好的效果。
其他文献
针对文件分级保护中对完整性安全的需求,结合系统中主体间的信任关系,提出一种完整性增强的文件分级保护模型。模型在BLP模型的基础上进行扩展,为主体和客体设置标签进行访问授权,同时改进安全公理和状态转换规则,使得模型中的信息流动遵循标签的限制。最终对模型进行理论证明。该模型可以针对不同的文件授予不同的主体修改权限,并且限制了完整性污点的传播。经分析和应用表明,该模型不仅满足文件保护的多级机密性安全需求
【正】 随着美国近年来结核病发病的急剧增加,当病人出现特别顽固的耳部感染时医生应当考虑到耳部结核。纽约Cornell大学耳鼻咽喉科学系助理教授Samuel Selesnick医师称,当典
【正】 亚利桑那州的皮马印第安人正饱受肥胖症和糖尿病之苦,那里是全世界肥胖症和糖尿病发病率最高的地区之一:约近半数的皮马人40岁时要患糖尿病。但他们为什么有这么高的
在小学低年级音乐课堂教学过程中,民族打击乐器教学是非常重要的一个环节。其对于小学学生身心健康发展具有良好的帮助,特别是对于小学低年级学生而言。在现阶段小学低年级音乐
人力资源管理专业实践性比较强,该专业毕业的学生不但要求掌握扎实的理论知识,还应该有一定的实际运用能力,可以在一定程度上解决当前企业遇到的有关人力资源管理方面的具体问题
中复神鹰碳纤维有限责任公司“千吨级高强型、高强中模型干喷湿纺高性能碳纤维关键技术及产业化”项目,日前在江苏省连云港顺利通过鉴定,实现了干喷湿纺技术在我国的新突破。
从制约因素和有利因素两方面着手分析。通过对机采棉技术认识上的误区、个别技术环节不成熟、残膜混入问题、推广中资金不足,支持政策不连续、管理、技术人员不足等方面分析了
美、日等动漫强国在动漫成人化方面起步较早,已经形成了一个较为完善的成人动漫的产业链。近几年来,中国动漫产业发展迅速,动漫的成人化也取得了一定的发展,但依旧存在诸多的问题
分析了昌吉市农机化服务体系建设的现状及存在问题.提出了加快农机化服务体系建设的四项措施:即进一步优化改革环境,增加农机投入;稳定农机队伍,提高队伍素质;转变观念,牢固
随着当前新课程改革的不断推进,“核心素养”相关概念在高中地理教学中被提出,并且逐渐得到教师的重视,对于高中地理而言,核心素养包括学生掌握地理相关知识、方法及技能,以