《语义网基础教程(原书第3版)》—— 2.8 RDF和RDFS的一个直接推理系统

2.8 RDF和RDFS的一个直接推理系统

如前所述,在2.7节中详细介绍的公理化语义可以用作RDF和RDF模式的自动化推理。但是,它需要一阶逻辑证明系统来实现。这是一个很重的需求,并且当涉及数以百万计(亿计)的声明时很难扩展(例如,数以百万计的Type(?r, ?c)形式的声明)。
出于这个原因,RDF也被赋予了一个基于RDF三元组的语义(以及针对这种语义的完备的推导系统),取代基于一阶逻辑来重述RDF,正如在2.7节中介绍过的公理化语义。
推导系统包含如下形式的规则:
IF E包含某些三元组
THEN添加一些额外的三元组到E
(其中E是任意一个RDF三元组的集合)。
这里不再重复所有的推导规则(这些规则可以在官方的RDF文档中找到),在这里给出几个基本的例子:
IF E包含三元组(?x, ?p, ?y)
THEN E也包含三元组(?p, rdf:type, rdf:Property)
这表明任何一个用于一个三元组的属性位置的资源?p可以推导出它是rdf:Property类的一个成员。
一个或许更加有趣的例子是下面的规则:
IF E包含三元组(?u, rdfs:subClassOf, ?v)和(?v, rdfs:subClassOf, ?w)
THEN E也包含三元组(?u, rdfs:subClassOf, ?w)
这体现了子类关系的传递性。
相关的规则包括:
IF E包含三元组(?x, rdf:type, ?u)和(?u, rdfs:subClassOf, ?v)
THEN E也包含三元组(?x, rdf:type, ?v)
这定义了rdfs:subClassOf含义的本质。
最后一个例子常令第一次了解RDF模式的人感到惊讶:
IF E包括三元组(?x, ?p, ?y)和(?p, rdfs:range, ?u)
THEN E也包含三元组(?y, rdf:type, ?u)
这个例子说明任何一个资源?y作为一个属性?p的值出现时,它可以被推导出是?p的值域的一个成员。这说明RDF模式中的值域定义不是用来约束一个属性的值域,而是推导值域的成员关系。
规则闭集的总数不超过几十个,并且无需经验丰富的定理证明技术来高效实现。

时间: 2024-10-26 02:04:31

《语义网基础教程(原书第3版)》—— 2.8 RDF和RDFS的一个直接推理系统的相关文章

《语义网基础教程(原书第3版)》—— 导读

前 言 与传统观念不同的是,信息系统作为量身定做的.成本密集型的数据库应用的时光一去不复返了.这种变化一部分是受到逐渐成熟的软件产业的推动(软件产业大量使用了现成的通用组件和标准的软件解决方案),而另一部分则是由于信息革命的冲击.反过来,这种改变导致了对信息服务的一系列全新需求,即要求其表示模式与交互模式的统一性.软件体系结构的开放性以及使用范围的全局性.这些需求主要来自诸如电子商务.银行业.制造业(包括软件产业本身).培训.教育和环境管理等领域,恕不一一列举. 未来的信息系统必须支持与各种运行

《语义网基础教程(原书第3版)》—— 1.1 引言

1.1 引言 1.1.1 语义网的动机 "语义网"的主要愿景可以概括为一句话:使计算机更能解读万维网(to make the web more accessible to computers).当前万维网是一个文字和图片网络,这些媒体对人而言很有用,但是计算机在目前的万维网上只发挥了非常有限的作用:它们索引关键词,将信息从服务器端传输到客户端,仅此而已.所有的智能工作(选择.组合.聚集等)必须通过人类读者来完成.如果我们能够使得万维网更适合机器处理,使得万维网上充满机器可读取.&quo

《语义网基础教程(原书第3版)》—— 第1章 语义网的愿景

第1章 语义网的愿景 1.1 引言 1.1.1 语义网的动机 "语义网"的主要愿景可以概括为一句话:使计算机更能解读万维网(to make the web more accessible to computers).当前万维网是一个文字和图片网络,这些媒体对人而言很有用,但是计算机在目前的万维网上只发挥了非常有限的作用:它们索引关键词,将信息从服务器端传输到客户端,仅此而已.所有的智能工作(选择.组合.聚集等)必须通过人类读者来完成.如果我们能够使得万维网更适合机器处理,使得万维网上充

