本体演化中的冲突检查及冲突解决方法研究

作为语义Web的核心技术平台,本体已经应用到社交,农业,商业等多个领域。已经有很多开放平台将本体语义开放给众多的普通用户进行编辑,这样做的好处是可以利用公众力量快速的实现本体容量的增加,加快信息数据的积累。但同时,也催生了一些亟待解决的问题,本体演化就是其中之一。在共同协作的本体环境中,众多的用户基于其自身的不同理解和知识局限,会在同一本体库中添加局部冲突或者完全相反的意见,这样就造成了本体库中的知识冲突。 在本体演化中,知识冲突的解决是最重要的环节,知识冲突通过融合,消减等方式使本体库在某一时间点处于一种和谐的状态,并且将新的信息添加入本体,使本体从旧的版本更新为新的版本。 本文首先对整个本体演化的架构进行了探讨,并且基于此架构进而讨论本体冲突的发现(冲突检查)和冲突的解决。本文使用一种冲突形式化定义的方法对本体冲突进行精确定义,然后系统通过形式化定义进行冲突检查,这种方法可以保证冲突检查的稳定性和准确率,从而避免了其它一些方法中产生的冲突检查结果的不确定性。本文将针对冲突检查,给出详细的解决方案和算法流程。本文的冲突解决方案使用人工和自动相结合的方式,引入自动解决方法。本文通过量化的方法给出了冲突自动解决的算法。 基于上述的方法,分别实现了本体构建工具,冲突解决系统,冲突融合系统。