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

• 作者: 张永涛
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 本体调试 不一致本体 不可满足概念 公理分割 不一致本体精确调试
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 58-65
• 页数: 8页
• 分类号: TP3
• 字数: 9043字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2017.08.011

摘要

本体调试是解决本体不一致问题的主要手段.现有的本体调试方法能够求解出本体不一致性的一组冲突公理集合,删除这些公理可使本体恢复到一致状态.然而,简单地删除这些冲突公理不可避免地会造成本体信息的损失.为了解决这个问题,采用公理分割的思想,对冲突公理集合进行分割,基于分割后的公理集再次进行调试.该方法能够保留与不一致性无关的本体信息,从而避免了信息损失的情况发生.实验结果表明,在各种类型的实验本体上,所提出的精确调试算法在留存度与调试时间两方面都比类似相关的算法取得较好的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张永涛	商丘工学院信息与电子工程学院	10	54	2.0	7.0