自20世纪90年代以来,信息检索正在向着领域化、智能化方向发展,而提高检索的质量,推出令人满意的检索技术成为了全世界范围的研究前沿和热点。本体作为表达知识的共享概念模型,已日渐成为知识工程、知识管理、信息检索和语义Web等多个领域的重要组成部分,特别是自语义Web提出以来,基于本体的语义Web技术在领域内的智能检索正逐渐成为人工智能和知识工程领域中一个重要的研究方向,在知识的获取、表示、分析和应用等方面具有深远的意义。本文针对茶学领域本体的语义检索问题,以茶虫害知识为研究对象,重点解决茶学领域本体语义检索的两个关键问题——茶学领域本体逻辑检测问题,茶学领域本体智能检索问题。研究基于描述逻辑的茶学领域本体知识逻辑检测方法;设计基于茶学领域本体的智能检索模型。通过对茶学领域本体知识的逻辑检测,保证了茶学本体的逻辑正确性,为智能检索做准备;通过对茶学本体的智能检索研究,产生智能导航链接,提高了信息检索的准确率。本文的研究内容主要有以下几个方面:1)研究基于描述逻辑的领域本体知识逻辑检测的方法。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。研究基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证本体逻辑定义的有效性、完备性。2)研究基于茶虫害本体的智能检索的模型与方法。基于茶虫害本体智能检索模型的主要包括:推理引擎和分类导航。推理引擎主要是运用XML DOM和XPath技术解析茶虫害本体概念及概念间的语义关系,推理出同义词后动态组合新的查询条件;分类导航主要是推理出上位、下位、相关词后分类生成智能导航列表,调用Google Ajax Search API链接WWW得出检索结果,推理出与用户输入的关键词所有相关的概念节点,以分类的形式表示概念间的层次关系,并以链接的形式供用户继续搜索。3)设计与实现基于茶虫害本体的智能检索系统。系统在特定主题的限定下进行信息的搜集和检索,以图形化的形式显示概念的层次关系,而且能产生智能导航链接在主题最相关的范围内搜索,把信息检索从目前基于关键词层面提升到基于知识的层面,从而能够帮助用户更容易地找到感兴趣的信息,提高信息服务的质量。通过对茶学领域本体逻辑检测和茶学领域本体智能检索的研究,为今后实现农业领域本体的智能检索奠定基础,但本体智能检索是一项复杂的系统工程,涉及多个学科领域,由于时间和人力的限制,因此本文所做的工作还非常有限。开发的原型工具尚处在实验探索阶段,在今后的工作中尚需要进一步的扩充和深入研究。