本体方法及其时空推理应用.ppt

本体方法及其时空推理应用 胡鹤 2004-10-20 本体方法目前已经成为计算机科学中的一种重要方法，随着对语义Web研究的深入，本体方法受到了越来越多的关注。人们普遍认为它是建立语义Web的核心技术。 本文在语义Web研究和时空推理研究的背景下研究了本体方法和其在时空推理领域中的应用。下面从语义Web、搜索引擎、知识处理服务平台和时空推理等几方面介绍有关的研究背景： 语义Web 目前在万维网（WWW）上的网页资料以几何级数爆炸性增长，但由于缺乏组织和整理，人们难以充分利用这些信息资源。 语义Web能够为Web上的资源附加上计算机可以理解的内容，给出了一种计算机能够理解的表示资源的手段，便于计算机处理 。通过显式的、机器可读的方式对Web进行概念化构造，使得人们可以借助软件agent自动完成目前需要人类参与的许多工作。 搜索引擎 随着Internet技术的应用与发展，网络已经成为信息的重要来源地，搜索引擎也成为必不可少的网络基础设施。 传统的搜索引擎使用的是基于关键字的词汇层次上的信息检索，这种方法并不能处理用户的真实语义，导致当前的搜索引擎的召回率和准确率不能令人满意。本文提出了一种基于本体的语义搜索框架，可以从语义上处理用户的搜索请求，这在理论上将提高搜索引擎的召回率和准确率性能。 知识处理服务平台 语义Web的实现需要工具支撑软件的支持 ，因此很多科研机构、学校、公司在语义Web技术（主要是RDF）的基础上开展了研究工作，开发了许多工具和平台。 针对目前对基于本体技术的知识服务平台的需求，本文分别提出了基于Web的本体服务器模型和在专家系统中的本体中间件模型设计。 时空推理 时空推理是指对占据空间并随时间变化的对象所进行的推理，它是从时态推理和空间推理发展而来的。 在时空推理领域，分析了刻画时间关系的IA理论和刻画空间拓扑关系的RCC理论之间的关系，指出了IA理论所区分的十三种时段关系是RCC－8关系组合了一维方向关系而形成的。在介绍时空推理研究进展的基础上，通过将一阶谓词逻辑的时空本体映射到描述逻辑系统，构造了基于描述逻辑的时空本体并给出了OWL格式的时空本体定义。 §2.1 本体论的含义 本体论原本是哲学中的概念，是指一种存在的系统化解释,将本体论的这种含义用到计算机领域中,人们赋予本体论更具体的意义。 在人工智能界,最早给出Ontology 定义的是Neches 等人,他们将Ontology 定义为“给出构成相关领域词汇的基本术语和关系,以及利用这些术语和关系构成的规定这些词汇外延的规则的定义”。1993 年, Gruber 给出了Ontology 的一个最为流行的定义,即“Ontology 是概念模型的明确的规范说明”。后来, Borst 在此基础上,给出了Ontology 的另外一种定义: “Ontology 是共享概念模型的形式化规范说明”。Studer 等对上述两个定义进行了深入的研究,认为 Ontology是共享概念模型的明确的形式化规范说明。 §2.2 本体的形式化模型 根据ontology的定义（概念模型的明确的规范说明），在计算机领域存在有多种形式化模型可以用于表示本体。在这其中，比较重要的有一阶谓词逻辑、语义网络、基于框架的系统以及从后两种方法发展而来的描述逻辑系统。 描述逻辑是基于对象的形式化知识表示的方法，建立在概念（concept）和关系（role）的基础上。一个描述逻辑系统包括四个基本的组成部分：表示概念和关系的构造集，Tbox断言集，Abox断言集，Tbox和Abox上的推理机制。 描述逻辑在近十多年来受到人们的特别关注，主要原因在于：它们有清晰的模型论语义；很适合于通过概念分类来表示应用领域；并提供了可判定的推理服务。 几种描述逻辑系统 在描述逻辑领域比较经典的逻辑系统是ALC描述逻辑。1991年，Schmidt和Smolka首先发现了用于ALC的Tableau算法[17]，该算法能在多项式时间内判定ALC概念的可满足性问题。Horrocks给出了用于SHOQ(D)逻辑的Tableau算法[18]。1996年，Borgida[129]给出了一阶谓词逻辑与描述逻辑系统DL之间的映射关系，指出了如何使用DL系统表示一阶谓词逻辑的方法。下表列出了ALC、SHOQ(D)和DL三种描述逻辑的语法和语义。（\ 表示不支持相应功能） §2.3基于区间模糊理论扩展的描述逻辑系统 描述逻辑原本是描述对象精确信息的形式化知识表示，它所支持的