All Downloads are FREE. Search and download functionalities are using the official Maven repository.

testcases.rdf-mt-inferencing.subclassof.test001-in.nt Maven / Gradle / Ivy

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.




© 2015 - 2024 Weber Informatics LLC | Privacy Policy