本体论(ontology)原本是哲学概念,它是研究存在的本质的哲学问题。但近几十年里,这个词被应用到计算机界,并在人工智能、计算机语言以及数据库理论中扮演着越来越重要的作用。目前,对于本体概念的比较统一的看法是Studer的解释：共享概念模型的明确的形式化规范说明。作为一种有效表达概念语义的模型,本体在图书情报领域的很多方面都有应用,如信息系统建模、信息抽取、语义网、搜索引擎、知识工程、文献标引、知识管理、知识库构建、图书馆信息资源构建等。形式概念分析(Formal Concept Analysis, FCA)是以数学化的概念和概念层次为基础的应用数学领域,1982年德国的Wille教授作为一种数学理论首先引入了概念格,奠定了形式概念分析的理论基础,概念格是形式概念分析理论的核心数据结构,它被认为是知识发现和数据分析的有力数学工具。目前,形式概念分析的方法,已经大量运用在概念聚合、数据挖掘分析、信息检索、知识发现、本体论工程及其应用之中。近年来本体论和形式概念分析一直是研究热点,基于本体论的知识检索的相关研究已经取得许多成果,同时随着对形式概念分析研究的深入,一些学者发现本体论与形式概念分析两者间有着密切的联系,因此将本体与形式概念分析结合起来研究并运用到知识检索领域也逐渐被人们关注。形式概念分析和本体既有区别又有联系,二者可以在一定程度上结合。形式概念分析可以作为一种技术可以应用于本体工程,而本体也能够改善形式概念分析的应用。形式概念分析应用概念格来提取概念层次,作为创建本体的基础,能够帮助自动或半自动生成本体。形势概念分析也可以应用于本体的合并、本体的可视化、本体的导航和分析任务等。形式概念分析中的属性不含有任何结构,若将其概念中的属性看做是本体的概念,在属性之间建立关系和相互依赖性,可以提高形式概念分析应用的质量,改善形式概念分析的应用。虽然本体与形式概念分析都可用于知识检索领域,并且将这两者结合起来应用到知识检索模型研究上取得了一定的研究成果,对知识检索领域产生了积极作用。但是目前本体与形式概念分结合研究,主要是将形式概念分析作为一种技术性的工具,并应用到领域本体构建、概念聚类、数据挖掘等方面,并没有从本体与形式概念分析融合机理的角度研究问题。本文在对本体与形式概念分析进行了较为仔细的研究之后,尝试提出了本体与形式概念分析融合的机理,并将其运用到基于本体的知识检索模型的优化中。具体来讲分别从哲学、数学、知识处理和知识管理学的视角剖析本体与形式概念分析结合的条件,然后依据本体与形式概念分析的融合机理,研究两者在知识建模中融合的具体内容,包括：领域核心概念描述、发掘领域隐藏概念、确立领域本体概念Kind-of关系、构建领域本体原型、可视化编辑方面、形式化描述及推理方面、本体重构或本体复用上、本体映射等八个方面。综上所述,本文研究分析本体与形式概念分析的异同点,总结出二者融合的机理,并将二者的融合机理运用到知识检索模型的优化上,期望在后续研究中进一步完善本体与形式概念分析的融合机理,并在此理论之上生成新的知识检索模型,提高知识检索的查准率、查全率等、满足用户的检索需求。