testcases.rdf-mt-inferencing.subclassof.error001-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: subClassOf rules do not apply to literals
# Relevant inferencing rules: rdfs8
# Author: Arjohn Kampman ([email protected])
.
"Hello World!".
_:A _:B.
_:B "Hello World!".