Commit 37df35a5 authored by josd's avatar josd

retest

parent d5076e98
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>].
#2018-12-20T23:32:29.687Z in=6 out=1 ent=1 step=1 brake=2 inf=56629 sec=0.044 inf/sec=1287023
#2018-12-22T18:57:01.147Z in=6 out=1 ent=1 step=1 brake=2 inf=56650 sec=0.046 inf/sec=1231522
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -4020,6 +4020,6 @@ PREFIX fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bi/biP.n3>].
#2018-12-20T23:32:30.731Z in=131 out=97 ent=200 step=910 brake=6 inf=1124483 sec=0.194 inf/sec=5796304
#2018-12-22T18:57:01.824Z in=131 out=97 ent=200 step=910 brake=6 inf=1124502 sec=0.195 inf/sec=5766677
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 --n3 http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 --query http://josd.github.io/eye/reasoning/bmi/bmi_query.n3
PREFIX owl: <http://www.w3.org/2002/07/owl#>
......@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>].
#2018-12-20T23:32:31.675Z in=97 out=50 ent=100 step=48 brake=4 inf=391435 sec=0.123 inf/sec=3182398
#2018-12-22T18:57:02.316Z in=97 out=50 ent=100 step=48 brake=4 inf=391455 sec=0.119 inf/sec=3289538
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/bmt/1tt1.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt2.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt3.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt4.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt5.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt6.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt7.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt8.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt9.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt10.n3 --query http://josd.github.io/eye/reasoning/bmt/query.n3
PREFIX : <http://eulersharp.sourceforge.net/2007/07test/graph#>
......@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>].
#2018-12-20T23:32:34.866Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685620 sec=1.287 inf/sec=5971733
#2018-12-22T18:57:04.419Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685641 sec=1.285 inf/sec=5981044
#ENDS
......@@ -12,6 +12,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.7097616999440769 :evidence ((:
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.594359031835262 :evidence ((:input1 "xyz" 2) (:input2 40 6) (:input5 "a" 1))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.6884452465299415 :evidence ((:input3 (0 1) 1) (:input4 :v3 0.5))).
#2018-12-22T18:48:30.116Z in=33 out=4 ent=0 step=0 brake=1 inf=31381 sec=0.090 inf/sec=348678
#2018-12-22T18:57:04.936Z in=33 out=4 ent=0 step=0 brake=1 inf=31187 sec=0.041 inf/sec=760659
#ENDS
......@@ -20,6 +20,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input5 "c") :ccd (0 3).
(:input5 "a") :ccd (1 1).
#2018-12-22T18:48:29.351Z in=53 out=13 ent=13 step=82 brake=2 inf=32369 sec=0.094 inf/sec=344351
#2018-12-22T18:57:04.730Z in=53 out=13 ent=13 step=82 brake=2 inf=32179 sec=0.034 inf/sec=946441
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --hmac-key k123 --n3 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
PREFIX crypto: <http://www.w3.org/2000/10/swap/crypto#>
......@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>].
#2018-12-20T23:32:36.115Z in=3 out=3 ent=6 step=12 brake=2 inf=29930 sec=0.033 inf/sec=906970
#2018-12-22T18:57:05.033Z in=3 out=3 ent=6 step=12 brake=2 inf=29951 sec=0.037 inf/sec=809486
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/cs/data-001.n3 --n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3
PREFIX : <http://josd.github.io/eye/reasoning/cs#>
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>].
#2018-12-20T23:32:36.597Z in=15 out=2 ent=4 step=8 brake=2 inf=54596 sec=0.047 inf/sec=1161617
#2018-12-22T18:57:05.247Z in=15 out=2 ent=4 step=8 brake=2 inf=54615 sec=0.046 inf/sec=1187283
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>].
#2018-12-20T23:32:37.377Z in=6 out=5 ent=5 step=5 brake=2 inf=55335 sec=0.049 inf/sec=1129286
#2018-12-22T18:57:05.776Z in=6 out=5 ent=5 step=5 brake=2 inf=55354 sec=0.051 inf/sec=1085373
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>].
#2018-12-20T23:32:37.041Z in=18 out=17 ent=17 step=17 brake=2 inf=76184 sec=0.049 inf/sec=1554776
#2018-12-22T18:57:05.516Z in=18 out=17 ent=17 step=17 brake=2 inf=76203 sec=0.052 inf/sec=1465442
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/de/de.n3 --n3 http://josd.github.io/eye/reasoning/de/deA.n3 --query http://josd.github.io/eye/reasoning/de/deQ.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
#2018-12-20T23:32:37.840Z in=8 out=1 ent=6 step=18 brake=3 inf=29623 sec=0.040 inf/sec=740575
#2018-12-22T18:57:05.977Z in=8 out=1 ent=6 step=18 brake=3 inf=29646 sec=0.034 inf/sec=871941
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>].
#2018-12-20T23:32:38.169Z in=11 out=2 ent=2 step=2 brake=1 inf=27170 sec=0.035 inf/sec=776286
#2018-12-22T18:57:06.120Z in=11 out=2 ent=2 step=2 brake=1 inf=27190 sec=0.030 inf/sec=906333
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>].
#2018-12-20T23:32:38.413Z in=101 out=6 ent=6 step=6 brake=1 inf=44809 sec=0.046 inf/sec=974109
#2018-12-22T18:57:06.281Z in=101 out=6 ent=6 step=6 brake=1 inf=44831 sec=0.049 inf/sec=914918
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>].
#2018-12-20T23:32:38.744Z in=1001 out=92 ent=92 step=92 brake=1 inf=392309 sec=0.102 inf/sec=3846167
#2018-12-22T18:57:06.522Z in=1001 out=92 ent=92 step=92 brake=1 inf=392330 sec=0.102 inf/sec=3846373
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>].
#2018-12-20T23:32:40.010Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882863 sec=0.828 inf/sec=4689448
#2018-12-22T18:57:07.684Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882879 sec=0.832 inf/sec=4666922
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -139,6 +139,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>].
#2018-12-20T23:32:40.359Z in=39 out=2 ent=8 step=18 brake=2 inf=59839 sec=0.051 inf/sec=1173314
#2018-12-22T18:57:07.941Z in=39 out=2 ent=8 step=18 brake=2 inf=59859 sec=0.050 inf/sec=1197180
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -348,6 +348,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>].
#2018-12-20T23:32:40.736Z in=94 out=6 ent=23 step=48 brake=2 inf=120090 sec=0.068 inf/sec=1766029
#2018-12-22T18:57:08.211Z in=94 out=6 ent=23 step=48 brake=2 inf=120111 sec=0.061 inf/sec=1969033
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -5060,6 +5060,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>].
#2018-12-20T23:32:41.318Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484255 sec=0.248 inf/sec=5984899
#2018-12-22T18:57:08.810Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484273 sec=0.252 inf/sec=5889972
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -51865,6 +51865,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>].
#2018-12-20T23:32:44.187Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212992 sec=2.182 inf/sec=6972040
#2018-12-22T18:57:11.543Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212992 sec=2.185 inf/sec=6962468
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dp/dp.n3 --query http://josd.github.io/eye/reasoning/dp/dpQ.n3
# <http://josd.github.io/eye/reasoning#person5> thinking for 0.025 seconds
......@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>].
#2018-12-20T23:32:45.406Z in=10 out=1 ent=2 step=2 brake=1 inf=53765 sec=0.047 inf/sec=1143936
#2018-12-22T18:57:12.783Z in=10 out=1 ent=2 step=2 brake=1 inf=53761 sec=0.039 inf/sec=1378487
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_assumption.n3 --query http://josd.github.io/eye/reasoning/dpe/dpe_query.n3
PREFIX : <http://josd.github.io/eye/reasoning/dpe/dpe#>
......@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].
#2018-12-20T23:32:45.983Z in=16 out=2 ent=32 step=120 brake=4 inf=53521 sec=0.043 inf/sec=1244674
#2018-12-22T18:57:13.341Z in=16 out=2 ent=32 step=120 brake=4 inf=53521 sec=0.038 inf/sec=1408447
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --no-distinct-output --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3
PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-12-20T23:32:46.406Z in=29 out=24 ent=0 step=0 brake=1 inf=37004 sec=0.032 inf/sec=1156375
#2018-12-22T18:57:13.959Z in=29 out=24 ent=0 step=0 brake=1 inf=37003 sec=0.034 inf/sec=1088324
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --no-distinct-input --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3
PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-12-20T23:32:46.731Z in=25 out=4 ent=4 step=4 brake=2 inf=27010 sec=0.038 inf/sec=710789
#2018-12-22T18:57:14.293Z in=25 out=4 ent=4 step=4 brake=2 inf=27010 sec=0.036 inf/sec=750278
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/dt/test-facts.n3 --n3 http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 --query http://josd.github.io/eye/reasoning/dt/test-query.n3
PREFIX : <http://eulersharp.sourceforge.net/2009/12dtb/test#>
......@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>].
#2018-12-20T23:32:47.809Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150905 sec=0.540 inf/sec=7686861
#2018-12-22T18:57:15.344Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150903 sec=0.533 inf/sec=7787811
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>].
#2018-12-20T23:32:48.273Z in=19 out=16 ent=32 step=64 brake=2 inf=223667 sec=0.065 inf/sec=3441031
#2018-12-22T18:57:15.801Z in=19 out=16 ent=32 step=64 brake=2 inf=223667 sec=0.062 inf/sec=3607532
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>].
#2018-12-20T23:32:48.793Z in=5 out=1 ent=2 step=4 brake=2 inf=688150 sec=0.136 inf/sec=5059926
#2018-12-22T18:57:16.333Z in=5 out=1 ent=2 step=4 brake=2 inf=688150 sec=0.134 inf/sec=5135448
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --nope --n3 http://josd.github.io/eye/reasoning/equation4/polynomial.n3 --query http://josd.github.io/eye/reasoning/equation4/query.n3
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-12-20T23:32:51.528Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869861 sec=1.461 inf/sec=8808940
#2018-12-22T18:57:19.073Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869862 sec=1.463 inf/sec=8796898
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/fcm/fcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example001P.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example002P.n3 --query http://josd.github.io/eye/reasoning/fcm/example003Q.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>].
#2018-12-20T23:32:52.370Z in=76 out=8 ent=50 step=307 brake=6 inf=591109 sec=0.134 inf/sec=4411261
#2018-12-22T18:57:19.902Z in=76 out=8 ent=50 step=307 brake=6 inf=591109 sec=0.121 inf/sec=4885198
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/patient.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-model.n3 --query http://josd.github.io/eye/reasoning/fgcm/fgcm-query.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}].
#2018-12-20T23:32:53.383Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216216 sec=0.238 inf/sec=5110151
#2018-12-22T18:57:20.913Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216214 sec=0.237 inf/sec=5131705
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -1157,6 +1157,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fib/fib.n3>].
#2018-12-20T23:32:53.836Z in=4 out=1 ent=1 step=1 brake=1 inf=139022 sec=0.052 inf/sec=2673500
#2018-12-22T18:57:21.360Z in=4 out=1 ent=1 step=1 brake=1 inf=139023 sec=0.049 inf/sec=2837204
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-facts.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-relations.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/gedcom/gedcom-filter.n3
PREFIX gc: <http://www.daml.org/2001/01/gedcom/gedcom#>
......@@ -934,6 +934,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-20T23:32:54.548Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864900 sec=0.145 inf/sec=5964828
#2018-12-22T18:57:22.068Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864898 sec=0.144 inf/sec=6006236
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>].
#2018-12-20T23:32:54.969Z in=9 out=6 ent=7 step=30 brake=2 inf=53505 sec=0.042 inf/sec=1273929
#2018-12-22T18:57:22.501Z in=9 out=6 ent=7 step=30 brake=2 inf=53505 sec=0.040 inf/sec=1337625
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example1.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query1.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-20T23:32:55.558Z in=11 out=1 ent=1 step=1 brake=2 inf=123902 sec=0.056 inf/sec=2212536
#2018-12-22T18:57:23.093Z in=11 out=1 ent=1 step=1 brake=2 inf=123901 sec=0.058 inf/sec=2136224
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example2.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query2.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-20T23:32:56.413Z in=44 out=10 ent=10 step=10 brake=2 inf=2337064 sec=0.368 inf/sec=6350717
#2018-12-22T18:57:23.919Z in=44 out=10 ent=10 step=10 brake=2 inf=2337064 sec=0.368 inf/sec=6350717
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 --n3 http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/graph/graph.filter.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -157,6 +157,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>].
#2018-12-20T23:32:56.997Z in=89 out=1 ent=24 step=70 brake=2 inf=93530 sec=0.052 inf/sec=1798654
#2018-12-22T18:57:24.521Z in=89 out=1 ent=24 step=70 brake=2 inf=93531 sec=0.053 inf/sec=1764736
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --turtle http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 --turtle http://josd.github.io/eye/reasoning/h2o/data-001.n3 --n3 http://josd.github.io/eye/reasoning/h2o/rules-001.n3 --query http://josd.github.io/eye/reasoning/h2o/query-001.n3
PREFIX h: <http://josd.github.io/eye/reasoning/h2o#>
......@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>].
#2018-12-20T23:32:57.696Z in=10 out=1 ent=6 step=12 brake=2 inf=31678 sec=0.034 inf/sec=931706
#2018-12-22T18:57:25.251Z in=10 out=1 ent=6 step=12 brake=2 inf=31677 sec=0.041 inf/sec=772610
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
# Move top disk from <http://josd.github.io/eye/reasoning#left> to <http://josd.github.io/eye/reasoning#right>
......@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>].
#2018-12-20T23:32:57.877Z in=3 out=1 ent=2 step=2 brake=1 inf=40229 sec=0.037 inf/sec=1087270
#2018-12-22T18:57:25.438Z in=3 out=1 ent=2 step=2 brake=1 inf=40229 sec=0.036 inf/sec=1117472
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/image/year.n3 --n3 http://josd.github.io/eye/reasoning/image/easter.n3 --query http://josd.github.io/eye/reasoning/image/query.n3
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>].
#2018-12-20T23:32:58.819Z in=5 out=101 ent=202 step=404 brake=2 inf=1179410 sec=0.167 inf/sec=7062335
#2018-12-22T18:57:26.373Z in=5 out=101 ent=202 step=404 brake=2 inf=1179411 sec=0.170 inf/sec=6937712
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --no-genid --n3 http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
PREFIX : <http://example.org/test#>
......@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>].
#2018-12-20T23:32:59.118Z in=7 out=10 ent=13 step=26 brake=2 inf=61971 sec=0.041 inf/sec=1511488
#2018-12-22T18:57:26.671Z in=7 out=10 ent=13 step=26 brake=2 inf=61971 sec=0.036 inf/sec=1721417
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/lldm/lldmD.n3 --n3 http://josd.github.io/eye/reasoning/lldm/lldmP.n3 --query http://josd.github.io/eye/reasoning/lldm/lldmF.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>].
#2018-12-20T23:32:59.740Z in=168 out=1 ent=39 step=124 brake=4 inf=235816 sec=0.077 inf/sec=3062545
#2018-12-22T18:57:27.280Z in=168 out=1 ent=39 step=124 brake=4 inf=235816 sec=0.072 inf/sec=3275222
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/map/agent1-map.n3 --query http://josd.github.io/eye/reasoning/map/agent1-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-20T23:33:00.239Z in=10 out=1 ent=1 step=1 brake=2 inf=103252 sec=0.057 inf/sec=1811439
#2018-12-22T18:57:27.769Z in=10 out=1 ent=1 step=1 brake=2 inf=103230 sec=0.053 inf/sec=1947736
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/map/agent2-map.n3 --proof http://josd.github.io/eye/reasoning/map/agent1-proof.n3 --query http://josd.github.io/eye/reasoning/map/agent2-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -295,6 +295,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-20T23:33:00.924Z in=149 out=1 ent=10 step=82 brake=4 inf=302569 sec=0.096 inf/sec=3151760
#2018-12-22T18:57:28.455Z in=149 out=1 ent=10 step=82 brake=4 inf=302549 sec=0.090 inf/sec=3361656
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>].
#2018-12-20T23:33:01.363Z in=18 out=2 ent=4 step=8 brake=4 inf=50562 sec=0.047 inf/sec=1075787
#2018-12-22T18:57:28.878Z in=18 out=2 ent=4 step=8 brake=4 inf=50542 sec=0.045 inf/sec=1123156
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-example.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-mln.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3 --query http://josd.github.io/eye/reasoning/mmln/mmln-gv-query.n3
PREFIX : <http://3dsa.metadata.net/3dsa/annotator/data/gv_ontology_v1.owl#>
......@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>].
#2018-12-20T23:33:02.383Z in=345 out=47 ent=105 step=330 brake=4 inf=2014489 sec=0.313 inf/sec=6436067
#2018-12-22T18:57:29.904Z in=345 out=47 ent=105 step=330 brake=4 inf=2014472 sec=0.308 inf/sec=6540494
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -636,12 +636,12 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.000 [sec] mq=12 out=0 out/sec=
#DONE 0.001 [sec] mq=12 out=0 out/sec=0
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.000 [sec] mq=13 out=0 out/sec=
#DONE 0.001 [sec] mq=13 out=0 out/sec=0
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -702,7 +702,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query15.n3>].
#DONE 0.001 [sec] mq=15 out=1 out/sec=1000
#DONE 0.002 [sec] mq=15 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -936,7 +936,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query21.n3>].
#DONE 0.001 [sec] mq=21 out=1 out/sec=1000
#DONE 0.002 [sec] mq=21 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1435,7 +1435,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.000 [sec] mq=27 out=0 out/sec=
#DONE 0.001 [sec] mq=27 out=0 out/sec=0
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -2418,7 +2418,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.003 [sec] mq=50 out=3 out/sec=1000
#DONE 0.002 [sec] mq=50 out=3 out/sec=1500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -2783,7 +2783,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.008 [sec] mq=55 out=5 out/sec=625
#DONE 0.009 [sec] mq=55 out=5 out/sec=556
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -4529,7 +4529,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query88.n3>].
#DONE 0.001 [sec] mq=88 out=1 out/sec=1000
#DONE 0.002 [sec] mq=88 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -4585,7 +4585,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query89.n3>].
#DONE 0.001 [sec] mq=89 out=1 out/sec=1000
#DONE 0.002 [sec] mq=89 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -4862,7 +4862,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query96.n3>].
#DONE 0.001 [sec] mq=96 out=1 out/sec=1000
#DONE 0.002 [sec] mq=96 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -5110,7 +5110,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.003 [sec] mq=98 out=5 out/sec=1667
#DONE 0.004 [sec] mq=98 out=5 out/sec=1250
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -5120,8 +5120,8 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.000 [sec] mq=100 out=0 out/sec=
#DONE 0.001 [sec] mq=100 out=0 out/sec=0
#2018-12-20T23:33:03.745Z in=100100 out=117 ent=117 step=117 brake=100 inf=5514429 sec=1.238 inf/sec=4454305
#2018-12-22T18:57:31.269Z in=100100 out=117 ent=117 step=117 brake=100 inf=5512198 sec=1.239 inf/sec=4448909
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/extra.n3p --pass
PREFIX : <http://example.org/try#>
......@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2018-12-20T23:33:04.221Z in=7 out=7 ent=7 step=7 brake=1 inf=26080 sec=0.034 inf/sec=767059
#2018-12-22T18:57:31.740Z in=7 out=7 ent=7 step=7 brake=1 inf=26060 sec=0.033 inf/sec=789697
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/literals.n3p --pass
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>].
#2018-12-20T23:33:04.392Z in=10 out=10 ent=10 step=10 brake=1 inf=29129 sec=0.031 inf/sec=939645
#2018-12-22T18:57:31.913Z in=10 out=10 ent=10 step=10 brake=1 inf=29109 sec=0.033 inf/sec=882091
#ENDS
#Processed by EYE v18.1214.1911 josd
#Processed by EYE v18.1222.1845 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/sample.n3p --pass-all
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>].
#2018-12-20T23:33:04.570Z in=12 out=12 ent=13 step=29 brake=2 inf=53368 sec=0.042 inf/sec=1270667
#2018-12-22T18:57:32.096Z in=12 out=12 ent=13 step=29 brake=2 inf=53347 sec=0.038 inf/sec=1403868
#ENDS