Ontology研究综述.ppt

Ontology研究综述 李芸北京大学计算语言学研究所2003 10 7 2 主要内容 关于Ontology的译名和定义为什么需要Ontology作为工程学人工产物的OntologyOntology的建模元语Ontology与语义网络Ontology的描述语言已有的Ontology及其分类 3 主要内容 续 构建OntologyOntology的理论研究Ontology在信息系统中的应用Ontology与语义Web 4 关于Ontology的译名和定义 哲学界ontology即 论述关于Being 及其作为一 善这样抽象的 完全普遍的哲学范畴 在这种抽象的形而上学里 进一步产生出偶性 实体 因果 现象等范畴 被黑格尔所引述的由沃尔夫第一次表达出来的这个定义表明 ontology是运用以Being为核心的各种范畴 通过逻辑的方法去构造哲学原理的学问 它是在概念王国里的纯粹的思辨哲学 本体论存在论是论 5 关于Ontology的译名和定义 人工智能界1991 Neches等 给出构成相关领域词汇的基本术语和关系 以及利用这些术语和关系构成的规定这些词汇外延的规则的定义 1993 Gruber 概念模型的明确的规范说明 1997 Borst 共享概念模型的形式化规范说明 1998 Studer 共享概念模型的明确的形式化规范说明 6 1998 Studer 共享概念模型的明确的形式化规范说明 1 概念模型 conceptualization 通过抽象出客观世界中一些现象 Phenomenon 的相关概念而得到的模型 其表示的含义独立于具体的环境状态2 明确 explicit 所使用的概念及使用这些概念的约束都有明确的定义3 形式化 formal Ontology是计算机可读的 4 共享 share Ontology中体现的是共同认可的知识 反映的是相关领域中公认的概念集 它所针对的是团体而不是个体 7 Ontology的目标 Ontology的目标是捕获相关的领域的知识 提供对该领域知识的共同理解 确定该领域内共同认可的词汇 并从不同层次的形式化模式上给出这些词汇 术语 和词汇之间相互关系的明确定义 8 为什么需要Ontology 由于对跨系统的知识重用和分享的兴趣的增大 导致对Ontology的兴趣大增 知识分享的问题 不同的系统描述领域的时候使用不同的概念和术语 所以很难从一个系统中提取知识运用到另一个系统中 开发可重用的Ontology以推进共享和重用是Ontology研究的一个重要目标 开发支持构建 合并和翻译Ontology的工具是研究的另一个目标 9 明确的Ontology能够支持 在人们之间共享理解工具间的互操作性系统工程可重用性定义主题词表和概念扮演数学在物理中所扮演的角色 内容理论 定义必要的充足的概念和 方法 共同的知识理论 10 作为工程学人工产物的Ontology 现在 Ontology已经超越了哲学范畴 而是和信息技术 例如 面向对象系统 及人工智能有着密切的关系 这样 在人工智能和信息系统领域对Ontology的研究就必须为如何构建和维护Ontology提出实际可行的有用的建议 一种很实际的观点 Ontology就是一种必须要构建的人工产物 很多人工产品都有很强的Ontology的味道 比如 术语表 术语学 字典 百科全书 知识库 数据库模式 11 Ontology与知识库的比较 一些基本的问题 知识的表达形成共识了吗 所使用的术语被明确定义了吗 所使用的术语易于表达吗 知识的重用方便吗 它稳定吗 它是新项目的起点吗 12 Ontology与知识库的区别 Ontology为知识库的建立提供一个基本的结构 Ontology提供一套概念和术语来描述某一领域 并且获取该领域的本质的概念结构 这些都是通过Ontology分析完成的 然后 知识库就可以运用这些术语去表达现实或者虚拟世界中的正确知识 13 Ontology分析 Ontology分析就是明确知识的结构 对于给定领域 它的Ontology构成了该领域的任何知识表示系统的核心 如果没有支撑知识的Ontology或者概念体系 那么就不会有表示知识的词汇存在 因此 设计一个有效的知识表示系统和词汇表的第一步就是对该领域进行有效的Ontology分析 Ontology分析没做好 会导致知识库的不一致 14 知识表示语言和知识库都是基于Ontology分析而创建的 把术语和Ontology中的概念及关联连接起来 然后设计语法 使用这些概念和关系来对知识进行编码 15 类比 数据库系统的设计 软件系统的设计 都需要在实际的系统实施之前进行系统分析和设计 同样 对于基于知识的系统也需要这些步骤 16 Ontology与 面向对象 OO 方法的比较 设计Ontology的过程和创建面向对象的软件的过程相似 对象 对象属性以及它们的处理流程映射了应用软件相关的领域的各个方面 面向对象系统包含了对领域的有用分析 常常被不同的应用程序重复使用 17 基本差异 程序中的类 Class 和目标 Object 是关于数据结构的 因此 面向对象编程方法 OOP 可能会破坏Ontology的基本原则 Ontology中的类和对象必须反映出实际世界的结构 对象 关系 状态 事件和过程构成了一套表示系统 但它本身并没有说明现实生活中存在哪些类型的上述实体 这是领域建模人员的任务 18 Ontology分析的好处 我们可以与那些对该领域的知识表示有类似需求的人分享这种知识代表语言 因此避免了重复知识分析流程 共享的Ontology形成了领域专门知识表示语言的基础 19 Ontology的建模元语 Perez等人认为Ontology可以按分类法来组织 他归纳出Ontology包含5个基本的建模元语 ModelingPrimitive 这些元语分别为 类 classes 关系 relations 函数 functions 公理 axioms 和实例 instances 通常也把classes写成concepts 20 概念 概念的含义很广泛 可以指任何事物 如工作描述 功能 行为 策略和推理过程等等 21 关系 关系代表了在领域中概念之间的交互作用 形式上定义为n维笛卡儿乘积的子集 R C1 C2 Cn 如 子类关系 subclass of 22 函数 函数是一类特殊的关系 在这种关系中前n 1个元素可以惟一决定第n个元素 形式化的定义如下 F C1 C2 Cn 1 Cn 例如Mother of关系就是一个函数 其中Mother of x y 表示y是x的母亲 显然x可以惟一确定他的母亲y 23 公理 公理代表永真断言 比如概念乙属于概念甲的范围 24 实例 实例代表元素 25 从语义上分析 实例表示的就是对象 而概念表示的则是对象的集合 关系对应于对象元组的集合 概念的定义一般采用框架 frame 结构 包括概念的名称 与其他概念之间关系的集合 以及用自然语言对该概念的描述 基本的关系有4种 part of kind of instance of和attribute of 26 在实际的应用中 不一定要严格地按照上述5类元语来构造Ontology 同时概念之间的关系也不仅限于上面列出的4种基本关系 可以根据特定领域的具体情况定义相应的关系 以满足应用的需要 27 Ontology与语义网络 作为知识表示工具 Ontology与语义网络非常相似 它们都是表示知识的形式 并且均可以通过带标记的有向图来表示 适合用于逻辑推理 28 Ontology与语义网络 但从描述的对象或范围而言 Ontology与语义网络有所区别 Ontology是对共享概念模型的规范说明 这里所说的 共享概念模型 指该模型中的概念是公认的 至少在某个特定的领域是公认的 一般情况下 Ontology是面向特定领域 用于描述特定领域的概念模型 语义网络从数学上说 是一种带有标记的有向图 它最初用于表示命题信息 现广泛应用于专家系统表示知识 语义网络中节点表示物理实体 概念或状态 连接节点的边用于表示关系 语义网络中对节点和边没有其他特殊的规定 因此语义网络描述的对象或范围比Ontology广 在表示的深度上 语义网络不如Ontology 语义网络对建模没有特殊的要求 但是Ontology却有5个要素 类 关系 函数 公理和实例 其中公理可以看作是Ontology中的约束 Ontology通过这5个要素来严格 正确地刻画所描述的对象 语义网络的建立可以不要求有相关领域的专业知识 因此比较容易建立 而Ontology的建立必须要有专家的参与 相对而言更加的严格和困难 29 Ontology的描述语言 在具体的应用中 Ontology的表示方式可以多种多样 主要可分为4大类 非形式化 半非形式化 半形式化 形式化语言 可以用自然语言来描述Ontology 也可以用框架 语义网络或逻辑语言等来描述Ontology 虽然具体描述Ontology的方法很多 但是目前使用最普遍的方法是Ontolingua CycL和Loom等 30 Ontolingua Ontolingua是一种基于KIF knowledgeinterchangeformat 的 提供统一的规范格式来构建Ontology的语言 Ontolingua为构造和维护Ontology提供了统一的 计算机可读 可处理 的方式 由Ontolingua构造的Ontology可以很方便地转换到各种知识表示和推理系统 使得对Ontology的维护与具体使用它的目标表示系统分离开来 可以把Ontolingua转换成Prolog CORBA的IDL CLIPS LOOM Epikit Algernon和标准的KIF 目前 Ontolingua主要是作为Ontology服务器上提供的 用于创建Ontology的语言 另外有不少项目使用Ontolingua作为实现Ontology的语言 31 Cycl Cycl是Cyc系统的描述语言 它是一种体系庞大而非常灵活的知识描述语言 该语言在一阶谓词演算的基础上 扩充了等价推理 缺省推理等功能 而且具备一些二阶谓词演算的能力 在该语言的环境中配有功能很强的可进行逻辑推理的推理机 32 Loom Loom是Ontosaurus的描述语言 是一种基于一阶谓词逻辑的高级编程语言 属于描述逻辑 DescriptionLogic 体系 它具有以下的特点 1 提供表达能力强 声明性的规范说明语言 2 提供强大的演绎推理能力 3 提供多种编程风格和知识库服务 该语言后来发展成为PowerLoom语言 PowerLoom是KIF的变体 它是基于逻辑的 具备很强表达能力的描述语言 采用前后链规则 backwardandforwardchainer 作为其推理机制 33 已有的Ontology及其分类 目前被广泛使用的Ontology有如下5个 WordnetFramenetGUMENSUSMikrokmos 34 Wordnet Wordnet是基于心理语言规则的英文词典 它以synsets为单位组织信息 所谓synsets是在特定的上下文环境中可互换的同义词的集合 35 Framenet Framenet也是英文词典 采用称为FrameSemantics的描述框架 提供很强的语义分析能力 目前发展为FramenetII 36 GUM 支持多语种处理 包含基本的概念及独立于各种具体语言的概念组织方式 37 SENSUS 为机器翻译提供概念结构 包括7万多个概念 38 Mikromos Mikromos也支持多语种处理 采用一种语言中立的中间语言TMR来表示知识 39 Ontology的分类 为了对Ontology进行有效的分类 Guarino在文献 15 中提出以详细程度和领域依赖度两维度作为对Ontology划分的基础 详细程度是相对的 较模糊的一个概念 指描述或刻画建模对象的程度 详细程度高的称作参考 reference Ontologies 详细程度低的称为共享 share Ontologies 依照领域依赖程度 可以细分为顶级 top level 领域 domain 任务 task 和应用 application Ontologies等4类 40 Ontology的分类 顶级Ontologies描述的是最普通的概念及概念之间的关系 如空间 时间 事件 行为等等 与具体的应用无关 其他种类的Ontologies都是该类Ontologies的特例 领域Ontologies描述的是特定领域 医药 汽车等 中的概念及概念之间的关系 任务Ontologies描述的是特定任务或行为中的概念及概念之间的关系 应用Ontologies描述的是依赖于特定领域和任务的概念及概念之间的关系 41 Ontology的分类 1999年 Perez和Benjamins在分析和研究了各种Ontologies分类法的基础上 归纳出10种Ontologies 16 知识表示Ontologies 普通Ontologies 顶级Ontologies 元 核心 Ontologies 领域Ontologies 语言Ontologies 任务Ontologies 领域 任务Ontologies 方法Ontologies和应用Ontologies 这种分类法是对Guarino提出的分类方法的扩充和细化 但是这10种Ontology之间有交叉 层次不够清晰 42 构建Ontology 构建Ontology是一项持续的研究 Ontology在抽象程度上变动 从构成所有领域知识表示基础的最普通的术语到特定领域专用的术语 例如 空间 时间 部门以及分部门等术语可以应用到所有领域中 而机能失灵应用于工程和生物领域 而晶体管则只是应用到电子电路领域 43 Ontology的层次 一项任务即便看起来是局限于某一领域的 知识表示一般也要求在更高概括程度上描述知识的Ontology 例如 解决涡轮领域的问题可能需要一些使用更加概括性术语 如流程和因果关系 表达的知识 这种更通用的描述性术语被称为更高层次的Ontology或者最高层次的Ontology 层次一 定义概念和层级 例如 Yahoo的Ontology层次二 清楚的定义概念的含义 增加对关联的定义 大部分的Ontology都在这一层次 层次三 任务Ontology当我们从Ontology的顶端转到较低的分类水平时 与特定领域及现象相关的关联就出现了 为了对地球上的对象进行建模 我们可以确定特定关联 例如 动物 矿物和植物是对象的子类 有生命 x 和含碳的 x 是对象的性质 而可以吃 x y 是两种对象之间的可能关系 这些关联是与该领域的特定对象和现象相关的 44 最顶层的Ontology问题 不同的系统使用不同的表示法尽管存在差异 但是还是有一些共识 世界上存在着对象对象拥有属性 可以取值各种对象之间可能存在着各种关联属性和关联会随着时间改变在不同的时间会有不同的事件发生存在着对象参与的流程 而且不断地发生世界和对象会有不同的状态事件会成为其他事件和状态的起因对象是有其组成部分的 45 领域相关性 领域独立的Ontology和领域相关的Ontology之间并没有明显的界线 例如 对象 物理对象 设备 发动机和柴油发动机都是描述对象的术语 但是其领域相关性逐渐增强 同样 表述对象间关系的术语也在领域相关性上有所不同 如连接 电力连接 焊接 46 任务相关性 Ontology的任务相关性如何 直观地看 各种事物的存在并不取决于我们的目标 从这种感觉上来说 Ontology并不依赖于任务 从另一方面来看 选择现实的哪些方面编码至Ontology中 这确实取决于任务 例如 在水果领域 如果我们要开发的Ontology是用来挑选杀虫剂 那么我们的焦点可能会集中在某些方面 如果我们要开发的Ontology是用来帮助厨师挑选做菜用的水果 那么我们的注意力又会集中在其它的方面 47 构造Ontology的规则 目前已有的Ontologies很多 出于对各自问题域和具体工程的考虑 构造Ontologies的过程也是各不相同的 由于没有一个标准的Ontology构造方法 不少研究人员出于指导人们构造Ontologies的目的 从实践出发 提出了不少有益于构造Ontology的标准 其中最有影响的是Gruber于1995年在文献 17 中提出的5条规则 明确性和客观性 即Ontology应该用自然语言对所定义术语给出明确的 客观的语义定义 完全性 即所给出的定义是完整的 完全能表达所描述术语的含义 一致性 即由术语得出的推论与术语本身的含义是相容的 不会产生矛盾 最大单调可扩展性 即向Ontology中添加通用或专用的术语时 不需要修改其已有的内容 最小承诺 即对待建模对象给出尽可能少的约束 48 Ontology的理论研究 Ontology的理论研究包括概念及概念分类 Ontology上的代数等 其中最有代表性的是Guarino等人对概念及其分类进行的研究工作 Guarino等人在文献 15 18 对概念的分类做了深入细致的研究 从一般的意义上来分析什么是概念 概念的特性 概念之间的关系及概念的分类 提出了一套用于指导概念分类的可行理论 在该理论的基础上 他进一步提出了Ontology驱动的建模方法 从而在理论上为建模提供了一个通用的模式 49 Ontology在信息系统中的应用 目前 信息检索技术可分为3类 19 全文检索 Textretrieval 数据检索 Dataretrieval 知识检索 Knowledgeretrieval 50 各种信息检索技术的特点 全文检索的特点是把用户的查询请求和全文中的每一个词进行比较 不考虑查询请求与文件语义上的匹配 这种方式虽然可以保证查全率 但是查准率却大大地降低了 数据检索的特点是查询要求和信息系统中的数据都遵循一定的格式 具有一定的结构 允许对特定的字段检索 例如 作者 王刚 数据检索需要有标识字段的方法 数据检索的性能取决于所使用的标识字段的方法和用户对这种方法的理解 因此具有很大的局限性 数据检索支持语义匹配的能力也较差 知识检索强调的是基于知识的 语义上的匹配 因此在查准率和查全率上有更好的保证 目前知识检索是信息检索研究的重点 特别是面向Web信息的知识检索 51 Ontology具有的良好的概念层次结构和对逻辑推理的支持 因而在信息检索 特别是在基于知识的检索中得到了广泛的应用 19 20 52 基于Ontology的信息检索的基本设计思想 1 在领域专家的帮助下 建立相关领域的Ontology 2 收集信息源中的数据 并参照已建立的Ontology 把收集来的数据按规定的格式存储在元数据库 关系数据库 知识库等 中 3 对用户检索界面获取的查询请求 查询转换器按照Ontology把查询请求转换成规定的格式 在Ontology的帮助下从元数据库中匹配出符合条件的数据集合 4 检索的结果经过定制处理后 返回给用户 53 Ontology应用在信息检索中的著名项目 目前Ontology应用在信息检索中的著名项目包括 Onto 2Agent 21 Ontobroker 22 和SKC 23 这3个项目也分别代表了3个方向 Onto 2Agent的目的是为了帮助用户检索到所需要的WWW上已有的Ontology 主要采用了参照Ontology 参照Ontology是以WWW上已有的Ontology为对象建立起来的Ontology 它保存有各类Ontology的元数据 Ontobroker面向的是WWW上的网页资源 目的是为用户检索到所需要的网页 这些网页含有用户所关心的内容 SKC是一个正在进行的项目 其目标是解决信息系统语义异构的问题 实现异构的自治系统之间的互操作 该项目希望通过在Ontology上建立一个代数系统 用这个代数系统来实现各Ontology之间的互操作 从而实现异构系统之间的互操作 54 Ontology与语义Web Berne