# HG changeset patch # User josd # Date 1166886287 -3600 # Node ID 8661b6d39fef921768e3d6557e385c8ed969f5c1 # Parent 3953c6e2390469a92abddaaf30c311b96d360966 testing variable arcs diff -r 3953c6e23904 -r 8661b6d39fef einstein.n3 --- a/einstein.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/einstein.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: einstein.n3,v 1.8 2005/12/18 14:49:08 josd Exp $ -# PxButton | test | bash .euler3 einstein.n3 -# PxButton | proof | bash .euler3 -why einstein.n3 +# PxButton | test | python euler.py einstein.n3 +# PxButton | proof | python euler.py --why einstein.n3 @prefix : . diff -r 3953c6e23904 -r 8661b6d39fef euler.py --- a/euler.py Tue Dec 19 21:31:45 2006 -0600 +++ b/euler.py Sat Dec 23 16:04:47 2006 +0100 @@ -416,6 +416,10 @@ def load(path, rules, goals, np): r = Rule(s.strip('.')) if not rules.get(r.head.arc): rules[r.head.arc] = [] rules[r.head.arc].append(r) + if not r.head.arc == '.' and r.body == []: + r = Rule('('+s.strip('.')+')') + if not rules.get(r.head.arc): rules[r.head.arc] = [] + rules[r.head.arc].append(r) triple = triple+1 return triple diff -r 3953c6e23904 -r 8661b6d39fef graph.n3 --- a/graph.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/graph.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: graph.n3,v 1.9 2006/03/17 00:08:57 josd Exp $ -# PxButton | test | bash .euler3 graph.n3 -# PxButton | proof | bash .euler3 -why graph.n3 +# PxButton | test | python euler.py graph.n3 +# PxButton | proof | python euler.py --why graph.n3 @prefix : . diff -r 3953c6e23904 -r 8661b6d39fef grapht.n3 --- a/grapht.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/grapht.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,21 +1,21 @@ # $Id: grapht.n3,v 1.7 2005/12/03 20:21:14 josd Exp $ -# PxButton | test | bash .euler3 grapht.n3 -# PxButton | proof | bash .euler3 -why grapht.n3 +# PxButton | test | python euler.py grapht.n3 +# PxButton | proof | python euler.py --why grapht.n3 @prefix owl: . @prefix rdfs: . @prefix : . -(:Paris :oneway :Orleans). -(:Paris :oneway :Chartres). -(:Paris :oneway :Amiens). -(:Orleans :oneway :Blois). -(:Orleans :oneway :Bourges). -(:Blois :oneway :Tours). -(:Chartres :oneway :Lemans). -(:Lemans :oneway :Angers). -(:Lemans :oneway :Tours). -(:Angers :oneway :Nantes). +:Paris :oneway :Orleans. +:Paris :oneway :Chartres. +:Paris :oneway :Amiens. +:Orleans :oneway :Blois. +:Orleans :oneway :Bourges. +:Blois :oneway :Tours. +:Chartres :oneway :Lemans. +:Lemans :oneway :Angers. +:Lemans :oneway :Tours. +:Angers :oneway :Nantes. :oneway rdfs:subPropertyOf :path. :path a owl:TransitiveProperty. diff -r 3953c6e23904 -r 8661b6d39fef list.n3 --- a/list.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/list.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: list.n3,v 1.11 2005/12/25 00:55:44 josd Exp $ -# PxButton | test | bash .euler3 list.n3 -# PxButton | proof | bash .euler3 -why list.n3 +# PxButton | test | python euler.py list.n3 +# PxButton | proof | python euler.py --why list.n3 @prefix math: . @prefix log: . diff -r 3953c6e23904 -r 8661b6d39fef socrates.n3 --- a/socrates.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/socrates.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: socrates.n3,v 1.6 2005/12/03 20:21:14 josd Exp $ -# PxButton | test | bash .euler3 socrates.n3 -# PxButton | proof | bash .euler3 -why socrates.n3 +# PxButton | test | python euler.py socrates.n3 +# PxButton | proof | python euler.py --why socrates.n3 @prefix : . diff -r 3953c6e23904 -r 8661b6d39fef test.out.n3 --- a/test.out.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/test.out.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -8,24 +8,52 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :case001 :instantiate (:takeRoad :Lemans :Angers). :case001 :instantiate (:takeRoad :Lemans :Tours). -# ========================================================================== -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 -# ========================================================================== -@prefix xsd: . -@prefix log: . -@prefix rdf: . -@prefix math: . -@prefix rdfs: . -@prefix owl: . -@prefix : . - +# =========================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 +# =========================================================================== +@prefix xsd: . +@prefix log: . +@prefix rdf: . +@prefix math: . +@prefix rdfs: . +@prefix owl: . +@prefix : . {:case001 :wantGo (:Paris :Nantes). :case001 :onRoad (:Chartres :Lemans). :Lemans :oneway :Angers. {:Angers :oneway :Nantes} => {:Angers :path :Nantes}} => {:case001 :instantiate (:takeRoad :Lemans :Angers)}. {:case001 :wantGo (:Paris :Nantes). :case001 :onRoad (:Chartres :Lemans). :Lemans :oneway :Tours. {{:Tours :oneway :Lemans} => {:Tours :path :Lemans}. {{:Lemans :oneway :Angers} => {:Lemans :path :Angers}. {:Angers :oneway :Nantes} => {:Angers :path :Nantes}} => {:Lemans :path :Nantes}} => {:Tours :path :Nantes}} => {:case001 :instantiate (:takeRoad :Lemans :Tours)}. +# ====================================================================== +# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 +# ====================================================================== +@prefix xsd: . +@prefix log: . +@prefix rdf: . +@prefix math: . +@prefix rdfs: . +@prefix owl: . +@prefix : . +:Angers :path :Nantes. +:Lemans :path :Nantes. +:Chartres :path :Nantes. +:Paris :path :Nantes. + +# ============================================================================ +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 +# ============================================================================ +@prefix xsd: . +@prefix log: . +@prefix rdf: . +@prefix math: . +@prefix rdfs: . +@prefix owl: . +@prefix : . +{:oneway rdfs:subPropertyOf :path. (:Angers :oneway :Nantes)} => {(:Angers :path :Nantes)}. +{:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Angers :oneway :Nantes)} => {(:Angers :path :Nantes)}. {:oneway rdfs:subPropertyOf :path. (:Lemans :oneway :Angers)} => {(:Lemans :path :Angers)}} => {(:Lemans :path :Nantes)}. +{:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Angers :oneway :Nantes)} => {(:Angers :path :Nantes)}. {:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Lemans :oneway :Angers)} => {(:Lemans :path :Angers)}. {:oneway rdfs:subPropertyOf :path. (:Chartres :oneway :Lemans)} => {(:Chartres :path :Lemans)}} => {(:Chartres :path :Angers)}} => {(:Chartres :path :Nantes)}. +{:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Angers :oneway :Nantes)} => {(:Angers :path :Nantes)}. {:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Lemans :oneway :Angers)} => {(:Lemans :path :Angers)}. {:path a owl:TransitiveProperty. {:oneway rdfs:subPropertyOf :path. (:Chartres :oneway :Lemans)} => {(:Chartres :path :Lemans)}. {:oneway rdfs:subPropertyOf :path. (:Paris :oneway :Chartres)} => {(:Paris :path :Chartres)}} => {(:Paris :path :Lemans)}} => {(:Paris :path :Angers)}} => {(:Paris :path :Nantes)}. + # ==================================================================== # testing euler3 http://eulersharp.sourceforge.net/2005/11swap/list.n3 # ==================================================================== @@ -37,7 +65,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :a list:in (:a :b :c :d :e :f :g). :b list:in (:a :b :c :d :e :f :g). :c list:in (:a :b :c :d :e :f :g). @@ -54,9 +81,9 @@ ((:a :b :c :d :e :f :g) (:g :f :b :e)) :difference (:a :c :d). -# ========================================================================= -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/list.n3 -# ========================================================================= +# ========================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/list.n3 +# ========================================================================== @prefix xsd: . @prefix list: . @prefix log: . @@ -65,7 +92,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - {(:a :b :c :d :e :f :g) rdf:first :a} => {:a list:in (:a :b :c :d :e :f :g)}. {(:a :b :c :d :e :f :g) rdf:rest (:b :c :d :e :f :g). {(:b :c :d :e :f :g) rdf:first :b} => {:b list:in (:b :c :d :e :f :g)}} => {:b list:in (:a :b :c :d :e :f :g)}. {(:a :b :c :d :e :f :g) rdf:rest (:b :c :d :e :f :g). {(:b :c :d :e :f :g) rdf:rest (:c :d :e :f :g). {(:c :d :e :f :g) rdf:first :c} => {:c list:in (:c :d :e :f :g)}} => {:c list:in (:b :c :d :e :f :g)}} => {:c list:in (:a :b :c :d :e :f :g)}. @@ -92,13 +118,12 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :Socrates a :Mortal. :Tim a :Mortal. -# ============================================================================= -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 -# ============================================================================= +# ============================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 +# ============================================================================== @prefix xsd: . @prefix log: . @prefix rdf: . @@ -106,7 +131,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - {:Socrates a :Man} => {:Socrates a :Mortal}. {:Tim a :Man} => {:Tim a :Mortal}. @@ -120,7 +144,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :Frans :ancestor :Jos. :Frans :ancestor :Goedele. :Frans :ancestor :Veerle. @@ -132,9 +155,9 @@ :Veerle :descendant :Frans. :Veerle :descendant :Maria. -# ========================================================================= -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 -# ========================================================================= +# ========================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 +# ========================================================================== @prefix xsd: . @prefix log: . @prefix rdf: . @@ -142,7 +165,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - {{:Frans :father :Jos} => {:Frans :parent :Jos}} => {:Frans :ancestor :Jos}. {{{:Frans :father :Jos} => {:Frans :parent :Jos}} => {:Frans :ancestor :Jos}. {{:Jos :father :Goedele} => {:Jos :parent :Goedele}} => {:Jos :ancestor :Goedele}} => {:Frans :ancestor :Goedele}. {{{:Frans :father :Jos} => {:Frans :parent :Jos}} => {:Frans :ancestor :Jos}. {{:Jos :father :Veerle} => {:Jos :parent :Veerle}} => {:Jos :ancestor :Veerle}} => {:Frans :ancestor :Veerle}. @@ -164,12 +186,11 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :german :eats :fish. -# ============================================================================= -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 -# ============================================================================= +# ============================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 +# ============================================================================== @prefix xsd: . @prefix log: . @prefix rdf: . @@ -177,7 +198,6 @@ @prefix rdfs: . @prefix owl: . @prefix : . - {((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (:dane ?P2 ?S2 :tea ?C2). ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (:swede :dog ?S5 ?D5 ?C5)) :item (:swede :dog ?S5 ?D5 ?C5). ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea ?C2) (:brit ?P3 ?S3 :milk :red) (?N4 ?P4 ?S4 ?D4 ?C4) (:swede :dog ?S5 ?D5 ?C5)) :item (:brit ?P3 ?S3 :milk :red). ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea ?C2) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans ?D4 ?C4) (:swede :dog ?S5 ?D5 ?C5)) :item (:german ?P4 :rothmans ?D4 ?C4). ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans ?D4 ?C4) (:swede :dog ?S5 ?D5 ?C5)) :near ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea :blue)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (:dane ?P2 ?S2 :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans ?D4 :green) (:swede :dog ?S5 ?D5 :white)) :next ((:german ?P4 :rothmans ?D4 :green) (:swede :dog ?S5 ?D5 :white)). ((:norwegian ?P1 :dunhill ?D1 :yellow) (:dane ?P2 ?S2 :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans ?D4 :green) (:swede :dog ?S5 ?D5 :white)) :item (:norwegian ?P1 :dunhill ?D1 :yellow). ((:norwegian ?P1 :dunhill ?D1 :yellow) (:dane ?P2 ?S2 :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog ?S5 ?D5 :white)) :item (:german ?P4 :rothmans :coffee :green). ((:norwegian ?P1 :dunhill ?D1 :yellow) (:dane ?P2 ?S2 :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item (:swede :dog :winfield :beer :white). ((:norwegian ?P1 :dunhill :water :yellow) (:dane ?P2 :marlboro :tea :blue) (:brit ?P3 ?S3 :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :near ((:dane ?P2 :marlboro :tea :blue) (:norwegian ?P1 :dunhill :water :yellow)). ((:norwegian ?P1 :dunhill :water :yellow) (:dane ?P2 :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item (:brit :bird :pallmall :milk :red). ((:norwegian :cat :dunhill :water :yellow) (:dane ?P2 :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :near ((:dane ?P2 :marlboro :tea :blue) (:norwegian :cat :dunhill :water :yellow)). ((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :near ((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro :tea :blue)). ((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german ?P4 :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item (:brit :bird :pallmall :milk :red). ((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german :fish :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item (:german :fish :rothmans :coffee :green)} => {:german :eats :fish}. # =========================================================== @@ -194,7 +214,6 @@ @prefix e: . @prefix owl: . @prefix : . - (:Ann :ChildAge) rpo:mu 0.4167. (:Ann :AdultAge) rpo:mu 0.5833. (:Ann :NormalIntraocularPressure) rpo:mu 0.277777777778. @@ -203,9 +222,9 @@ (:Ann :AdultAgeOrIncreasedIntraocularPressure) rpo:mu 0.722222222222. (:Ann :NonIncreasedIntraocularPressure) rpo:mu 0.277777777778. -# ================================================================ -# testing euler3 -why http://www.agfa.com/w3c/euler/example003P.n3 -# ================================================================ +# ================================================================= +# testing euler3 --why http://www.agfa.com/w3c/euler/example003P.n3 +# ================================================================= @prefix xsd: . @prefix list: . @prefix rpo: . @@ -217,7 +236,6 @@ @prefix e: . @prefix owl: . @prefix : . - {{:Ann a :Person. :Ann :age 18.1666. 18.1666 math:notLessThan 17. 18.1666 math:lessThan 19. (18.1666 17) math:difference 1.1666. (1.1666 2) math:quotient 0.5833. (1.0 0.5833) math:difference 0.4167} => {(:Ann :ChildAge) rpo:mu 0.4167}} => {((:Ann :ChildAge) rpo:mu 0.4167)}. {{:Ann a :Person. :Ann :age 18.1666. 18.1666 math:notLessThan 17. 18.1666 math:lessThan 19. (18.1666 17) math:difference 1.1666. (1.1666 2) math:quotient 0.5833} => {(:Ann :AdultAge) rpo:mu 0.5833}} => {((:Ann :AdultAge) rpo:mu 0.5833)}. {{:Ann :intraocularPressure 21.5. 21.5 math:notLessThan 20.2. 21.5 math:lessThan 22. (21.5 20.2) math:difference 1.3. (1.3 1.8) math:quotient 0.722222222222. (1.0 0.722222222222) math:difference 0.277777777778} => {(:Ann :NormalIntraocularPressure) rpo:mu 0.277777777778}} => {((:Ann :NormalIntraocularPressure) rpo:mu 0.277777777778)}. @@ -240,12 +258,11 @@ @prefix e: . @prefix owl: . @prefix : . - :Ann :isPrescribed :aspirin. -# ========================================================= -# testing euler3 -why http://www.agfa.com/w3c/euler/medI.n3 -# ========================================================= +# ========================================================== +# testing euler3 --why http://www.agfa.com/w3c/euler/medI.n3 +# ========================================================== @prefix xsd: . @prefix list: . @prefix rpo: . @@ -257,7 +274,6 @@ @prefix e: . @prefix owl: . @prefix : . - {{:aspirin :prescribedFor :GastroEntritis. :aspirin :excludedFor (:GastricUlcer :PostSurgery). {(:GastricUlcer :PostSurgery) rdf:first :GastricUlcer. (:GastricUlcer :PostSurgery) a rdf:List. (:Ann :GastricUlcer) rpo:mu 0.006. 0.006 math:lessThan 0.01. (:GastricUlcer :PostSurgery) rdf:rest (:PostSurgery). {(:PostSurgery) rdf:first :PostSurgery. (:PostSurgery) a rdf:List. (:Ann :PostSurgery) rpo:mu 0. 0 math:lessThan 0.01. (:PostSurgery) rdf:rest (). {:Ann a :Patient} => {:Ann :fineWith ()}} => {:Ann :fineWith (:PostSurgery)}} => {:Ann :fineWith (:GastricUlcer :PostSurgery)}. (:Ann :GastroEntritis) rpo:mu 0.8. 0.8 math:greaterThan 0.7} => {:Ann :isPrescribed :aspirin}} => {(:Ann :isPrescribed :aspirin)}. # ========================================================================= @@ -271,12 +287,11 @@ @prefix rdfs: . @prefix owl: . @prefix : . - :Xanthippe a (:Mortal :Woman). -# ============================================================================== -# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 -# ============================================================================== +# =============================================================================== +# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 +# =============================================================================== @prefix xsd: . @prefix list: . @prefix log: . @@ -285,6 +300,5 @@ @prefix rdfs: . @prefix owl: . @prefix : . - {:he :says ((:Socrates a :Man) (:Xanthippe a :Woman)). {((:Socrates a :Man) (:Xanthippe a :Woman)) rdf:rest ((:Xanthippe a :Woman)). {((:Xanthippe a :Woman)) rdf:first (:Xanthippe a :Woman)} => {(:Xanthippe a :Woman) list:in ((:Xanthippe a :Woman))}} => {(:Xanthippe a :Woman) list:in ((:Socrates a :Man) (:Xanthippe a :Woman))}} => {:Xanthippe a (:Mortal :Woman)}. diff -r 3953c6e23904 -r 8661b6d39fef test.sh --- a/test.sh Tue Dec 19 21:31:45 2006 -0600 +++ b/test.sh Sat Dec 23 16:04:47 2006 +0100 @@ -5,79 +5,89 @@ echo \# ================================ echo \# ===================================================================== echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/graph.n3 echo \# ===================================================================== -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/graph.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/graph.n3 -echo \# ========================================================================== -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 -echo \# ========================================================================== -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 +echo \# =========================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 +echo \# =========================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/graph.n3 + +echo \# ====================================================================== +echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 +echo \# ====================================================================== +python euler.py http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 + +echo \# ============================================================================ +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 +echo \# ============================================================================ +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/grapht.n3 echo \# ==================================================================== echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/list.n3 echo \# ==================================================================== -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/list.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/list.n3 -echo \# ========================================================================= -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/list.n3 -echo \# ========================================================================= -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/list.n3 +echo \# ========================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/list.n3 +echo \# ========================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/list.n3 echo \# ======================================================================== echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 echo \# ======================================================================== -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 -echo \# ============================================================================= -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 -echo \# ============================================================================= -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 +echo \# ============================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 +echo \# ============================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/socrates.n3 echo \# ==================================================================== echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/tree.n3 echo \# ==================================================================== -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/tree.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/tree.n3 -echo \# ========================================================================= -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 -echo \# ========================================================================= -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 +echo \# ========================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 +echo \# ========================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/tree.n3 echo \# ======================================================================== echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 echo \# ======================================================================== -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 -echo \# ============================================================================= -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 -echo \# ============================================================================= -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 +echo \# ============================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 +echo \# ============================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/einstein.n3 echo \# =========================================================== echo \# testing euler3 http://www.agfa.com/w3c/euler/example003P.n3 echo \# =========================================================== -bash .euler3 http://www.agfa.com/w3c/euler/example003P.n3 +python euler.py http://www.agfa.com/w3c/euler/example003P.n3 -echo \# ================================================================ -echo \# testing euler3 -why http://www.agfa.com/w3c/euler/example003P.n3 -echo \# ================================================================ -bash .euler3 -why http://www.agfa.com/w3c/euler/example003P.n3 +echo \# ================================================================= +echo \# testing euler3 --why http://www.agfa.com/w3c/euler/example003P.n3 +echo \# ================================================================= +python euler.py --why http://www.agfa.com/w3c/euler/example003P.n3 echo \# ==================================================== echo \# testing euler3 http://www.agfa.com/w3c/euler/medI.n3 echo \# ==================================================== -bash .euler3 http://www.agfa.com/w3c/euler/medI.n3 +python euler.py http://www.agfa.com/w3c/euler/medI.n3 -echo \# ========================================================= -echo \# testing euler3 -why http://www.agfa.com/w3c/euler/medI.n3 -echo \# ========================================================= -bash .euler3 -why http://www.agfa.com/w3c/euler/medI.n3 +echo \# ========================================================== +echo \# testing euler3 --why http://www.agfa.com/w3c/euler/medI.n3 +echo \# ========================================================== +python euler.py --why http://www.agfa.com/w3c/euler/medI.n3 echo \# ========================================================================= echo \# testing euler3 http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 echo \# ========================================================================= -bash .euler3 http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 +python euler.py http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 -echo \# ============================================================================== -echo \# testing euler3 -why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 -echo \# ============================================================================== -bash .euler3 -why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 +echo \# =============================================================================== +echo \# testing euler3 --why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 +echo \# =============================================================================== +python euler.py --why http://eulersharp.sourceforge.net/2005/11swap/xanthippe.n3 diff -r 3953c6e23904 -r 8661b6d39fef tree.n3 --- a/tree.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/tree.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: tree.n3,v 1.8 2005/12/03 20:21:14 josd Exp $ -# PxButton | test | bash .euler3 tree.n3 -# PxButton | proof | bash .euler3 -why tree.n3 +# PxButton | test | python euler.py tree.n3 +# PxButton | proof | python euler.py --why tree.n3 @prefix : . diff -r 3953c6e23904 -r 8661b6d39fef xanthippe.n3 --- a/xanthippe.n3 Tue Dec 19 21:31:45 2006 -0600 +++ b/xanthippe.n3 Sat Dec 23 16:04:47 2006 +0100 @@ -1,6 +1,6 @@ # $Id: xanthippe.n3,v 1.1 2006/12/16 17:11:43 josd Exp $ -# PxButton | test | bash .euler3 xanthippe.n3 -# PxButton | proof | bash .euler3 -why xanthippe.n3 +# PxButton | test | python euler.py xanthippe.n3 +# PxButton | proof | python euler.py --why xanthippe.n3 @prefix list: . @prefix rdf: .