在知识经济时代,知识在社会经济发展中的作用日益增强。信息、知识和情报逐步成为与人力、资源并列的第三大战略资源。目前,全球竞争环境变幻莫测,要进行科学的决策需要更多的信息,对这些信息要求具有多样性、及时性、竞争性、准确性等特点。那么,如何从知识海洋中寻找自己所需的信息,避免迷失在“信息丛林”中呢?只有借助于强有力的信息检索与分析工具。作为一种新的信息检索技术,语义检索可以在知识理解和知识推理的基础上实现对信息资源的准确、全面的检索。对语义检索的研究不仅仅在信息管理领域,还包括人工智能、互联网等研究领域以及法律、农业、医学等专业应用领域。用户的检索过程带有强烈的领域特征、为特定任务而服务的。然而,传统的信息检索是面向所有用户的,信息组织的深度不够,无法理解信息的语义特征。所以,本文借助法律框架网络本体来描述知识的明确语义,法律框架网络本体是对法律领域概念及关系的描述,能够将隐性的概念较好地表达出来。我们将法律框架网络知识库的框架、实例及知识用XML标记语言进行描述,之后用OWL对框架的内部信息进行资源描述。设计一定的算法,利用Jena推理机对OWL文档实施推理,能够实现特定情景的知识推理,具备了挖掘隐性知识的能力。这就使得检索系统能够为用户提供更加智能化、更加全面的服务,更好地满足用户的检索需求。本文共分五章。第一章对基于推理的语义检索国内外研究状况进行深入的研究,并对其进行评价,认识到语义检索中推理的重要性,并分析了该研究领域的不足。第二章介绍自动推理技术。分析了自动推理的基础——描述逻辑,并对自动推理的两种形式进行讨论:分析了基于描述逻辑的推理的优势与缺点;基于推理规则的推理使得推理针对性更强,更符合应用的特征。最后对现有的本体推理机进行了评价。第三章概括讲述了法律框架网络本体的体系结构及基于它的语义检索的系统框架。然后针对法律信息的特点提出语义检索系统的自动推理算法。第四章设计实现了一个自动推理实验系统,验证了自动推理算法的正确性,并且结合对实验数据的分析不断调整相关因子,提高系统的各项性能。第五章总结了自动推理技术在语义检索中的应用,并探讨了后续工作中应当注意的问题和研究重点。法律信息是工作生活中必须重点关注的信息,只有符合国家法律规定,用户的决策才是可行的。我们进行法律领域本体的构建及应用研究,旨在帮助用户快速、高效的获取所需法律知识,提高其信息获取、加工和利用的水平,把握国家有关法律法规的变化内涵,抓住机遇,迎接挑战,使其在激烈的市场竞争中处于不败之地。