# $Id: etc001.n3,v 1.15 2003/02/16 22:30:21 jderoo Exp $

# PxButton | test | java Euler http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001 | entailment test case

@prefix log: <http://www.w3.org/2000/10/swap/log#> .

( <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>
  <http://www.w3.org/2000/01/rdf-schema> ) log:implies
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>
  <http://www.w3.org/2000/01/rdf-schema>
  <http://www.w3.org/2002/07/owl> ) log:implies
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>
  <http://www.w3.org/2000/01/rdf-schema>
  <http://www.w3.org/2002/07/owl> ) log:implies
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>
  <http://www.w3.org/2000/01/rdf-schema>
  <http://www.w3.org/2002/07/owl> ) log:implies
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> .

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>
  <http://www.w3.org/2000/01/rdf-schema>
  <http://www.w3.org/2002/07/owl> ) log:implies
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt> .