@prefix r: <http://www.w3.org/2002/03owlt/resultsOntology#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <#>.

:euler rdfs:comment """<a xmlns="http://www.w3.org/1999/xhtml" href="http://eulersharp.sourceforge.net/2003/03swap/">EulerSharp</a>
is an inference engine supporting logic based proofs.
It is a backward-chaining reasoner enhanced with Euler path detection and will tell
you whether a given set of facts and rules supports a given conclusion.
To parse the manifests and the test documents Jena 2 is used."""^^rdf:XMLLiteral;
rdfs:label "EulerSharp";
rdfs:seeAlso <http://eulersharp.sourceforge.net/2003/03swap/>.


[ r:test <http://www.agfa.com/w3c/euler/authen.axiom.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_authen_axiom.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/graph.axiom.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_graph_axiom.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/gedcom-relations.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_gedcom_relations.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/danc.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_danc.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/ziv.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_ziv.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/danb.n3>; r:begins "2005-09-29T13:07:18Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_danb.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/test.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_test.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/animal.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_animal.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/subprop.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_subprop.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/subclass.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_subclass.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/rdfs-facts.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_rdfsfacts.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/owl-facts.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_owlfacts.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/ziv.n3>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_builtins.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_rdftests_rdfcore_entailment_etc001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>; r:begins "2005-09-29T13:07:19Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:19Z"^^xsd:dateTime; r:system :euler; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>; r:begins "2005-09-29T13:07:20Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:20Z"^^xsd:dateTime; r:system :euler; a r:PassingRun, r:TestRun].
[ r:test <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3>; r:begins "2005-09-29T13:07:20Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_RGML_N3_rgml_rules.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2001/08swws67/poolGame-kb.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_08swws67_poolGamekb.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_2000_10_swap_test_pathCross.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/dtP.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_dtP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_2002_10_medicad_op_lldmD.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://eulersharp.sourceforge.net/2003/01calt/pimP.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_eulersharp_pimP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/rdf-facts.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_logfacts.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.agfa.com/w3c/euler/easterP.n3>; r:begins "2005-09-29T13:07:21Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_euler_easterP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3>; r:begins "2005-09-29T13:07:22Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_eulersharp_continentsP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_rdftests_rdfcore_ntriples_test.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/mapInvP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_mapInvP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/mapVocabP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_mapVocabP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/oneOfP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_oneOfP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/pathTransitiveP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_pathTransitiveP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/unionOfP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_unionOfP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/sameGuyP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_sameGuyP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/sameStateP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_sameStateP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/dbP.n3>; r:begins "2005-09-29T13:07:23Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_dbP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/intersectionOfP.n3>; r:begins "2005-09-29T13:07:24Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_intersectionOfP.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2002/03owlt/SocratesP.n3>; r:begins "2005-09-29T13:07:24Z"^^xsd:dateTime; r:ends "2005-09-29T13:07:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_ETC3_03owlt_SocratesP.n3>; a r:PassingRun, r:TestRun].