描述逻辑的知识库K-天津大学计算机学院.pptVIP

OWL 本体概念： 本体的种类： Ontology描述语言： RDF(Resource Description Framework ): 数据模型:节点和节点之间带有标记的连接弧组成 资源: 我们可以认为资源是一个对象,一个任何我们要谈论的事物:地点,人,旅馆… 每个资源有一个URI:统一资源标识符 并不一定是一个可访问的资源 可以是一个URL(统一资源定位符),或其他种类的唯一标识符 Ontology描述语言： RDF(Resource Description Framework ): 属性: 一类特殊的资源 用来描述资源之间的关系:written by;age 同样用URI来标识 陈述: 声明资源的属性 是一个对象,属性,值的三元组(即一个资源,一个属性,一个值) Ontology描述语言： RDF(Resource Description Framework ): 陈述: David Billington is the owner of the Web page .au/_db 三元组形式 : ( “David Billington”, /site-owner, .au/_db ). 基于图的表示方法: 带有标签节点与弧的有向图，弧从资源（陈述的主体）指向值（陈述的客体）。在人工智能领域中这种图形被称作语义网 Ontology描述语言： RDF/RDFS的局限性： 属性的范围：不能声明只适用于某些类的范围约束 类的不相交：RDFS只能陈述子类关系。 类的布尔组合：我们希望用并、补、交来链接其他类构造新的类 基数约束：希望对一个属性可能或者至少取多少值设置约束 属性的特殊特征：需指出一个属性是传递的，唯一的或是另外一个属性的反属性 Ontology描述语言： 本体描述语言 OWL Lite OWL DL OWL Full 本体描述语言 Owl Lite原语： equivalentClass equivalentProperty sameIndividualAs differentFrom allDifferent intersectionOf 本体描述语言 Owl Lite属性描述：inverseOfTransitivePropertySymmetricPropertyFunctionalPropertyInverseFunctionalProperty 本体描述语言 Owl Lite属性限制allValuesFromsomeValuesFromminCardinalitymaxCardinalitycardinality 描述逻辑的定义 描述逻辑（Description Logic）是基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑。它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。 源于语义网络和KL-ONE 是一阶逻辑FOL的一个可判定的子集 建立在概念和关系(Role)之上 概念解释为对象的集合 关系解释为对象之间的二元关系 具有合适定义的语义(基于逻辑) 描述逻辑发展历史 一阶逻辑: Mary is a female: female(Mary) John is a male: male(John) Everybody is male or female: x: male(x) V female(x) 简单的推理： ? (male(Mary)) 描述逻辑发展历史 语义网络是心理学家Quillian在1968年提出的用以刻画人脑联想行为的一个显式的心理学模型。它用语义概念（结点）与概念间的语义关联性（结点间的连线）来描述一个系统的静态组成，有着很强的描述能力。 语义网络使用带标签的弧连接的节点集合来表示信息，节点表示对象，概念或是事件；弧表示节点之间的关系。 描述逻辑发展历史 框架是把某一特殊事件或对象的所有知识存储在一起的一种复杂的数据结构。为了表示生活和工作中相对固定的情况，1975年，Minsky提出了基于框架的表示方法。它包含过去定义的内在关系的说明信息和过程信息，依靠它们可以利用以前获得的知识来解释新的数据。 描述逻辑的体系结构 一个描述逻辑系统包括四个基本的组成部分： （1）表示概念和关系的构造集； （2）Tbox术语集（概念术语的断言集合）； （3）Abox断言集（个体的断言集合）； （4）Tbox和Abox上的推理机制。 不同的描述逻辑系统的表示能力与推理机制由于对这四个组成部分的不同选择而不同。 描述逻辑的体系结构 概念和关系 概念——解