开放环境下本体演化语义冲突的检测与诊断研究

本体演化是为适应变更而对本体做出的及时变更,并要保持变更后本体及其相关应用的一致性。纵观近年来本体演化研究,现有方法和工具大多以集中式环境为前提,但在Web这样开放的动态环境中显露出一些难于解决的问题,如全局知识、语义冲突和不可计算性等。开放环境下的本体演化客观上需要对一致性进行检测、定位和甚至是修复的非标准推理技术。 如何检测和诊断变更序列之间的语义冲突是开放环境下的本体演化面临的主要任务。本论文在总结本体演化研究现状的基础上,将深入研究本体一致性非标准推理方法,以及开放环境下多人修改本体条件下的变更序列语义冲突检测方法和冲突诊断方法。本论文主要包含以下几部分研究内容： (1)提出一种基于Alloy的本体一致性非标准推理方法。该方法首先对本体文件进行解析,提出转换算法,再以解析结果作为输入,生成用Alloy语言描述的本体模型,根据模型的推理结果对本体的一致性进行判断。该方法能够弥补现有方法不能进行ABox推理的不足,并且对于不满足一致性推理的本体能够给出反例,为查找不一致问题的根源提供依据。 (2)提出一种改进的基于SAT的本体一致性非标准推理方法。这种方法首先定义一种基于逻辑的中间语言,并给出OWL本体语言与中间语言之间的转换规则,最后将SAT求解器计算的实验数据与已有方法进行对比,说明该方法支持更大规模的本体推理。对于找不到可满足解的本体,通过计算最小不可满足集来查找不可满足的原因。 (3)提出开放环境下本体演化变更序列的冲突检测算法。本研究内容在定义本体演化的基本概念和关系的基础上,对开放环境下本体变化序列之间的冲突进行研究讨论。提出冲突分类、冲突检测方法。这种方法按照冲突产生的范围将冲突分为序列内部的不一致冲突、变更序列之间的直接冲突和序列之间的不一致冲突。针对不同的冲突类型分别给出不同的冲突检测算法,并证明算法的正确性。该方法不仅能够检测出冲突,而且能在出现冲突的情况下找到最大一致变更子序列,保证演化的顺利进行。 (4)提出开放环境下本体演化变更序列语义冲突诊断算法。方法中引入冲突变更序列矩阵、冲突序列集合、最小碰集序列等概念,对本体演化中的变更序列进行描述,进一步计算最小碰集序列集合。再引入贝叶斯概率公式计算最小碰集序列集合中概率,进而进行排序,用排序结果表示最小碰集序列集合中的最小碰集序列导致冲突的可能性。 (5)设计并实现一个支持开放环境下本体演化的原型系统。该系统能够对开放环境下变更序列内部与变更序列之间的冲突进行检测,并针对语义冲突进行冲突诊断,保证本体演化的顺利进行。更进一步,能够对变更后的本体进行一致性检测,保证演化本体的正确性。