本体映射是解决异构和分布本体之间信息交互的关键技术,基于此,一些本体映射模型被提出,例如基于粗糙集理论(Rough Set Theory)和形式概念分析理论(Formal Concept Analysis(FCA))的本体映射模型(RFCA映射模型)。一般,本体映射模型以映射的计算效率以及计算结果的准确性作为映射模型的判断标准。因此,设计高效而准确的映射模型是本体映射的目标之一。本体映射的计算效率除了受到映射方法的影响,也受到本体规模的影响。随着本体规模的增大,计算量越大,映射效率越低。因此,设计面向大规模本体,高效而准确的映射模型是本体映射的一个挑战。本体映射所追求的另一个目标是减少领域专家的参与。通常,本体映射模型以两个本体之间存在映射可能为前提,或者是在领域专家给定本体的前提下进行映射,然而,对于从语义Web中获得的任意两个本体,如果没有领域专家的参与,我们无法知道这两个本体之间是否存在映射可能。对于没有映射可能的本体仍进行映射,将会浪费大量的时间在不必要的映射计算之上。因此,设计能自动判断映射存在性的映射模型将进一步减少领域专家的参与。本文通过对RFCA本体映射模型的研究,提出了一种降低RFCA映射过程中本体规模的方法,以及一种自动判断本体映射存在可能性的方法,并将该判断方法应用到RFCA映射模型中。在降低RFCA映射过程的本体规模方法中,通过形式背景的属性约简理论降低RFCA映射过程中的形式背景规模,以减少数据的计算量,提高模型的映射效率。在判断本体映射存在可能性的方法中,首先对本体映射的存在性问题进行描述,然后利用wordnet、本体的属性等对本体之间是否存在映射进行判断,并同时给出参与本体映射计算的本体相关部分,然后将该判断过程加入RFCA映射流程。最后,我们给出了结合映射存在判断的RFCA属性约简实现过程,进一步说明本系统能够初步判断本体映射的存在性,减少领域专家的参与,避免不必要的计算,以使RFCA映射模型能够面向大规模的本体,并提高本体映射的效率。