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