testcases.rdf-mt-inferencing.subpropertyof.test003-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: From the existence of a statement, the existence of statements
# with superproperties of the predicate can be inferred.
# Relevant inferencing rules: rdfs6
# Author: Arjohn Kampman ([email protected])
.
.