《语义网基础教程(原书第3版)》—— 2.8 RDF和RDFS的一个直接推理系统-阿里云开发者社区

开发者社区> 华章出版社> 正文

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

简介:

本节书摘来自华章出版社《语义网基础教程(原书第3版)》一 书中的第2章,第2.8节,作者:(希)Grigoris Antoniou(荷)Paul Groth(荷)Frank van Harmelen(荷)Rinke Hoekstra ,更多章节内容可以访问云栖社区“华章计算机”公众号查看。

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模式中的值域定义不是用来约束一个属性的值域,而是推导值域的成员关系。
规则闭集的总数不超过几十个,并且无需经验丰富的定理证明技术来高效实现。

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

分享:

华章出版社

官方博客
官网链接