使用RDFS推理规则判断S蕴涵E的示例

示例描述

图S：

@prefix ex: <http://example.org/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ex:John a ex:Student ;
       foaf:name "John" .

ex:Student rdfs:subClassOf foaf:Person .

图E：

@prefix ex: <http://example.org/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

ex:John a foaf:Person .

图S声明ex:John是一个ex:Student，并且ex:Student是foaf:Person的子类（rdfs:subClassOf）。图E声明ex:John是一个foaf:Person。为了使图S蕴涵图E，需要应用RDFS推理规则。

步骤分析

初始图S和图E

图S：

&#