示例描述
图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:
&#