testcases.rdf-mt-inferencing.range.test001-in.nt Maven / Gradle / Ivy
# Input file for RDF Model Theory inferencer test case base on the RDF MT
# specification of 23 January 2003
# Description: In a statement with a non-literal object, the object
# has any range restrictions on the property as it's type.
# Relevant inferencing rules: rdfs3
# Author: Arjohn Kampman ([email protected])
.
_:RangeClass.
.