testcases.rdf-mt-inferencing.subclassof.test001-in.nt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of rdf4j-sail-testsuite Show documentation
Show all versions of rdf4j-sail-testsuite Show documentation
Reusable tests for Sail API implementations
The newest version!
# Input file for RDF Model Theory inferencer test case base on the RDF MT
# specification of 23 January 2003
# Description: rdfs:subClassOf is transitive
# Relevant inferencing rules: rdfs8
# Author: Arjohn Kampman ([email protected])
.
.
_:A _:B.
_:B _:C.