近几年来，随着全球网络化的发展，信息每天都在以惊人的速度增长。在现今这样一个信息爆炸的时代，传统的信息检索已经很难满足人们的需求。随着信息检索技术的广泛应用与飞速发展，智能化是今后信息检索技术发展的一个重要方向。智能化检索具有两个显著特征：一是必须以某种语义模型来构建对应的知识体系，这是实现智能化检索的前提与基础；二是以知识体系为基础对资源对象进行语义标注，才能形成提供检索的知识库。本文在信息检索过程中引入了描述逻辑理论。一方面借助领域本体对非结构化信息进行规范化的知识表述，通过语义标注实现领域本体对检索文档的描述；另一方面，构建描述逻辑与领域本体之间的映射关系，从而使领域本体具备自动推理的能力，同时反作用于领域本体，对其进行规范优化。由此，在信息检索过程中引入了推理服务，可以借助于领域本体对知识进行组织，借助于描述逻辑对知识进行推理，从而对非结构化信息实现智能化的和自动化的管理与检索。论文首先提出了适合于非结构化信息管理的领域本体构建方法，在此基础上分析了对非结构化信息进行语义标注的组织以及存储方法；其次，构建领域本体与描述逻辑之间的映射关系，将自然语言表述的检索需求以及检索对象转化为描述逻辑表述；接着，分析了描述逻辑的推理算法，并选择适合于信息检索的推理机；最后，对基于描述逻辑的智能化信息检索系统的架构以及相关核心模块进行设计，给出了系统原型。在此基础上，本文设计了一个小型企业场景并在该场景中应用上文提出的智能化检索解决方案，验证了将描述逻辑引入信息检索过程的可行性以及优越性。