# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:08 GMT @prefix log: . @prefix e: . ()!log:conjunction e:constructs { @prefix e: . @prefix q: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT @prefix log: . @prefix e: . ()!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT @prefix log: . @prefix e: . ()!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT @prefix log: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:09 GMT @prefix log: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{ :member } e:evidence . { :w3cmember } e:evidence . { :subscribed } e:evidence } e:sequent { { :authenticated } e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {:angers :oneway :nantes} e:evidence } e:sequent { {:angers :route :nantes} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {:lemans :twoway :angers} e:evidence } e:sequent { {:lemans :oneway :angers} e:evidence }} e:sequent { {:lemans :route :angers} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {:chartres :twoway :lemans} e:evidence } e:sequent { {:chartres :oneway :lemans} e:evidence }} e:sequent { {:chartres :route :lemans} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {:parijs :twoway :chartres} e:evidence } e:sequent { {:parijs :oneway :chartres} e:evidence }} e:sequent { {:parijs :route :chartres} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {{:twoway rdf:type owl:SymmetricProperty} e:evidence . {:parijs :twoway :orleans} e:evidence } e:sequent { {:orleans :twoway :parijs} e:evidence }} e:sequent { {:orleans :oneway :parijs} e:evidence }} e:sequent { {:orleans :route :parijs} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {{:twoway rdf:type owl:SymmetricProperty} e:evidence . {:orleans :twoway :blois} e:evidence } e:sequent { {:blois :twoway :orleans} e:evidence }} e:sequent { {:blois :oneway :orleans} e:evidence }} e:sequent { {:blois :route :orleans} e:evidence }. {{:route rdf:type owl:TransitiveProperty} e:evidence . {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {:orleans :twoway :blois} e:evidence } e:sequent { {:orleans :oneway :blois} e:evidence }} e:sequent { {:orleans :route :blois} e:evidence }. {{:oneway rdfs:subPropertyOf :route} e:evidence . {{:twoway rdfs:subPropertyOf :oneway} e:evidence . {{:twoway rdf:type owl:SymmetricProperty} e:evidence . {:orleans :twoway :bourges} e:evidence } e:sequent { {:bourges :twoway :orleans} e:evidence }} e:sequent { {:bourges :oneway :orleans} e:evidence }} e:sequent { {:bourges :route :orleans} e:evidence }} e:sequent { {:bourges :route :blois} e:evidence }} e:sequent { {:bourges :route :orleans} e:evidence }} e:sequent { {:bourges :route :parijs} e:evidence }} e:sequent { {:bourges :route :chartres} e:evidence }} e:sequent { {:bourges :route :lemans} e:evidence }} e:sequent { {:bourges :route :angers} e:evidence }} e:sequent { {:bourges :route :nantes} e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:10 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{:Jos gc:childIn :dp} e:evidence . {:Maria gc:spouseIn :dp} e:evidence } e:sequent { {:Jos gc:parent :Maria} e:evidence }. {:Maria gc:sex gc:Female} e:evidence } e:sequent { {:Jos gc:mother :Maria} e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{:Rita gc:childIn :dp} e:evidence . {:Maria gc:spouseIn :dp} e:evidence } e:sequent { {:Rita gc:parent :Maria} e:evidence }. {:Rita gc:sex gc:Female} e:evidence } e:sequent { {:Maria gc:daughter :Rita} e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{:Bart gc:childIn :gd} e:evidence . {:Rita gc:spouseIn :gd} e:evidence } e:sequent { {:Bart gc:parent :Rita} e:evidence }. {:Bart gc:sex gc:Male} e:evidence } e:sequent { {:Rita gc:son :Bart} e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{:Bart gc:childIn :gd} e:evidence . {:Rita gc:spouseIn :gd} e:evidence } e:sequent { {:Bart gc:parent :Rita} e:evidence }. {{{:Rita gc:childIn :dp} e:evidence . {:Jos gc:childIn :dp} e:evidence . {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence . {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence . { {:Rita log:notEqualTo :Jos} e:evidence . {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence . {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence . {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence } e:sequent { {(:Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence }} e:sequent { {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence }. {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence } e:sequent { {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Jos} e:evidence }} e:sequent { {:Rita owl:differentFrom :Jos} e:evidence }} e:sequent { {:Jos owl:differentFrom :Rita} e:evidence }} e:sequent { {:Rita owl:differentFrom :Jos} e:evidence }} e:sequent { {:Rita gc:sibling :Jos} e:evidence }. {:Jos gc:sex gc:Male} e:evidence } e:sequent { {:Rita gc:brother :Jos} e:evidence }} e:sequent { {:Bart gc:uncle :Jos} e:evidence }. # 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: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {_:e72777_6_ :includes _:e72785_6_} e:evidence . {_:e72777_6_ :includes _:e72785_6_} e:evidence . {_:e72777_6_ :includes _:e72785_6_} e:evidence . {_:e72777_6_ :includes _:e72785_6_} e:evidence . {_:e72777_6_ :includes _:e72785_6_} e:evidence . {_:e72777_6_ :includes _:e72785_6_} e:evidence . # 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: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {:rec010 :year 2001} e:evidence . {:rec010 :month "May"} e:evidence . {:rec010 :city "Tel Aviv"} e:evidence . {:rec010 :film "Pokemon 2"} e:evidence . {:rec010 :cinema "Globus"} e:evidence . {:rec011 :year 2001} e:evidence . {:rec011 :month "May"} e:evidence . {:rec011 :city "Tel Aviv"} e:evidence . {:rec011 :film "Billy Elliot"} e:evidence . {:rec011 :cinema "Globus"} e:evidence . {:rec012 :year 2001} e:evidence . {:rec012 :month "May"} e:evidence . {:rec012 :city "Tel Aviv"} e:evidence . {:rec012 :film "The Mummy"} e:evidence . {:rec012 :cinema "Globus"} e:evidence . {:rec017 :year 2001} e:evidence . {:rec017 :month "May"} e:evidence . {:rec017 :city "Jerusalem"} e:evidence . {:rec017 :film "A Hard Day's Night"} e:evidence . {:rec017 :cinema "Globus"} e:evidence . {:rec018 :year 2001} e:evidence . {:rec018 :month "May"} e:evidence . {:rec018 :city "Jerusalem"} e:evidence . {:rec018 :film "15 Minutes"} e:evidence . {:rec018 :cinema "Globus"} e:evidence . # 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: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {_:e73769_8_ a agg:Company} e:evidence . {_:e73769_8_ agg:corporateHomepage } e:evidence . {_:e73769_8_ agg:owner _:e73789_8_} e:evidence . {_:e73789_8_ a agg:Person} e:evidence . {_:e73789_8_ agg:personalMailbox } e:evidence . {_:e73813_8_ a agg:User} e:evidence . {_:e73813_8_ agg:personalMailbox } e:evidence . {_:e73813_8_ agg:technologyInterest _:e73825_8_} e:evidence . {_:e73840_8_ a agg:Organisation} e:evidence . {_:e73840_8_ agg:corporateHomepage } e:evidence . {_:e73840_8_ agg:ethicalPolicy } e:evidence . {_:e73868_8_ a agg:Company} e:evidence . {_:e73868_8_ agg:corporateHomepage } e:evidence . {_:e73868_8_ agg:owner _:e73888_8_} e:evidence . {_:e73888_8_ a agg:Person} e:evidence . {_:e73888_8_ agg:personalMailbox } e:evidence . {_:e73912_8_ a agg:User} e:evidence . {_:e73912_8_ agg:personalMailbox } e:evidence . {_:e73912_8_ agg:technologyInterest _:e73924_8_} e:evidence . {_:e73939_8_ a agg:Organisation} e:evidence . {_:e73939_8_ agg:corporateHomepage } e:evidence . {_:e73939_8_ agg:ethicalPolicy } e:evidence . # 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: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {foo:a foo:b foo:c} e:evidence . {foo:a foo:d foo:e} e:evidence . {foo:f foo:g {foo:h foo:i foo:j}} e:evidence . {foo:a foo:b foo:c} e:evidence . {foo:a foo:d {foo:e foo:f foo:g}} e:evidence . {foo:a foo:b foo:c} e:evidence . {foo:a foo:b foo:d} e:evidence . {foo:a foo:b foo:e} e:evidence . {_:e74209_9_ foo:c foo:d} e:evidence . {_:e74209_9_ foo:a foo:b} e:evidence . {foo:a foo:b _:e74216_9_} e:evidence . {_:e74216_9_ foo:c foo:d} e:evidence . {_:e74239_9_ foo:g foo:h} e:evidence . {_:e74239_9_ foo:a foo:b} e:evidence . {_:e74239_9_ foo:c foo:d} e:evidence . {_:e74239_9_ foo:e foo:f} e:evidence . {_:e74254_9_ foo:g foo:h} e:evidence . {_:e74254_9_ foo:a _:e74261_9_} e:evidence . {_:e74261_9_ foo:b foo:c} e:evidence . {_:e74254_9_ foo:d _:e74264_9_} e:evidence . {_:e74264_9_ foo:e foo:f} e:evidence . {_:e74273_9_ foo:e foo:f} e:evidence . {_:e74273_9_ foo:a _:e74278_9_} e:evidence . {_:e74278_9_ foo:b _:e74282_9_} e:evidence . {_:e74282_9_ foo:c foo:d} e:evidence . {_:e74209_9_ foo:a foo:b} e:evidence . {_:e74303_9_ foo:c _:e74306_9_} e:evidence . {_:e74306_9_ foo:d foo:e} e:evidence . {_:e74303_9_ foo:a foo:b} e:evidence . {foo:c foo:b foo:a} e:evidence . {foo:c foo:b foo:a} e:evidence . {foo:a foo:d foo:e} e:evidence . {foo:a foo:b "c"} e:evidence . {foo:a foo:b "ok"@fr} e:evidence . {foo:a foo:b """c d"""} e:evidence . {foo:a foo:c "10"^^} e:evidence . {foo:a foo:c "bleu"@fr^^} e:evidence . {foo:a foo:c "blue"@en-US^^} e:evidence . {foo:a foo:c "10"^^xsd:int} e:evidence . {foo:a foo:c "bleu"@fr^^foo:mycolourspace} e:evidence . {foo:a foo:x "blue"@en-US^^_:x_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:jos foo:spouse _:e74368_9_} e:evidence . {_:e74368_9_ foo:firstName foo:mary} e:evidence . {foo:x foo:p _:e74436_9_} e:evidence . {_:e74436_9_ foo:q foo:z} e:evidence . {foo:foo foo:prop "<"^^rdf:XMLLiteral} e:evidence . {foo:bar foo:prop2 "0.5"^^xsd:int} e:evidence . {foo:a foo:b1 "-129"^^xsd:byte} e:evidence . {foo:a foo:b2 "-128"^^xsd:byte} e:evidence . {foo:a foo:b3 "127"^^xsd:byte} e:evidence . {foo:a foo:b4 "128"^^xsd:byte} e:evidence . {foo:a foo:i1 "-2147483649"^^xsd:int} e:evidence . {foo:a foo:i2 "-2147483648"^^xsd:int} e:evidence . {foo:a foo:i3 "2147483647"^^xsd:int} e:evidence . {foo:a foo:i4 "2147483648"^^xsd:int} e:evidence . {foo:a foo:l1 "-9223372036854775809"^^xsd:long} e:evidence . {foo:a foo:l2 "-9223372036854775808"^^xsd:long} e:evidence . {foo:a foo:l3 "9223372036854775807"^^xsd:long} e:evidence . {foo:a foo:l4 "9223372036854775808"^^xsd:long} e:evidence . {foo:a foo:s1 "-32769"^^xsd:short} e:evidence . {foo:a foo:s2 "-32768"^^xsd:short} e:evidence . {foo:a foo:s3 "32767"^^xsd:short} e:evidence . {foo:a foo:s4 "32768"^^xsd:short} e:evidence . {foo:a foo:ub1 "-1"^^xsd:unsignedByte} e:evidence . {foo:a foo:ub2 "0"^^xsd:unsignedByte} e:evidence . {foo:a foo:ub3 "255"^^xsd:unsignedByte} e:evidence . {foo:a foo:ub4 "256"^^xsd:unsignedByte} e:evidence . {foo:a foo:ui1 "-1"^^xsd:unsignedInt} e:evidence . {foo:a foo:ui2 "0"^^xsd:unsignedInt} e:evidence . {foo:a foo:ui3 "4294967295"^^xsd:unsignedInt} e:evidence . {foo:a foo:ui4 "4294967296"^^xsd:unsignedInt} e:evidence . {foo:a foo:ul1 "-1"^^xsd:unsignedLong} e:evidence . {foo:a foo:ul2 "0"^^xsd:unsignedLong} e:evidence . {foo:a foo:ul3 "18446744073709551615"^^xsd:unsignedLong} e:evidence . {foo:a foo:ul4 "18446744073709551616"^^xsd:unsignedLong} e:evidence . {foo:a foo:us1 "-1"^^xsd:unsignedShort} e:evidence . {foo:a foo:us2 "0"^^xsd:unsignedShort} e:evidence . {foo:a foo:us3 "65535"^^xsd:unsignedShort} e:evidence . {foo:a foo:us4 "65536"^^xsd:unsignedShort} e:evidence . {foo:a foo:ni1 "0"^^xsd:negativeInteger} e:evidence . {foo:a foo:ni2 "-1"^^xsd:negativeInteger} e:evidence . {foo:a foo:nni1 "0"^^xsd:nonNegativeInteger} e:evidence . {foo:a foo:nni2 "-1"^^xsd:nonNegativeInteger} e:evidence . {foo:a foo:npi1 "1"^^xsd:nonPositiveInteger} e:evidence . {foo:a foo:npi2 "0"^^xsd:nonPositiveInteger} e:evidence . {foo:a foo:pi1 "1"^^xsd:positiveInteger} e:evidence . {foo:a foo:pi2 "0"^^xsd:positiveInteger} e:evidence . {"0.3"^^xsd:float a xsd:integer} e:evidence . {foo:a foo:b "ok"@fr} e:evidence . {foo:c foo:d "100"^^xsd:int} e:evidence . {foo:e foo:f "bleu"@fr^^foo:colour} e:evidence . # 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: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . { } e:evidence . { _:e87535_10_} e:evidence . {_:e87535_10_ } e:evidence . {_:e87535_10_ } e:evidence . {_:e87535_10_ "2"} e:evidence . { "Animal"} e:evidence . # 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: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:husband rdfs:subPropertyOf :spouse} e:evidence . {{:firstHusband rdfs:subPropertyOf :husband} e:evidence . {:Mary :firstHusband :Dan} e:evidence } e:sequent { {:Mary :husband :Dan} e:evidence }} e:sequent { {:Mary :spouse :Dan} e:evidence }. # 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: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:B rdfs:subClassOf :A} e:evidence . {:i a :B} e:evidence } e:sequent { {:i a :A} e:evidence }. # Proof found in 44 steps (4400000 steps/sec) using 1 engine (1448 triples) }. # Proof found in 45 steps (899 steps/sec) using 1 engine (1448 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Alt a rdfs:Class} e:evidence }. # Proof found in 18 steps (1800000 steps/sec) using 1 engine (1505 triples) }. {rdf:Alt a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Alt a rdfs:Class} e:evidence }} e:sequent { {rdf:Alt rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Bag a rdfs:Class} e:evidence }. # Proof found in 19 steps (1900000 steps/sec) using 1 engine (1505 triples) }. {rdf:Bag a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Bag a rdfs:Class} e:evidence }} e:sequent { {rdf:Bag rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence } e:sequent { {rdfs:Class a rdfs:Class} e:evidence }} e:sequent { {rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdfs:Class a rdfs:Class} e:evidence }. # Proof found in 44 steps (4400000 steps/sec) using 1 engine (1505 triples) }. {rdfs:Class a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence } e:sequent { {rdfs:Class a rdfs:Class} e:evidence }} e:sequent { {rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence } e:sequent { {rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence }. # Proof found in 20 steps (2000000 steps/sec) using 1 engine (1505 triples) }. {rdfs:ContainerMembershipProperty a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence } e:sequent { {rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence }} e:sequent { {rdfs:ContainerMembershipProperty rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence } e:sequent { {rdfs:Datatype a rdfs:Class} e:evidence }. # Proof found in 21 steps (2100000 steps/sec) using 1 engine (1505 triples) }. {rdfs:Datatype a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence } e:sequent { {rdfs:Datatype a rdfs:Class} e:evidence }} e:sequent { {rdfs:Datatype rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:range rdfs:range rdfs:Class} e:evidence . {rdfs:comment rdfs:range rdfs:Literal} e:evidence } e:sequent { {rdfs:Literal a rdfs:Class} e:evidence }} e:sequent { {rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdfs:Literal a rdfs:Class} e:evidence }. # Proof found in 57 steps (5700000 steps/sec) using 1 engine (1505 triples) }. {rdfs:Literal a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:range rdfs:range rdfs:Class} e:evidence . {rdfs:comment rdfs:range rdfs:Literal} e:evidence } e:sequent { {rdfs:Literal a rdfs:Class} e:evidence }} e:sequent { {rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdf:first rdfs:domain rdf:List} e:evidence } e:sequent { {rdf:List a rdfs:Class} e:evidence }} e:sequent { {rdf:List rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdf:List a rdfs:Class} e:evidence }. # Proof found in 35 steps (3500000 steps/sec) using 1 engine (1505 triples) }. {rdf:List a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdf:first rdfs:domain rdf:List} e:evidence } e:sequent { {rdf:List a rdfs:Class} e:evidence }} e:sequent { {rdf:List rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdfs:domain rdfs:domain rdf:Property} e:evidence } e:sequent { {rdf:Property a rdfs:Class} e:evidence }} e:sequent { {rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdf:Property a rdfs:Class} e:evidence }. # Proof found in 34 steps (3400000 steps/sec) using 1 engine (1505 triples) }. {rdf:Property a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdfs:domain rdfs:domain rdf:Property} e:evidence } e:sequent { {rdf:Property a rdfs:Class} e:evidence }} e:sequent { {rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdfs:comment rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:Resource a rdfs:Class} e:evidence }} e:sequent { {rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdfs:Resource a rdfs:Class} e:evidence }. # Proof found in 33 steps (3300000 steps/sec) using 1 engine (1505 triples) }. {rdfs:Resource a rdfs:Resource} e:evidence . {rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Seq a rdfs:Class} e:evidence }. # Proof found in 22 steps (2200000 steps/sec) using 1 engine (1505 triples) }. {rdf:Seq a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdf:Seq a rdfs:Class} e:evidence }} e:sequent { {rdf:Seq rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdf:object rdfs:domain rdf:Statement} e:evidence } e:sequent { {rdf:Statement a rdfs:Class} e:evidence }} e:sequent { {rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { {rdf:Statement a rdfs:Class} e:evidence }. # Proof found in 39 steps (3900000 steps/sec) using 1 engine (1505 triples) }. {rdf:Statement a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . {rdf:object rdfs:domain rdf:Statement} e:evidence } e:sequent { {rdf:Statement a rdfs:Class} e:evidence }} e:sequent { {rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence } e:sequent { {rdf:XMLLiteral a rdfs:Class} e:evidence }. # Proof found in 23 steps (2300000 steps/sec) using 1 engine (1505 triples) }. {rdf:XMLLiteral a rdfs:Resource} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence . {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence } e:sequent { {rdf:XMLLiteral a rdfs:Class} e:evidence }} e:sequent { {rdf:XMLLiteral rdfs:subClassOf rdfs:Resource} e:evidence }. # Proof found in 8 steps (800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdfs:comment rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:comment a rdf:Property} e:evidence }. # Proof found in 52 steps (5194 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:comment rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:domain a rdf:Property} e:evidence }. # Proof found in 13 steps (1300000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:first rdfs:domain rdf:List} e:evidence } e:sequent { {rdf:first a rdf:Property} e:evidence }. # Proof found in 54 steps (593 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdfs:isDefinedBy rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:isDefinedBy a rdf:Property} e:evidence }. # Proof found in 55 steps (5494 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdfs:label rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:label a rdf:Property} e:evidence }. # Proof found in 56 steps (5594 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdfs:member rdfs:domain rdfs:Container} e:evidence } e:sequent { {rdfs:member a rdf:Property} e:evidence }. # Proof found in 57 steps (5700000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:object rdfs:domain rdf:Statement} e:evidence } e:sequent { {rdf:object a rdf:Property} e:evidence }. # Proof found in 58 steps (5800000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:predicate rdfs:domain rdf:Statement} e:evidence } e:sequent { {rdf:predicate a rdf:Property} e:evidence }. # Proof found in 59 steps (5894 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:comment rdfs:range rdfs:Literal} e:evidence } e:sequent { {rdfs:range a rdf:Property} e:evidence }. # Proof found in 14 steps (1400000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:rest rdfs:domain rdf:List} e:evidence } e:sequent { {rdf:rest a rdf:Property} e:evidence }. # Proof found in 61 steps (6100000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdfs:seeAlso rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdfs:seeAlso a rdf:Property} e:evidence }. # Proof found in 62 steps (6193 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence } e:sequent { {rdfs:subClassOf a rdf:Property} e:evidence }. # Proof found in 6 steps (600000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso} e:evidence } e:sequent { {rdfs:subPropertyOf a rdf:Property} e:evidence }. # Proof found in 22 steps (2197 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:subject rdfs:domain rdf:Statement} e:evidence } e:sequent { {rdf:subject a rdf:Property} e:evidence }. # Proof found in 65 steps (6500000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdf:XMLLiteral rdf:type rdfs:Datatype} e:evidence } e:sequent { {rdf:type a rdf:Property} e:evidence }. # Proof found in 12 steps (1200000 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p0p0p0: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{rdfs:domain rdfs:domain rdf:Property} e:evidence . {rdf:value rdfs:domain rdfs:Resource} e:evidence } e:sequent { {rdf:value a rdf:Property} e:evidence }. # Proof found in 67 steps (6693 steps/sec) using 1 engine (1505 triples) }. # Proof found in 1218 steps (2585 steps/sec) using 1 engine (1505 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {:j owl:sameAs :i} e:evidence . {:o owl:sameAs :m} e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:H owl:oneOf (:s :m :t)} e:evidence . {{(:s :m :t) rdf:rest (:m :t)} e:evidence . {{(:m :t) rdf:first :m} e:evidence } e:sequent { {(:m :t) p0:item :m} e:evidence }} e:sequent { {(:s :m :t) p0:item :m} e:evidence }} e:sequent { {:m a :H} e:evidence }. # Proof found in 188 steps (18800000 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:y owl:intersectionOf (:b :c)} e:evidence . {:x owl:intersectionOf (:a :b :c)} e:evidence . {{(:b :c) rdf:first :b} e:evidence . {{(:a :b :c) rdf:rest (:b :c)} e:evidence . {{(:b :c) rdf:first :b} e:evidence } e:sequent { {(:b :c) p0:item :b} e:evidence }} e:sequent { {(:a :b :c) p0:item :b} e:evidence }. {:b owl:equivalentClass :b} e:evidence . {(:b :c) rdf:rest (:c)} e:evidence . {{(:c) rdf:first :c} e:evidence . {{(:a :b :c) rdf:rest (:b :c)} e:evidence . {{(:b :c) rdf:rest (:c)} e:evidence . {{(:c) rdf:first :c} e:evidence } e:sequent { {(:c) p0:item :c} e:evidence }} e:sequent { {(:b :c) p0:item :c} e:evidence }} e:sequent { {(:a :b :c) p0:item :c} e:evidence }. {:c owl:equivalentClass :c} e:evidence . {(:c) rdf:rest ()} e:evidence . {(:a :b :c) p0:includes ()} e:evidence } e:sequent { {(:a :b :c) p0:includes (:c)} e:evidence }} e:sequent { {(:a :b :c) p0:includes (:b :c)} e:evidence }} e:sequent { {:x rdfs:subClassOf :y} e:evidence }. # Proof found in 1942 steps (194005 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:y owl:intersectionOf (:b :c)} e:evidence . {{(:b :c) rdf:first :b} e:evidence . {{{:x owl:intersectionOf (:a :b :c)} e:evidence . {{(:a :b :c) rdf:rest (:b :c)} e:evidence . {{(:b :c) rdf:first :b} e:evidence } e:sequent { {(:b :c) p0:item :b} e:evidence }} e:sequent { {(:a :b :c) p0:item :b} e:evidence }} e:sequent { {:x rdfs:subClassOf :b} e:evidence }. {:J a :x} e:evidence } e:sequent { {:J a :b} e:evidence }. {(:b :c) rdf:rest (:c)} e:evidence . {{(:c) rdf:first :c} e:evidence . {{{:x owl:intersectionOf (:a :b :c)} e:evidence . {{(:a :b :c) rdf:rest (:b :c)} e:evidence . {{(:b :c) rdf:rest (:c)} e:evidence . {{(:c) rdf:first :c} e:evidence } e:sequent { {(:c) p0:item :c} e:evidence }} e:sequent { {(:b :c) p0:item :c} e:evidence }} e:sequent { {(:a :b :c) p0:item :c} e:evidence }} e:sequent { {:x rdfs:subClassOf :c} e:evidence }. {:J a :x} e:evidence } e:sequent { {:J a :c} e:evidence }. {(:c) rdf:rest ()} e:evidence . {:J p0:inAllOf ()} e:evidence } e:sequent { {:J p0:inAllOf (:c)} e:evidence }} e:sequent { {:J p0:inAllOf (:b :c)} e:evidence }} e:sequent { {:J a :y} e:evidence }. # Proof found in 1812 steps (181018 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:test43 rdfs:subClassOf :test46} e:evidence . {{:test34 rdfs:subClassOf :test43} e:evidence . {:test3x a :test34} e:evidence } e:sequent { {:test3x a :test43} e:evidence }} e:sequent { {:test3x a :test46} e:evidence }. # Proof found in 1479 steps (147752 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{{:test43 rdfs:subClassOf :test34} e:evidence . {:test46 rdfs:subClassOf :test43} e:evidence } e:sequent { {:test46 rdfs:subClassOf :test34} e:evidence }. {{:test43 rdfs:subClassOf :test46} e:evidence . {:test34 rdfs:subClassOf :test43} e:evidence } e:sequent { {:test34 rdfs:subClassOf :test46} e:evidence }} e:sequent { {:test46 owl:equivalentClass :test34} e:evidence }. # Proof found in 2810 steps (140429 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:R2 owl:onProperty :p2} e:evidence . {:R2 owl:hasValue :y2} e:evidence . {:x2 a :R2} e:evidence } e:sequent { {:x2 :p2 :y2} e:evidence }. # Proof found in 55 steps (5500000 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {{:Automobile rdfs:subClassOf :Car} e:evidence . {:Car rdfs:subClassOf :Automobile} e:evidence } e:sequent { {:Automobile owl:equivalentClass :Car} e:evidence }. # Proof found in 91 steps (9100000 steps/sec) using 1 engine (1817 triples) }. # Proof found in 8386 steps (104811 steps/sec) using 1 engine (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:11 GMT @prefix log: . @prefix e: . (!log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . {("a" "b" "c") str:concatenation "abc"} e:evidence . {("a" "b" "c") str:concatenation "abc"} e:evidence . {"xyz" str:equalIgnoringCase "XYZ"} e:evidence . {"xyz" str:notEqualIgnoringCase "ABC"} e:evidence . {"xyz" str:greaterThan "abc"} e:evidence . {"abc" str:notGreaterThan "xyz"} e:evidence . {"abc" str:lessThan "xyz"} e:evidence . {"xyz" str:notLessThan "abc"} e:evidence . {"xyz" str:notLessThan "xyz"} e:evidence . {"abc" str:startsWith "ab"} e:evidence . {"abc" str:endsWith "bc"} e:evidence . {"abc" str:endsWith "abc"} e:evidence . {"abcXYZ" str:contains "cX"} e:evidence . {"abcXYZ" str:containsIgnoringCase "Cx"} e:evidence . {"abracadabra" str:matches "(a|b|r|c|d)+"} e:evidence . {"" str:notMatches ".*hello"} e:evidence . {(1.2 2.3 3.5) math:sum 7.0} e:evidence . {(7.0 1) math:difference 6.0} e:evidence . {(1 2 3) math:product 6} e:evidence . {(6 3) math:quotient 2.0} e:evidence . {(7 3) math:quotient 2.3333333333333335} e:evidence . {(7 3) math:integerQuotient 2} e:evidence . {(6.0 2.0) math:remainder 0.0} e:evidence . {(7 3) math:remainder 1} e:evidence . {-5 math:negation 5} e:evidence . {-5.1 math:absoluteValue 5.1} e:evidence . {-5.7 math:rounded -6} e:evidence . {(2 10) math:exponentiation 1024} e:evidence . {(1 2) math:atan2 0.4636476090008061} e:evidence . {2 math:cos -0.4161468365471424} e:evidence . {1.0471975511966 math:cos 0.499999999999998} e:evidence . {2 math:degrees 114.59155902616465} e:evidence . {2 math:sin 0.9092974268256817} e:evidence . {0.5235987755982989 math:sin 0.5} e:evidence . {2 math:tan -2.185039863261519} e:evidence . {0.4636476090008061 math:tan 0.5} e:evidence . {("a" ("b" "c") "d") math:memberCount 3} e:evidence . {6 math:greaterThan 2.0} e:evidence . {2.0 math:notGreaterThan 6} e:evidence . {2.0 math:lessThan 6} e:evidence . {6 math:notLessThan 2.0} e:evidence . {6 math:equalTo 6} e:evidence . {2.0 math:notEqualTo 6} e:evidence . {p11:x log:equalTo p11:x} e:evidence . {p11:x log:notEqualTo p11:y} e:evidence . {{p11:a p11:b p11:c. p11:d p11:e p11:f. p11:g p11:h p11:i} log:includes {p11:d p11:e p11:f}} e:evidence . {{p11:a p11:b p11:c. p11:d p11:e p11:f. p11:g p11:h p11:i} log:notIncludes {p11:d p11:x p11:f}} e:evidence . {("2005-03-30T11:00:00" p11:tz) log:dtlit "2005-03-30T11:00:00"^^p11:tz} e:evidence . {p11:q log:uri "http://www.agfa.com/w3c/euler/builtins#q"} e:evidence . # Proof found in 51 steps (1274 steps/sec) using 3 engines (1817 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . ()!log:conjunction e:constructs { @prefix contact: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix p0p1: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix ical: . @prefix cs: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix p18: . @prefix xlink: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:domain } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 9 steps (900000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:domain } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 10 steps (1000000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:range } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 27 steps (2700000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:range } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 28 steps (2800000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{rdfs:subClassOf rdfs:domain } e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . { rdfs:domain } e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 41 steps (4100000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{rdfs:subClassOf rdfs:domain } e:evidence . {{{rdfs:domain rdfs:range rdfs:Class} e:evidence . { rdfs:domain } e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 42 steps (4200000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{rdfs:subClassOf rdfs:domain } e:evidence . {{{rdfs:range rdfs:range rdfs:Class} e:evidence . { rdfs:range } e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 67 steps (6700000 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{rdfs:subClassOf rdfs:domain } e:evidence . {{{rdfs:range rdfs:range rdfs:Class} e:evidence . { rdfs:range } e:evidence } e:sequent { { a rdfs:Class} e:evidence }} e:sequent { { rdfs:subClassOf rdfs:Resource} e:evidence }} e:sequent { { } e:evidence }. # Proof found in 68 steps (6800000 steps/sec) using 1 engine (1881 triples) }. # Proof found in 300 steps (9996 steps/sec) using 1 engine (1881 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . { } e:evidence . { } e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:subPropertyOf } e:evidence . {{ rdf:type owl:TransitiveProperty} e:evidence . { } e:evidence . { } e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. # Proof found in 84 steps (8400000 steps/sec) using 1 engine (2180 triples) }. { } e:evidence . { } e:evidence . { } e:evidence . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdf:type owl:TransitiveProperty} e:evidence . { } e:evidence . { } e:evidence } e:sequent { { } e:evidence }. # Proof found in 1 step (100000 steps/sec) using 1 engine (2180 triples) }. { } e:evidence . { } e:evidence . # Proof found in 99 steps (9890 steps/sec) using 1 engine (2180 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 16 steps (1600000 steps/sec) using 1 engine (2479 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . { } e:evidence . # Proof found in 12 steps (1200000 steps/sec) using 1 engine (2778 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: . @prefix p21: . @prefix p27: . @prefix p11: . @prefix p17: . @prefix math: . @prefix html: . @prefix p1: . @prefix xyz: . @prefix p7: . @prefix p20: . @prefix agg: . @prefix p26: . @prefix p10: . @prefix e: . @prefix ont: . @prefix log: . @prefix map: . @prefix p16: . @prefix owl: . @prefix q: . @prefix nav: . @prefix p0: . @prefix gc: . @prefix p1p1: . @prefix ctop: . @prefix p6: . @prefix p2p1: . @prefix daml: . @prefix pa: . @prefix p25: . @prefix usps: . @prefix dc: . @prefix p15: . @prefix p0p0: . @prefix v: . @prefix ci: . @prefix sl: . @prefix str: . @prefix p5: . @prefix ont_: . @prefix p24: . @prefix your: . @prefix my: . @prefix cact: . @prefix db: . @prefix p14: . @prefix : . @prefix cal: . @prefix dt: . @prefix cn: . @prefix p4: . @prefix ct: . @prefix foaf: . @prefix p23: . @prefix p13: . @prefix p19: . @prefix util: . @prefix foo: . @prefix t: . @prefix cg: . @prefix apt: . @prefix p3: . @prefix rcs: . @prefix cs: . @prefix ical: . @prefix p9: . @prefix p22: . @prefix pd: . @prefix rgml: . @prefix rdfs: . @prefix p12: . @prefix rdf: . @prefix xsd: . @prefix xlink: . @prefix p18: . {{ rdfs:subPropertyOf } e:evidence . {{ rdf:type owl:TransitiveProperty} e:evidence . { } e:evidence . { } e:evidence } e:sequent { { } e:evidence }} e:sequent { { } e:evidence }. # Proof found in 84 steps (8400000 steps/sec) using 1 engine (3077 triples) }. # Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:14:12 GMT @prefix log: . @prefix e: . (!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction e:constructs { @prefix contact: . @prefix p0p3: . @prefix fred: . @prefix ctrans: . @prefix p2: . @prefix p8: