语义web中基于描述逻辑的多知识库整合分析-analysis of multi-knowledge base integration based on description logic in semantic web.docxVIP

摘要自从 1998 年语义 Web 的理念和体系架构被提出后，这个被称为下一代 Web 的技 术受到广泛关注，在近十几年，研究者对相关层面上的知识表示、推理、存储方式等 进行深入研究，并逐渐地将相关领域内的技术思想和研究成果运用到语义 Web 的开发 和实际应用。语义 Web 开发的核心技术之一是构建具有逻辑推理功能的知识库，它已经在互联 网上得到广泛的应用，尤其是为语义 Web 提供语义信息，实现 Web 信息的自动处理。 知识库的分散式、单一化的特性导致知识库之间构建标准不统一、数据不一致、信息 交互困难以及“信息孤岛”等问题，从而严重影响机器自主推理能力，降低语义 Web 的智能化效果。为了有效解决上述问题，并考虑如何维护知识库的正确性及有效组织 推理规则进行逻辑推理以最大化地满足语义 Web 所需要的隐含信息，知识库整合技术 的研究在语义 Web 领域中具有重要意义。目前，语义 Web 下的多知识库整合需要人工参与大部分工作，而其过程又是单调 的重复性工作。基于此点，本文针对语义 Web 中描述逻辑构建的多知识库整合进行较 为全面的分析与研究。本文的主要贡献如下：(1)实现知识库的逻辑推理功能。证明了描述逻辑中的所有推理问题都可转化为可 满足性关系和目标的一致性检测关系，并给出两种关系的变形规则，理论证明显示变 形后的规则更适合于知识库的逻辑推理。(2)提出一种基于最小概念集的多 TBox 整合方法及其算法。设计最小概念集生成 算法，利用并改进 RiMOM(Risk Minimization based Ontology Mapping)模型中的映射策 略，构建 TBox 间映射图，最后将若干个局部 TBox 整合成一个全局 TBox。仿真结果 显示该整合方法性能良好。(3)提出一种分割与关联的多 ABox 优化技术及算法。通过构建子 ABox 图来分割 ABox，根据连通图判定算法判定子 ABox 图间相互依赖关系，通过数据描述法关联存 有依赖关系的子 ABox。仿真结果显示该优化方法大幅度提高检索效率。(4)设计一款自动化的多知识库整合查询系统 MKBMQS (Multiple Knowledge Bases Merge and Query System), 并设计整合后 TBox 和 ABox 上的查询算法。通过工程 应用实例，利用设计好的查询算法，该系统可验证文中的整合技术是可行的。关键词 语义 Web；描述逻辑；多知识库；整合AbstractSince 1998 the concept of semantic web and architecture has been proposed, the next generation of web technology known as widespread concern, in the recent ten yeas, researchers have done in-depth study on the relevant level of knowledge representation、reasoning、storage method etc and make related the field of technical ideas and research results gradually apply to the development and practical application of semantic web.One of the core technology of semantic web development is to build knowledge base with logic inference, it has been widely used on the Internet, especially for the semantic web to provide semantic information and achieve automatic processing of web information.Single and dispersed knowledge bases characteristics lead to the building standards are not uniform、data inconsistencies、difficulties in information exchange and “the information islands” and other issues between knowledge bases, which seriously affects the abilit