OWL-精选版.ppt

描述逻辑中的推理 描述逻辑的重要特征是其具有很强表达能力的同时又具有可判定性，它能保证推理过程总能停止并返回正确结果。描述逻辑中的可满足性问题是可判定的，其它推理问题基本上可以归结为可满足性问题，可满足性问题是描述逻辑推理的主要问题。描述逻辑中的推理问题其计算复杂性一般是多项式时间的。但通常由于构造的不同，其复杂性也有一定的差异。Schmidt和Smolka首先发现了用于描述逻辑ALC的Tableau算法，该算法能在多项式时间内判定ALC概念的可满足性问题。 * 描述逻辑的特点 描述逻辑具有以下特点： （1）它有清晰的模型-理论机制，具有很强的表达能力； （2）适合于通过概念分类学来表示应用领域； （3）提供了可判定的推理服务，能保证推理算法总能停止，并返回正确的结果。 * 描述逻辑相关研究 描述逻辑的基础研究 描述逻辑中的基础研究包括构造算子、表示和推理的基本问题，如可满足性、包含检测、一致性、可判定性等。一般都在最基本的ALC的基础上在扩展一些构造算子，如数量约束、逆关系、特征函数、关系的复合、TBox和Abox上的推理问题、包含检测算法等，以及Tableau算法的扩展、复杂性及优化策略等。 * OWL DL 语法及其解释 * OWL DL公理与事实： * 开放世界语义对本体构建的影响 封闭世界假定(Closed World Assumption, CWA)：如果我们在知识库中推不出P或P的否定，就把P的否定加入知识库 开放世界假定(Open World Assumption,OWA) 本体构建中采用OWA:web是开放的，相关知识可能分布在Web上的不同场所 * * * * OWL 饶国政 天津大学 计算机学院 2015-03-26 rgz@ * 本体概念： 范畴 提出时间/提出人 定义 哲学 客观存在的一个系统的解释和说明，客观现实的一个抽象本质 计算机 1991/Neches等 给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义 1993/Gruber 概念模型的明确的规范说明 1997/Borst 共享概念模型的形式化规范说明 1998/Studer 共享概念模型的明确的形式化规范说明 Ontology的四层含义： 概念模型（cerptualization） 通过抽象出客观世界中一些现象（Phenomenon）的相关概念而得到的模型，其表示的含义独立于具体的环境状态 明确（explicit） 所使用的概念及使用这些概念的约束都有明确的定义 形式化（formal） Ontology是计算机可读的。 共享（share） Ontology中体现的是共同认可的知识，反映的是相关领域中公认的概念集，它所针对的是团体而不是个体。 Ontology的目标是捕获相关的领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可的词汇，并从不同层次的形式化模式上给出这些词汇（术语）和词汇之间相互关系的明确定义。 * 本体的种类： Top-level Ontology Domain Ontology Task Ontology Application Ontology * 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/RDF