error003-in.nt

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

# Input file for RDF Model Theory inferencer test case base on the RDF MT
# specification of 23 January 2003
# Description: Statement inheritance does not apply when the "superproperty"
# is a bNode.
# Relevant inferencing rules: rdfs6
# Author: Arjohn Kampman ([e-mail])
<http://example.org/subProp> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> _:bNode.
<http://example.org/A> <http://example.org/subProp> <http://example.org/B>.