本体构建系统的关键技术分析与实现-analysis and implementation of key technologies in ontology construction system.docx

承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期：  第一章 绪论 1.1 引言 随着信息技术的不断发展，企业信息化程度不断提高，知识已经成为企业组织的重要资 本，知识管理对于企业的发展越来越重要。然而，目前的知识管理系统大都不完善，存在很 多问题[1]。例如，知识获取和表示能力不强，缺乏统一的知识模型，缺乏对不同知识源的知 识进行集成的能力；系统中存储的知识是静态的，很难在工作实践中根据新的需求扩展知识 类别或属性，知识组织的动态性不足；知识库层次结构不明确且结构形式单一；知识结构缺 乏灵活性；知识检索的查全率和查准率低，检索结果往往缺少语义支持等。 本体(Ontology)，作为近年来在知识的语义化、重用和共享方面的研究热点，能有效解 决知识管理系统中所出现的上述问题，将可能成为下一代知识管理系统中描述企业知识的重 要手段[2]。本体可以精确描述概念的含义以及概念之间的内在关联，又能通过逻辑推理获取 概念之间蕴含的关系，具有很强的表达概念语义以及获取知识的能力，是实现知识管理的有 效方法。本体通过对概念的严格定义和概念之间的关系来确定概念的精确含义，表示公共认 可、可共享的知识，在这样一系列概念的支持下，知识搜索、知识积累、知识共享和重用的 效率将大大提高。 随着企业信息化建设的快速发展以及企业知识的高速膨胀，本体的规模越来越大，复杂 度也越来越高，大型本体的构建已是大势所趋。然而，构建大型本体涉及到不同领域、不同 知识背景甚至不同地区的许多开发者和领域专家的共同参与，是一项非常耗时耗力的工作， 因此在本体开发过程中不免出现很多问题[3]，如： ① 不同地域的本体开发者如何实现协同工作； ② 如何避免不同本体开发者之间的冲突，最大限度地提高操作的并发度； ③ 在冲突不可避免的情况下，如何消解冲突； ④ 如何实现不同应用程序间的交互操作以及异构系统之间的集成。 目前，很多本体构建系统解决了本体的可视化表示及构建问题，但却没有很好地解决上 述问题，有的甚至根本没有考虑到协同[3]。因此，开发支持多人协同操作以及共享知识表示 的本体构建系统是当前本体研究与应用领域亟待解决的问题之一。 本文通过对现有本体构建系统进行分析研究，给出了一个协同本体构建系统的总体框 架，该结构在数据层之上引入持久层，封装底层数据操作，为业务逻辑层提供对象服务，实 现内存对象与底层数据之间的映射；为了解决异构系统之间的集成问题并实现不同本体语言 表示之间的高效转换，在持久层中引入本体的中间表示模型，定义本体表示的数据结构，并 以此设计了存储本体的关系数据库模式，定义了关系数据模型到本体表示模型的映射；研究 了协同本体构建过程中的并发控制问题，并给出了相应的解决方案。  1.2 本体概述 “本体论”最初起源于哲学领域，是对存在(being)的系统解释，它是研究“是”之所以 为“是”的理论，可以说是哲学中的哲学，甚至可以认为西方哲学的发展就是一个“本体论” 的产生、发展、怀疑和批判的过程[4]。本体论在哲学上的真正内涵是对世界上任何领域内的 真实存在所做出的客观描述。 最近几年，本体成为知识工程领域的热门词汇，有很多关于本体的定义。1993 年，Gruber 给出了本体的一个最为流行的定义，即“本体是概念模型的明确的规范说明”[5]。Borst 在 此基础上给出了另外一种定义：“本体是共享概念模型的形式化规范说明”[6]。而 Studer 等 人又对 Gruber 和 Borst 对本体的定义进行了深入的研究，认为“本体是共享概念模型的明确 的形式化规范说明”[7]。该定义包含四层含义：概念模型(conceptualization)、明确(explicit)、 形式化(formal)和共享(share)。“概念模型”指通过抽象出客观世界中一些现象(Phenomenon) 的相关概念而得到的模型，该模型所表现的含义独立于具体的环境状态；“明确”指所使用 的概念及使用这些概念的约束都有明确的定义；“形式化”指本体是计算机可理解的(即能被 计算机处理)；“共享”指本体中体现的是共同认可的知识，反映的是相关领域中公认的概念 集，即本体针对的是团体而非个体的共识。 在计算机领域中，本体论是对概念化对象的明确表示和描述[4]，采用某种语言对概念化 进行描述。因此，