本体是对特定领域概念及其关系的清晰描述,它可作为不同信息系统之间信息交换的基础。然而,由于信息系统是由不同组织在不同时间和不同需求背景下开发的,因此,这些系统所依赖的本体之间不可避免存在异构性,这种异构性为不同系统之间的互操作带来了极大的障碍。为了解决这一问题,需要识别不同本体间存在的异构或冲突,然后根据识别结果,在本体间对等概念和关系上建立对应联系(即:本体映射)或进行不同本体间的合并(即:本体合并)。为了克服人工进行本体映射和本体合并中工作量大,效率低的问题,并满足在不确定环境下进行信息系统之间动态和实时互操作的要求,国内外已进行了许多关于自动(或半自动)本体映射、合并的研究,这些研究虽然已取得了很大的突破和进展,但在准确率和效率等许多方面与实际需求还有较大差距。本文从信息集成的实际出发,针对过去研究中存在的不足,就进一步提高本体映射和合并的准确率和效率进行了深入和广泛的研究,并同时展开了对映射及合并结果进行形式化校验的方法研究以验证这些结果逻辑上的正确性。本文的创新性工作可以归纳为下面几点:(1)提出了模糊化的相似度表示方法本体概念的特征信息一般分为两类:文本特征信息(名称和实例等),结构特征信息(对象属性、分类关系及依赖函数关系等)。在传统本体映射中,本体概念间的相似度计算,一般是通过基于不同文本特征信息的多个相似度中间结果的复合叠加、多种结构特征信息的顺序迭代或者两者综合等方法来实现,其相似度结果(中间结果或最终结果)均为单一数值,并以该数值(最终结果)来判别两个概念是否相似。由于概念间的相似度本身存在着固有的模糊特性(所谓模糊特性是指两个概念间的相似度以一定的概率密度函数分布于某一数值区间),因此,在映射计算过程中,如果过早用确定数值代替概率密度函数来描述相似度,将可能丢失一些可用于后续决策的信息,从而加大决策(映射)的风险。此外,对于本体的两类特征信息,许多传统方法采用了“先按文本信息进行映射,再用结构信息完成校验迭代”的串行手段来进行处理,其中,基于结构信息的迭代是以基于文本信息的映射结果为先验知识而进行的,从而有可能过于强化了文本信息的作用弱化了结构信息对相似度计算的贡献。为了解决这两个问题,本文引入了模糊相似度,提出了基于各类特征信息的不同相似度的模糊化表示方法,从而在概念相似度的计算过程中引入了模糊特性,进而既避免了过早对相似度模糊特性做出裁决的风险,又使文本和结构信息能并行参与映射计算,提高了匹配效果。(2)提出了基于属性值联合分布的映射方法概念中的实例信息可用于本体映射,传统的基于实例的本体映射方法一般是将实例中的数值属性取值直接合并为长文本信息。这种方法简单地假定概念的各个数值属性是完全独立的,而没有考虑它们之间可能存在的对应概率依赖关系。因此,该方法未能充分利用概念中与实例有关的重要信息,影响了映射结果的准确性。为此,本文提出了一种能有效利用上述关系的基于实例属性值联合分布的映射方法,提高了映射效果。此外,在实际应用中,本体概念的表达经常会发生变更(如:添加或删除属性),这就导致了更改后的概念表达与原有概念实例对应属性集之间的冲突,因此,相关本体概念匹配过程中经常会出现某些实例属性值缺失的现象,这直接影响了属性值联合分布计算的准确性。为此,本文引入粗糙集理论来拟合属性值缺失的样本实例空间,提高了基于属性值联合分布的映射效果。(3)提出了新型的本体合并结果及映射结果的形式化校验方法在本体合并和映射过程中,一般会产生一系列本体合并结果(新本体)和映射结果,为了保证这些结果在逻辑上的正确性,则需对其进行形式化校验。目前,有关本体模型的形式化校验很多是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利用,且对于本体映射结果校验目前也没有系统有效的形式化方法。为此,本文引入面向对象中的OCL(Object Constraint Language)规则,并针对本体应用环境进行了相应扩展,实现了本体模型结构及约束、映射约束规则等逻辑描述的形式化表示,进而提出了采用本体定义元模型和映射元模型来辅助进行形式化校验的方法。