在Web上引入本体,可以有效地解决Web应用中不同领域间信息共享的问题。但是本体的引入也产生了一些问题：由于构造本体的目的不同,本体表示的方法不统一,本体异构现象是普遍存在的,异构本体之间难以进行互操作。本体映射领域的研究就是力图通过寻找本体间的映射规则,使得信息借助这些规则在不同本体间传递,从而实现异构本体间的互操作。随着本体数量的不断增多,本体间互操作的需求不断增强,最初手工创建高质量映射的方法已经不再适用。而由本体映射工具自动或半自动生成的本体映射结果还不够完善,其中存在着诸如不精确、冗余、不一致等等问题,使得本体映射的查准率和查全率都无法满足实际应用的需要。本体映射的后处理对于提高本体映射质量和实现本体映射自动化,有着重要意义。 本文首先通过对已有的本体映射结果进行分析,总结出四类映射问题,提出了对映射结果进行操作的本体映射后处理框架。此后根据映射问题的不同特征,结合已有的概念近似技术和分布式描述逻辑,详细阐述了后处理框架中核心处理模块的功能和算法。 本文的主要工作包括：(1)针对现有自动或半自动生成的映射结果质量较低的现象,结合已有的单本体后处理思想,提出了面对本体映射结果的,涉及多个本体的本体映射后处理的框架和处理方法：(2)从本体映射结果中归纳出四种较为普遍的映射问题：不精确映射、冗余映射、不一致映射和异常映射；(3)采用概念的最简多元最小上界和最简多元最大下界的方法找到最精确的映射以消解不精确映射；(4)采用逻辑推理定义映射属性,通过对映射属性的检查发现冗余映射、不一致映射和异常映射。各类问题的处理都给出了相应的算法,以及简要的算法时间复杂度和可行性的分析。