在互联网信息日益膨胀的今天，搜索引擎成为人们获取信息必不可少的工具。但随着信息量的增大和行为方式的增多，传统的搜索模式逐渐暴露出许多问题，如词汇孤岛问题、表达差异问题、忠实表达问题和机械式匹配问题等，导致用户难以查找到与需求相关的资源，难以实现信息资源的语义共享。造成这些问题的本质原因是由于在传统的信息检索模式下，信息资源缺少统一的语义描述，传统搜索引擎不能对用户输入的关键字进行词意分析和扩展，缺乏知识处理能力和理解能力。 语义Web技术的出现，使上面的问题得到成功解决，语义Web技术是解决高质量检索、基于INTERNET分布式计算和知识发现和推理的有效方法，对搜索引擎来说，语义Web技术对于新一代搜索引擎的发展起着重要作用，同时也促进网络信息获取技术向高精度、智能化方向发展。 首先，结合语义Web技术，设计了一种语义搜索引擎模型，对其构成模块和检索流程进行了详细描述，并对模型中的关键技术进行了分析研究；其次，因为语义推理是语义搜索引擎模型中的关键技术之一，所以本文通过构建一个简单的本体，对本体内部推理进行了模拟，成功实现了本体的内部冲突检测；最后，在理论分析的基础上，开发了一个语义检索试验系统，该系统以计算机领域的科技文献为智能检索对象，构建了相应的领域本体——文献本体，同时通过建立推理规则，找出文献之间蕴含的关联关系，实现了基于本体的语义推理和检索。