当前Web拥有丰富的信息资源，己经成了人们获取信息的重要渠道。但是，由于Web页面的无结构性、半结构性、超链接的自由无序、以及Web内容的海量性、多样性和动态变化，使得人们从Web上获取真正想要的信息非常不容易。如何使当前Web中的信息资源具有应用程序可以理解的含义，并根据资源所具有的领域知识，实现语义检索，提高信息资源的利用率，这些问题是信息检索领域所面临的挑战。　　 语义网是当前万维网的扩展，它的出现为Web资源检索提供了一种新的方法，语义网研究的主要目的就是扩展当前的万维网，使得Web中的信息都具有语义，使计算机能够理解和处理，便于人和计算机之间的交互和协作。　　 本文首先介绍语义网基本结构及本体相关技术，研究了本体的定义，本体的组成以及本体的相关描述语言并且重点研究了本体描述语言OWL，介绍了OWL的分类以及基于OWL的知识表示。接着本文介绍描述逻辑，研究了描述语言以及基于描述逻辑的推理，重点介绍了Tableaux算法。　　 在理论研究的基础上，本文设计实现了一个基于本体和描述逻辑的房屋租赁信息检索系统。该系统通过为房屋信息资源添加语义注释，并通过描述逻辑推理完成基于语义的信息检索。本文采用OWL描述房屋租赁本体，根据该特定领域信息系统的特点构建了领域本体，用Jena来访问和处理本体，并用推理机Racer实现推理过程，最后通过一个匹配算法，将推理结果按匹配度返回给用户。本文最后通过一个实例验证了本文提出的信息检索系统的设计与实现方案是有效和可行的。