知识表示是人工智能的一个永恒主题。知识表示语言对表达能力,可理解性,可操作性,可扩充性的要求都很高；并且要求能够针对不同用户群分层设计,语法简便。本体描述语言OWL作为W3C对本体描述语言的推荐标准,基本具备知识表示语言所要求的优良性质。本文研究了目前存在的一些本体构建方法,分析得到这些构建方法中存在建设过程无规范、成果没有评价标准、缺少本体进化的方法、忽视本体的共享和重用等问题。通过这些研究和分析,作者提出了一种新的领域本体建设方法——骨架进化法,该方法在骨架法的基础上融合了软件工程中的工程思想,强调了本体的进化。以骨架进化法为指导方法,构建了一个医疗保险本体。语义Web的发展使得其逻辑基础——描述逻辑也成为研究的一个热点。描述逻辑支持推理,其推理主要涉及如下问题：概念可满足性(Concept Satisfiability),包含关系(Subsumption),可满足性(Satisfiabilty),实例检测(instance Checking);而可满足性是关键问题。用于解决可满足性的Tableau算法,在当前国内外的推理系统中发挥了重要的作用。本文设计实现了一个基于医疗保险本体的语义检索系统,实现了针对医疗保险领域知识的智能检索。在本体查询方面,该检索系统针对ABox查询引擎在属性查询上的不足,设计并实现专门针对本体属性查询的API,使得对本体查询更加方便和全面；在本体推理方面,该检索系统结合了基于描述逻辑的推理和基于规则的推理,具有很强的推理能力。为了实现本体模型的持久化,本文在研究了目前存在的本体存储方式的基础上,选择使用关系数据库来存储本体。针对Triples形式的特点,设计并实现了存储本体的数据表。设计并实现了一个本体维护系统,为本体在以后的使用中得到进化提供了良好的支持。