error002-out.nt

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

# Output file for RDF Model Theory inferencer test case
# The inferred triples should NOT contain the following triple(s):
<http://www.w3.org/1999/02/22-rdf-syntax-ns#_> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty>.
<http://www.w3.org/1999/02/22-rdf-syntax-ns#_X> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty>.
<http://www.w3.org/1999/02/22-rdf-syntax-ns#_01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty>.
<http://www.w3.org/1999/02/22-rdf-syntax-ns#_-1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty>.