entailment test case level 5 from Jos De_Roo on 2002-04-19 (www-archive@w3.org from April 2002)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 19 Apr 2002 16:00:28 +0200
To: www-archive@w3.org
Message-ID: <OFDE34C0FF.246D25E7-ONC1256BA0.004C2B57@agfa.be>
# $Id: etc5.n3,v 1.15 2002/04/19 10:43:30 amdus Exp $

# PxButton | test | java Euler http://www.agfa.com/w3c/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/Manifest.n3> )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3> .

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

( <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.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.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>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.agfa.com/w3c/euler/subprop-query.n3> .

( <http://www.agfa.com/w3c/euler/subclass.n3>
  <http://www.w3.org/2000/01/rdf-schema#> )
  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/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.proof.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.check.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-proof.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-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#>
  <http://www.w3.org/2002/rdf-datatyping#> )
  log:entails
  <http://www.agfa.com/w3c/n3/p8.nt> .

( <http://www.w3.org/2002/03owlt/sameGuyP.n3>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.w3.org/2002/03owlt/sameGuyC.n3> .

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

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

# END

# (See attached file: etc5.proof.n3)
Attachments

application/octet-stream attachment: etc5.proof.n3
Received on Friday, 19 April 2002 10:17:52 UTC