随着网络技术的发展和网络上信息量的激增，信息检索越来越受到人们的关注。信息检索系统作为网络信息平台的一个重要组成部分，在用户获取准确的网络信息过程之中的发挥着重要的作用。 传统的信息检索系统比较集中在关键字匹配方面，对其语义的处理涉及的不是很多，因此虽然有较高的查全率，但查准率不高。 针对以上的问题，本文根据用领域本体作为语义处理基础，并结合描述逻辑的思想，提出了一些语义检索的算法和模型。本体(ontology)是一种用来描述概念以及概念和概念之间关系的模型，领域本体是本体的一种，它包含该领域的比较完整的知识和丰富的语义关系。同时利用描述逻辑指定个体和个体间的关系(二元的)。描述逻辑描述形成了层次知识：概念(concept)和角色(role)名。角色表示二元描述。而概念表示一元描述。描述逻辑具有固定的表示符号。由原始概念和角色用构造符集合可以建立复杂的概念和角色，从而实现知识的表示和推理。把这些理论通过本文提出的一些方法应用到信息检索系统中，使得一定程度上解决目前信息检索系统中语义的处理不足的问题成为可能。 本文首先分析了传统信息检索手段的不足；简要地介绍了语义检索的背景—语义网；又阐述了本体的相关概念，接着根据特定领域信息检索系统的特点介绍了领域本体的构建过程。 之后我们讨论了本体推理的逻辑基础，描述逻辑和一些算法；又详细介绍了语义检索的思想，并和传统方式做出对比；在奥运旅游系统中提出了语义检索的模型和推理相关的算法，包括基于本体的检索条件分析和表示，基于本体的推理，语义距离计算等。并对系统进行了软件工程设计，实现了系统语义检索功能，对系统准确率和召回率等关键性能作出了评估。