基于描述逻辑的语义Web知识表示和推理论文.doc

广西师范大学硕士研究生学位论文 基于描述逻辑的语义 Web 知识表示和推理 学生：王 军 指导老师：蒋运承 教授 年级：2005 专业：计算机软件与理论 研究方向：语义 Web  中文摘要 万维网(World Wide Web)已成为人们获得信息、取得服务的重要渠道之一。但至今它 主要作为文件媒体的集合，其上的大部分内容都是设计给人看的，而计算机却不能对其内 容进行自动理解和处理。因此，万维网虽然是一个具有虚拟的无限潜力的信息资源库，但 是，这种潜力却未能得到充分的应用。针对上述问题，研究者们提出了语义 Web 的概念。 语义 Web 是由万维网的创始人 Tim Berner-Lee 于 1998 年首先提出的，并且把它描述为： “是对当前 Web 的扩展，其所具有的定义良好的语义，能更好地使计算机和人之间进行协 同工作。”语义 Web 的目标是使 Web 上的信息具有计算机可以理解的语义。为了实现语义 Web 信息服务的智能化和自动化的目标，语义 Web 研究者们开发了许多新技术并提出了一 系列的技术标准。Tim Berners-Lee 一直致力于语义 Web 技术的研究，提出了语义 Web 的层 次模型，并得到了语义 Web 研究者们的认同。该模型由七个层次组成，分别为：Unicode 和 URI 层、XML+NS+XML Schema 层、RDF/RDF Schema 层、Ontology 层、Logic、Proof 和 Trust 层。 知识表示是语义 Web 实现的基础，知识表示就是把知识编码成一种适当的数据结构。 为了便于知识管理和推理分析，知识表示的方法一般要求简单、明了、易于理解，并能对 知识进行方便、灵活的扩充。传统的知识表示方法主要有数理逻辑、规则式专家系统、框 架及语义网络等。上述知识表示方法通常是集中式的，这意味着每个人对于共同的概念， 必须使用完全一样的定义。而语义 Web 的知识表示需要构建在一个数据和知识多对多交换 的大平台之上，其核心内容是建立一个语义明确的信息空间。语义 Web 所面临的一个最大 挑战就是如何提供一种语言，能够同时描述数据以及根据数据进行推理的规则，并且允许 任何现存知识标识系统中的规则能输出到 Web 上，由此增强 Web 的逻辑性。迄今为止， 解决这一任务的重要技术包括 XML、RDF、和本体等。XML 提供了灵活、通用、丰富的 结构化信息表示方式，是整个语义 Web 的基石；RDF 则定义了一个简单的数据模型以表 达数据间的关系；本体通过定义属性并建立一个分类层次结构，将不同的概念区别和组织 起来，同时也通过属性将概念相互联系起来，从而建立起概念的语义空间，是解决语义层 次上 Web 信息共享和交换的基础，它在语义 Web 中具有非常重要的地位。 描述逻辑是一种基于对象的知识表示的形式化工具，是一个用于描述及推理概念知识 的逻辑公式集合体，是一阶谓词逻辑可判定的子集，能够提供可判定的推理功能，是语义 Web 本体层的逻辑基础，在语义 Web 的发展过程中起着非常重要的作用。 本文首先介绍了传统的知识表示方法及已有的语义 Web 知识表示方法，分析了这些已 有的语义 Web 知识表示方法所存在的不足和局限性，然后在此基础上对基于描述逻辑的语 I 广西师范大学硕士研究生学位论文 义 Web 的知识表示方法进行了研究和探讨。 本文的主要贡献有两个：一是在 Mira Balaban 工作的基础上给出了一种表达能力较强 且推理可判定的描述逻辑 SHION(D)与 F-Logic 之间的关系，证明了描述逻辑 SHOIN(D)表 示的本体可以语义等价地转化为一个 F-Logic 本体，并给出了一种推理可判定的描述逻辑 与规则的集成方法，给出了一个推理算法，证明了算法可判定性及正确性，分析了算法的 复杂性。二是在 Sowa 和 Baader 等人的工作基础上，给出了如何把可判定的概念图子集所 表示的知识转化为描述逻辑知识库的方法，并且给出了这种转化的正确性证明，给出了利 用描述逻辑已有的可判定的自动推理算法判断概念图的一致性和包含关系的方法，也证明 了这些方法的正确性。这些工作弥补了 Sowa 和 Baader 等人研究中的不足，为概念图在语 义 Web 知识表示中的实际应用提供了坚实的理论基础。 关键词：本体；描述逻辑；推理；概念图；规则；语义 Web；知识表示 II 广西师范大学硕士研究生学位论文 Description Logics Based Knowledge Representation and Reasoning for the Semantic Web  Student: Wang Jun  Supervisor: Professor Jiang Y