文档介绍：中国优秀硕士学位论文全文数据库 2011年第S1期信息科技辑
Chinese Master's Theses Full-text Database 2011, Information Science and Technology I138-1934-1
基于医疗保险本体的语义检索系统的研究与实现

赵乔阳
学位授予单位: 国防科学技术大学; 学科专业: 软件工程

摘要

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

关键词：医疗保险;;本体;;OWL;;描述逻辑;;Tableau 算法

中图分类号：

Abstract

Knowledge representation is an eternal subject in the field