# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

()!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

()!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

()!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/authen.axiom.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/authen.axiom.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_8>. 
 {<http://www.agfa.com> :w3cmember <http://www.w3.org>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_9>. 
 {<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_10>} e:sequent {
{<mailto:jos.deroo@agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_16>}. 

# Proof found in 3 steps (300000 steps/sec) using 1 engine (4 triples)
}.


# Proof found in 4 steps (400000 steps/sec) using 1 engine (4 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/graph.axiom.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/graph.axiom.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
 {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
  {:angers :oneway :nantes} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_20>} e:sequent {
 {:angers :route :nantes} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
 {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
  {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
   {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
    {:lemans :twoway :angers} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_18>} e:sequent {
   {:lemans :oneway :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
  {:lemans :route :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
  {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
   {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
    {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
     {:chartres :twoway :lemans} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_17>} e:sequent {
    {:chartres :oneway :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {:chartres :route :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
   {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
    {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
     {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
      {:parijs :twoway :chartres} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_12>} e:sequent {
     {:parijs :oneway :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
    {:parijs :route :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
     {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
      {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
       {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
        {:parijs :twoway :orleans} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_11>} e:sequent {
       {:orleans :twoway :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
      {:orleans :oneway :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
     {:orleans :route :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
     {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
      {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
       {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
        {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {:orleans :twoway :blois} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_14>} e:sequent {
        {:blois :twoway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
       {:blois :oneway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
      {:blois :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
      {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
       {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
        {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {:orleans :twoway :blois} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_14>} e:sequent {
        {:orleans :oneway :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
       {:orleans :route :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
       {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
        {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
          {:orleans :twoway :bourges} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_15>} e:sequent {
         {:bourges :twoway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
        {:bourges :oneway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
       {:bourges :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
      {:bourges :route :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
     {:bourges :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
    {:bourges :route :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
   {:bourges :route :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
  {:bourges :route :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
 {:bourges :route :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{:bourges :route :nantes} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 

# Proof found in 1127 steps (37554 steps/sec) using 1 engine (310 triples)
}.


# Proof found in 1128 steps (37587 steps/sec) using 1 engine (310 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{{:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Jos gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Maria gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
{:Jos gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 

# Proof found in 5 steps (500000 steps/sec) using 1 engine (718 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Rita gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Rita gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>} e:sequent {
{:Maria gc:daughter :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 

# Proof found in 8 steps (800000 steps/sec) using 1 engine (718 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Bart gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>} e:sequent {
{:Rita gc:son :Bart} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 

# Proof found in 36 steps (3600000 steps/sec) using 1 engine (718 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
   {:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
   {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
    {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
     {
      {:Rita log:notEqualTo :Jos} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
      {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_17>. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
       {(:Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
     {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_73>}} e:sequent {
    {:Jos owl:differentFrom :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
   {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
  {:Rita gc:sibling :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
  {:Jos gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>} e:sequent {
 {:Rita gc:brother :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} e:sequent {
{:Bart gc:uncle :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}. 

# Proof found in 711 steps (71100000 steps/sec) using 1 engine (718 triples)
}.


# Proof found in 764 steps (38180 steps/sec) using 1 engine (718 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/danc.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/danc#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 
{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 
{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 
{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 
{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 
{_:e72777_6_ :includes _:e72785_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 

# Proof found in 6 steps (600000 steps/sec) using 1 engine (779 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/ziv.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/ziv#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{:rec010 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :film "Pokemon 2"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec011 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :film "Billy Elliot"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec012 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :film "The Mummy"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec017 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :film "A Hard Day's Night"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec018 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :film "15 Minutes"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 

# Proof found in 340 steps (34000000 steps/sec) using 1 engine (887 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/danb.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{_:e73769_8_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_6>. 
{_:e73769_8_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_7>. 
{_:e73769_8_ agg:owner _:e73789_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_9>. 
{_:e73789_8_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_10>. 
{_:e73789_8_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_12>. 
{_:e73813_8_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_17>. 
{_:e73813_8_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_18>. 
{_:e73813_8_ agg:technologyInterest _:e73825_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_19>. 
{_:e73840_8_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_23>. 
{_:e73840_8_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_24>. 
{_:e73840_8_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_25>. 
{_:e73868_8_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_28>. 
{_:e73868_8_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_29>. 
{_:e73868_8_ agg:owner _:e73888_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_31>. 
{_:e73888_8_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_32>. 
{_:e73888_8_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_34>. 
{_:e73912_8_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_39>. 
{_:e73912_8_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_40>. 
{_:e73912_8_ agg:technologyInterest _:e73924_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_41>. 
{_:e73939_8_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_45>. 
{_:e73939_8_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_46>. 
{_:e73939_8_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_47>. 

# Proof found in 77 steps (7700000 steps/sec) using 1 engine (927 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/test.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:f foo:g {foo:h foo:i foo:j}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d {foo:e foo:f foo:g}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_14>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{foo:a foo:b foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{_:e74209_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e74209_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{foo:a foo:b _:e74216_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e74216_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e74239_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e74239_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e74239_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e74239_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e74254_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e74254_9_ foo:a _:e74261_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e74261_9_ foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e74254_9_ foo:d _:e74264_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e74264_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e74273_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e74273_9_ foo:a _:e74278_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e74278_9_ foo:b _:e74282_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e74282_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e74209_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e74303_9_ foo:c _:e74306_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e74306_9_ foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e74303_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b "c"} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_32>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:a foo:b """c d"""} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_34>. 
{foo:a foo:c "10"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_37>. 
{foo:a foo:c "blue"@en-US^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_38>. 
{foo:a foo:c "10"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^foo:mycolourspace} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_40>. 
{foo:a foo:x "blue"@en-US^^_:x_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_41>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e74368_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e74368_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:x foo:p _:e74436_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{_:e74436_9_ foo:q foo:z} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{foo:foo foo:prop "<"^^rdf:XMLLiteral} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_48>. 
{foo:bar foo:prop2 "0.5"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_49>. 
{foo:a foo:b1 "-129"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b2 "-128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b3 "127"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b4 "128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:i1 "-2147483649"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i2 "-2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i3 "2147483647"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i4 "2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:l1 "-9223372036854775809"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l2 "-9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l3 "9223372036854775807"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l4 "9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:s1 "-32769"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s2 "-32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s3 "32767"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s4 "32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:ub1 "-1"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub2 "0"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub3 "255"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub4 "256"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ui1 "-1"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui2 "0"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui3 "4294967295"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui4 "4294967296"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ul1 "-1"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul2 "0"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul3 "18446744073709551615"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul4 "18446744073709551616"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:us1 "-1"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us2 "0"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us3 "65535"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us4 "65536"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:ni1 "0"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:ni2 "-1"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:nni1 "0"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:nni2 "-1"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:npi1 "1"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:npi2 "0"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:pi1 "1"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{foo:a foo:pi2 "0"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{"0.3"^^xsd:float a xsd:integer} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_65>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:c foo:d "100"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_68>. 
{foo:e foo:f "bleu"@fr^^foo:colour} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_69>. 

# Proof found in 1230 steps (17568 steps/sec) using 1 engine (1322 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/animal.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix p0p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_8>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:e87535_10_} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_9>. 
{_:e87535_10_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_10>. 
{_:e87535_10_ <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_11>. 
{_:e87535_10_ <http://www.daml.org/2000/12/daml+oil#cardinality> "2"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_12>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_13>. 

# Proof found in 7 steps (700000 steps/sec) using 1 engine (1328 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subprop.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p0p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/subprop#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subprop.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p8: <http://www.agfa.com/w3c/euler/subclass#>.
@prefix p21: <http://example/vocab#>.
@prefix p0p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/subprop#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.

{{:husband rdfs:subPropertyOf :spouse} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_8>. 
 {{:firstHusband rdfs:subPropertyOf :husband} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_7>. 
  {:Mary :firstHusband :Dan} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_10>} e:sequent {
 {:Mary :husband :Dan} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{:Mary :spouse :Dan} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 

# Proof found in 4 steps (400000 steps/sec) using 1 engine (1388 triples)
}.


# Proof found in 5 steps (499 steps/sec) using 1 engine (1388 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subclass.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p21: <http://example/vocab#>.
@prefix p0p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix p4: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix p23: <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix p13: <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix p19: <http://www.agfa.com/w3c/euler/easterP#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix p3: <http://www.agfa.com/w3c/euler/authen.axiom#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix p9: <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix p22: <http://www.w3.org/2002/03owlt/myList#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p12: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix p18: <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subclass.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix p0p3: <http://www.agfa.com/w3c/euler/danc#>.
@prefix fred: <http://www.w3.org/2002/03owlt/fred#>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix p2: <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix p21: <http://example/vocab#>.
@prefix p0p0p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix p27: <http://www.w3.org/2002/03owlt/SocratesP#>.
@prefix p11: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix p17: <http://eulersharp.sourceforge.net/2003/01calt/pimP#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix p1: <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix p7: <http://www.agfa.com/w3c/euler/subprop#>.
@prefix p20: <http://eulersharp.sourceforge.net/2003/05geot/continentsP#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix p26: <http://www.w3.org/2002/03owlt/intersectionOf#>.
@prefix p10: <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix p16: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix p1p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix p6: <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix p2p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix p25: <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix p15: <http://www.agfa.com/w3c/euler/dtP#>.
@prefix p0p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p5: <http://www.agfa.com/w3c/euler/danb#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix p24: <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix your: <http://example/yourVocab#>.
@prefix my: <http://example/myVocab#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix db: <http://www.w3.org/2002/03owlt/db#>.
@prefix p14: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix dt: <http://w