《语义网基础教程(原书第3版)》—— 1.2 语义网技术

1.2 语义网技术 1.2.1 显式元数据 当前,万维网上内容的格式更适合人类读者而非计算机程序.HTML是(直接或借助工具)撰写网页的主流语言.一个理疗师的典型网页的一部分可能如下所示: 对人们而言,这些信息以一个令人满意的方式表达,但是对机器而言则存在问题.基于关键词的搜索会识别physiotherapy和consultation hours等词.并且一个智能agent甚至能够识别该中心的全体人员.但是,区分治疗师和秘书则会存在困难,查找准确的咨询时间还会碰到更大的困难(因为不得不沿着Sta

《语义网基础教程(原书第3版)》—— 2.1 引言

2.1 引言 万维网的成功展现了使用标准化的信息交换和通信机制的力量.HTML是编辑网页的标准语言.它允许任何人发布一个文档并且相信该文档可以被任何万维网浏览器正确呈现.HTML和其他交换语言都拥有以下3个组成元素:语法.数据模型和语义.语法告诉我们如何撰写数据.数据模型告诉我们数据的结构或组织形式.语义告诉我们如何解释数据.我们可以通过下面的HTML片段展现上述每个组成元素: HTML的语法是用尖括号撰写的带标签文本(例如 ).HTML的数据模型称为文档对象模型(Document Object

《语义网基础教程(原书第3版)》—— 第3章 查询语义网

第3章 查询语义网 在上一章中,我们学会了如何使用RDF来表示知识.当信息被表示为RDF后,出于推理和应用开发的需要,我们需要能够存取其中相关的部分.在本章中,我们将把注意力集中于一个叫做SPARQL的查询语言,它能够让我们通过选择.抽取等方式很容易地从被表示为RDF的知识中获得特定的部分.SPARQL是专为RDF设计的,适合并依赖于万维网上的各种技术.如果你熟悉诸如SQL等数据库查询语言,你会发现SPARQL和它们有很多相似之处.即便你不熟悉-本章也不假设你已熟悉,本章将为你从头开始学习提供一

《语义网基础教程(原书第3版)》—— 第2章 描述万维网资源:RDF

第2章 描述万维网资源:RDF 2.1 引言 万维网的成功展现了使用标准化的信息交换和通信机制的力量.HTML是编辑网页的标准语言.它允许任何人发布一个文档并且相信该文档可以被任何万维网浏览器正确呈现.HTML和其他交换语言都拥有以下3个组成元素:语法.数据模型和语义.语法告诉我们如何撰写数据.数据模型告诉我们数据的结构或组织形式.语义告诉我们如何解释数据.我们可以通过下面的HTML片段展现上述每个组成元素: HTML的语法是用尖括号撰写的带标签文本(例如 ).HTML的数据模型称为文档对象模型

《语义网基础教程(原书第3版)》—— 1.4 本书内容安排

1.4 本书内容安排 在这本书中,我们关注的是已经达到一个合理成熟度的语义网技术. 第2章讨论RDF和RDF模式.RDF是一种用于表达有关对象(资源)的声明的语言:它是一个标准的数据模型以提供机器可处理的语义.RDF模式提供了一组用于将RDF词汇表组织成带类型的层次结构的建模原语. 第3章致力于介绍SPARQL查询语言,它在RDF领域中起到的作用与SQL在关系领域中的作用相同. 第4章讨论OWL2,它是万维网本体语言OWL的最新修订版.OWL2提供了比RDF模式更多的建模原语,并且它拥有清晰的.

《语义网基础教程(原书第3版)》—— 1.5 小结

1.5 小结 语义网是一场旨在改进当前万维网状况的运动. 其核心思想是机器可处理的万维网信息的使用. 其核心技术包括发布带有显式元数据的数据.本体.逻辑和推理. 语义网的开发是分层次进行的.