语义网(Semantic Web)是当前网络的扩展,在语义网中信息都被赋予了明确的含义,使得人机交互处理更加容易。本体(Ontology)通过提供了共享资源和定义了描述网络资源的精确术语而成为语义网应用中的关键。随着人们认识的不断提高,本体的数量不断增多,规模不断增大。然而,随着本体的构建目的不同、构建方法不同、表述方式不同,不同的本体具有不同的推理能力,这给本体的集成、推理、查询和维护带来巨大的困难。如何实现本体知识的共享和重用成为人工智能领域的研究热点。描述逻辑(Description Logics,DL)是本体表示语言(Web Ontology Language,OWL,万维网组织推荐)的数学基础,OWL的表达能力直接由支持它的DL决定。OWL为合并本体提供的唯一方式是owl:imports构造子,它允许通过引用本体来包括分布在网络上的那个知识库的所有公理,这样仅提供了语法层次的模块化,而非逻辑上的模块化,而后者在现实中更加有意义。E-Connections是用于合并其他逻辑形式的框架逻辑,它最主要的特色是有很强的计算能力。从建模的角度看,用E-Connection连接的每个本体都是在不同的应用域上的模型,而E-Connection本身是这些域的并集。本文提出了一个基于E-Connections理论的本体集成框架和一系列相关的算法,设计并实现了一个原型系统(E-Connections based Ontology Integration System,EBOIS)。本文的目的是提供一种模块化本体集成的新方法和工具。实验结果表明本文的框架和算法是可行的,也是有效的。