test002-in.nt

来自「这是外国一个开源推理机」· NT 代码 · 共 12 行

# Input file for RDF Model Theory inferencer test case base on the RDF MT
# specification of 23 January 2003
# Description: An instance of a class is also an instance of all superclasses
# of that class.
# Relevant inferencing rules: rdfs9
# Author: Arjohn Kampman ([e-mail])
<http://example.org/inst> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/SubClass>.
<http://example.org/SubClass> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/SuperClass>.

<http://example.org/inst> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:SubClass.
_:SubClass <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:SuperClass.