随着计算机和网络的普及，互联网成为人们获取信息和知识的重要来源，目前搜索引擎尚不能很好的满足人们的需求。随着信息技术的不断发展，检索系统的复杂程度不断提高，检索系统建设的难度也相应提高，需要用一种新的方法来描述复杂的检索系统，使检索系统的结构、数据以及相互联系变得简单。　　 本体论适应时代的需求，有效地描述、组织和管理各种数据、信息、知识，使计算机和用户能够同时阅读、记忆、处理。基于本体的检索系统，根据本体的概念层次查找信息，大大提高检索的查全率与查准率。将本体技术与建模实践有机地结合在一起，强调词汇之间的关联和公理限制，在系统建模领域中具有通用性，提高词汇的复用率，消除系统建模沟通的歧义性。　　 本文针对知识管理与应用中的形式语义支撑需求，分别从本体论建模及基于本体的知识检索入手，研究了本体的一致性检查和概念语义相似度计算等核心问题，最后给出一个在灌区领域的应用系统原型。　　 本文的主要工作如下：　　 (1)本体的一致性检查研究;　　 本文总结了本体生命周期中常见错误，并详细分析不一致性错误中概念循环包含错误，提出一种基于消除直接父类的概念循环的检测方法(EDS2DCC)，并结合实例分析EDS2DCC方法如何检测本体中概念循环错误。　　 (2)基于本体的知识管理与检索研究;　　 本文分析了基于本体的检索系统的优点，提出基于本体的检索系统建模过程，结合灌区检索系统进行了详细分析，并构建出部分灌区领域本体。　　 (3)基于多要素的概念语义相似度计算研究;　　 本文研究了基于多要素概念语义相似度计算，并通过实验将本文所提计算方法定量计算概念间的相似度的值和概念间主观相似度的值进行比较，初步验证本文所提方法的可用性。　　 (4)灌区领域检索系统原型实现;　　 本文综合应用本体的相关方法和技术实现了基于本体的灌区领域检索系统。该系统主要是模拟基于本体的检索系统构建和运行过程，实现了简单的推理功能，证明了基于形式语义的检索系统对检索质量的提高。