test001-in.nt

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

# Input file for RDF Model Theory inferencer test case base on the RDF MT
# specification of 23 January 2003
# Description: Every resource that is used in the subject or object of
# a statement is of type rdfs:Resource and the predicate is of type
# rdf:Property.
# Relevant inferencing rules: rdf1, rdfs4a, rdfs4b
# Author: Arjohn Kampman ([e-mail])
<http://example.org/subj> <http://example.org/prop> <http://example.org/obj>.
_:subj <http://example.org/prop> _:obj.