基于语义Web的开放知识管理系统中的本体修正与

基于语义Web的知识管理系统中的本体演化研究 研究内容： 根据本体演化目前的研究进展及其演化过程，主要从以下几个方面展开研究： 变化描述的形式化以及基于逻辑强化学习的演化策略研究：如何将捕获的变化以某种形式化表示出来，并将此描述转化为描述逻辑的更新问题；根据变化要求采用逻辑强化学习指导下的变化策略选择。 本体调试研究：本体调试主要是在语义变化阶段，以保证变化后的本体一致性。将本体演化研究转换为描述逻辑系统的更新问题，主要是基于Tableau的本体诊断算法和自动修复算法研究，以及基于自动机（Automata）公理侦测（Axiom Pinpointing）算法，并探讨两者的结合机制，提出新的高效率的本体诊断和修复算法，以提供自动化本体修正服务。 本体协同演化及其变化传播算法：如何将执行的变化传播给所依赖它的相关实体，以保证一致性。 关键词： 语义Web 描述逻辑 本体演化 一、立项依据和目标1、本课题研究意义及同类研究工作国内外研究现状、知识产权状况与存在问题，并列出主要参考文献Web是一个开放、动态变化的环境，作为其基础的本体(Ontology)也需要及时适应环境的变化而进行改进。本体是领域共享概念模型的规范化说明[1]，是信息的载体，它随着领域、时间以及应用环境等的变化而不断发生着变化和演变。在本体的发展过程中所遇到的困难之一就是如何维护经常处于变化之中的本体，这已经引起许多学者及研究机构的兴趣与重视。本体变化管理方面的研究对基于本体为核心的语义Web技术的应用将会产生深刻的影响和推进作用，特别是在知识的共享，知识管理系统，信息检索，企业间数据交换以及语义Web Service等方面的应用。 本体变化是指对本体修改做出决定以应对某一变化的需求，以及执行这些修改后，针对与之关联的数据、服务、应用程序、代理或者其他因素管理修改后的影响[2]。目前，关于本体变化的研究散见于多个子领域，出现了许多术语，例如：本体演化（Evolution）、调试(Debugging)、映射（Mapping,）、匹配（Matching）、翻译（Ttranslation）、版本（Versioning）、集成（Integration）与合并（Merging）等。上述研究内容分别针对不同的需求对本体改变进行了不同侧重的研究。这些领域是紧密相互关联的，有着许多共同的要素和子任务。本项目着重研究本体演化以及与其紧密相关的本体调试。 本体演化是指本体对所出现的变化做出及时调整，并把这些变化一致的传播给所依赖它的实体。具体的演化过程没有一个严格的界定，只要能维护本体对变化的自适应改变，则都是可行的演化管理方案。为了简化问题的复杂性，Stojanovic等[3]将本体演化划分为六个阶段：变化的捕获、变化的表示、语义的变化、变化的传播、变化的实现、变化的确认。目前本体演化方面的成果除了从支持演化过程的本体编辑工具得以体现外，Haase等[4]也对此做了系统的介绍和比较。Protégé[5]是最常用的本体设计和创建工具之一，同时也经常用于本体演化和管理。OilEd [6] 也是一个常用于支持本体演化的本体编辑器，与Protégé不同，从某种意义上OilEd更加严格，它不允许在本体中产生矛盾的变化（如不一致与不连贯），而是采取措施消除这些矛盾。另外，与Protégé比，它提供了较少的更新操作的功能。有些工具，如KAON [7]和OntoStudio(以前的OntoEdit [8])，用户可以预定义一些演化策略，控制间接变化（波及效应，side-effect）的确定，这样允许工具计算波及效应，自动实现一些需要的变化。在这方面，OntoStudio提供了更多的参数化选择，但是比KAON使用了更严格的模型，并且少了一些操作。 目前大部分可用的工具都试图模仿人的行为，使用某种启发式方法，没有完备的理论，没有规范的形式化，要求不同程度的人的干预工作，极大地依赖于开发者的技能。最近，许多学者将信念变化领域的一些成果应用于本体演化。Flouris等 [9]分析了知识库中信念变化与本体演化的相似性，认为如果将本体看作为一个知识库，本体演化与信念变化非常相似，这样就可以借鉴知识库中信念自动更新的优点，使得本体能够脱离人工干预而进行自动的演化。但是，信念变化的理论不能直接应用于本体演化，这是因为，在信念变化中，知识库是基于封闭世界假设的，而在语义Web环境中，本体基于开放世界假设，两种不同的世界假设导致了前者的理论无法直接应用到后者上来。Flouris等[10-13]对信念变化中的AGM理论[14]的假设进行了一些修定，使之能够适应于基于开放世界假设的本体知识库更新。Roger等 [15]提出了更新描述逻辑系统的语义，这与本体演化相关，因为描述逻辑是本体表示的最普遍的形式之一。近年来对