entailment test case level 5 from Jos De_Roo on 2002-02-16 (www-archive@w3.org from February 2002)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 16 Feb 2002 01:55:47 +0100
To: www-archive@w3.org
Message-ID: <OF0503C8B5.2AF3FF9B-ONC1256B62.0003F645@agfa.be>
# $Id: etc5.n3,v 1.1 2002/02/16 00:39:33 amdus Exp $

# PxButton | test | euler etc5.n3 | entailment test case level 5

@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:entails
  <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/2001/10/daml+oil#> )
  log:entails
  <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/2001/10/daml+oil#> )
  log:entails
  <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/2001/10/daml+oil#> )
  log:entails
  <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/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.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/2001/10/daml+oil#> )
  log:notEntails
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test006.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/2001/10/daml+oil#> )
  log:notEntails
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test007.nt> .

( <http://www.agfa.com/w3c/euler/authen.axiom.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/authen.lemma.n3> .

( <http://www.agfa.com/w3c/euler/graph.axiom.n3>
  <http://www.w3.org/2000/01/rdf-schema#>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/euler/graph.lemma.n3> .

( <http://www.agfa.com/w3c/euler/gedcom-relations.n3>
  <http://www.agfa.com/w3c/euler/gedcom-facts.n3>
  <http://www.w3.org/2000/01/rdf-schema#>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/euler/gedcom-query.n3> .

( <http://www.agfa.com/w3c/euler/danc.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/danc-query.n3> .

( <http://www.agfa.com/w3c/euler/ziv.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/ziv-query.n3> .

( <http://www.agfa.com/w3c/euler/danb.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/danb-query.n3> .

( <http://www.agfa.com/w3c/euler/tpoint-facts.n3>
  <http://www.agfa.com/w3c/euler/tpoint.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/tpoint-query.n3> .

( <http://www.agfa.com/w3c/euler/test.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/test-test.n3> .

( <http://www.agfa.com/w3c/euler/animal.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/animal-simple.n3> .

( <http://www.agfa.com/w3c/euler/rdfc25May.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/rdfc25May-test.n3> .

( <http://www.agfa.com/w3c/euler/subprop.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/subprop-query.n3> .

( <http://www.agfa.com/w3c/euler/subclass.n3> )
  log:entails
  <http://www.agfa.com/w3c/euler/subclass-query.n3> .

( <http://www.agfa.com/w3c/euler/rdf-facts.n3>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.agfa.com/w3c/euler/rdfs-query.n3> .

( <http://www.agfa.com/w3c/euler/owl-facts.n3>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/euler/owl-query.n3> .

( <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3>
  <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3> )
  log:entails
  <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph_query.n3> .

( <http://cvs.ilrt.org/cvsweb/~checkout~/redland/raptor/tests/test.nt> )
  log:entails
  <http://cvs.ilrt.org/cvsweb/~checkout~/redland/raptor/tests/test.nt> .

( <http://www.w3.org/2001/08swws67/poolGame-kb.n3> )
  log:entails
  <http://www.agfa.com/w3c/n3/poolGame-query-web.n3> .

( )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3> .

( )
  log:entails
  <http://www.agfa.com/w3c/n3/p8e.n3> .

( <http://www.agfa.com/w3c/n3/graph.axiom.n3>
  <http://www.w3.org/2000/01/rdf-schema#>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/n3/graph.proof.n3> .

( <http://www.agfa.com/w3c/n3/graph.axiom.n3>
  <http://www.w3.org/2000/01/rdf-schema#>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/n3/graph.check.n3> .

( <http://www.agfa.com/w3c/n3/tpoint-facts.n3>
  <http://www.agfa.com/w3c/n3/tpoint.n3> )
  log:entails
  <http://www.agfa.com/w3c/n3/tpoint-proof.n3> .

( <http://www.agfa.com/w3c/n3/tpoint-facts.n3>
  <http://www.agfa.com/w3c/n3/tpoint.n3> )
  log:entails
  <http://www.agfa.com/w3c/n3/tpoint-check.n3> .

( <http://www.agfa.com/w3c/n3/b4.nt> )
  log:entails
  <http://www.agfa.com/w3c/n3/b5.nt> .

( <http://www.agfa.com/w3c/n3/p1.nt> )
  log:entails
  <http://www.agfa.com/w3c/n3/p2.nt> .

( <http://www.agfa.com/w3c/n3/p4.nt> )
  log:entails
  <http://www.agfa.com/w3c/n3/p5.nt > .

( <http://www.agfa.com/w3c/n3/p7.nt>
  <http://www.agfa.com/w3c/n3/p7s.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.agfa.com/w3c/n3/p8.nt> .

( <http://www.agfa.com/w3c/n3/p7.nt>
  <http://www.agfa.com/w3c/n3/p7s.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.agfa.com/w3c/n3/p8.nt> .
Received on Friday, 15 February 2002 19:56:35 UTC