test002-out.nt

这是外国一个开源推理机

# Output file for RDF Model Theory inferencer test case
# The inferred triples should at least contain the following triple(s):
<http://example.org/inst> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/SuperClass>.
<http://example.org/inst> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:SuperClass.