本体形式化模型及在语义查询中应用.pdfVIP

本体的形式化模型及在语义查询中的应用’ 王洪伟 吴家春 蒋 馥 上海交通大学 智能化管理与计算机仿真应用研究中心 摘 要 本体是概念化的一个显式的规格说明，能够将领域中的各种概念及相互关系显式 地、形式化地表达出来。本文首先介绍了本体的塞本概念，然后利用描述逻辑建立了本体的形 式化棋型，并提出了本体术语包含关系的检验算法，最后根据所建的本体模型探讨了4种信息 查询模式。 关键词 本体，语义查询，描述逻辑，包含关系 StudyonFormalOntologyModelandits ApplicationtoSemanticRetrieval WangHongweiWuJiachun JiangFu ShanghaiJiaotongUniversiyt,shanghai,200030 AbstractOntologyisanexplicitspecificationofconceptualizations,whichcanexplicitlyand formallyexpressthesemanticsoftheconceptsandtheirrelationship.Inthispaper,wefirstintroduce thebasicconceptofontology,andthenwepresentaformalontologicalmodelusingDescriptionLogic (DL)andamethodfortestingthesubsumptionrelationbetweenterms.Atlast,wediscussthe semantic-enablinginformationretrievalmechanismbasedontheestablishedontologymodel. Keywords ontology,semanticretrieval,descriptionlogic,subsumption 一、前言 Internet可以视为一个异构的、分布式的、动态的大型数据库。绝大多数Web由于设计者 的偏好、背景不同以及开发时期不同，因而Web数据结构也不尽相同。如果缺少高性能的检索 工具支持，用户只能在不同的服务器上盲目搜索，这个过程显然不经济。目前检索技术要么依 赖于编码技术，通过分类模式来描述给定的项，要么是通过全文检索技术，来搜索用户提交的 关键词。由于编码描述只能反映出部分语义，因此不能保证语义的匹配。 ，国家自然科学基金资助, .z门6. 本体的形式化模型及在语义查询中的应用 本体((ontology)是领域知识的概念化说明，领域中的对象、概念及其关系通过形式化的说明 被严格规定，从而将术语的语义显式地表达出来，因而在语义查询方面发挥了重要的作用[r.z} 二、本体的逻辑模型 本体模型的研究还处于起步阶段，本体模型的形式化以及模型验证问题，目前仍是知识工 程与管理领域中的一个研究热点，大多数的本体模型都是基于一阶逻辑，如OntolingualI, CycL[l.LOOM[]等。尽管一阶逻辑具有很强的表达能力，但其推理过程复杂，不利于本体模 型的检验。描述逻辑(descriptionlogic,DL)S[l是一族描述概念和概念层次关系的知识表示语言。 相对于语义网络、框架结构，DL具有形式化、基于逻辑的语义，还可以转换成一阶谓词逻辑。 尽管没有一阶逻辑的表达能力强，但推理复杂度为多项式，更适用于本体检验6[1。尤其是DL的 语法容易转换成XML/RDF形式，因此基于DL的本体模型更适合Web环境下概念建模与信息 查询。本文利用描述逻辑建立本体的形式化模型。 定义1本体模型 给定术语描述语言L，本体模型是一个四元组，记作 0=T,X,TD,XD 其中，T是术语集，T中的术语被称为原子术语，包括原子类术语C(简称原子类)与原子属性术 语P(简称原子属性)，记为T--C,P，本体的属性有两种类型:类属性和数值属性，类属性表 示类间的关系，而数值属性表示类的属性;TD是术语定义集，定义T中的术语:X为实例集; XD为实例声明集，用来声明T的实例。代码1给出了一个关于家庭的本体模型。