Commit aa50a316 authored by josd's avatar josd

fixing exception with --proof

parent 8518feef
EYE release
[v19.0221.2026] fixing exception with --proof
[v19.0202.2255] adding --csv-separator command line option to use CSV separator such as , or ;
[v19.0116.1239] changing cturtle error message (obs from Hans Cools)
[v18.1230.1307] implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3
......
EYE v19.0202.2255 josd
EYE v19.0221.2026 josd
......@@ -36,7 +36,7 @@
:- set_prolog_flag(encoding, utf8).
:- endif.
version_info('EYE v19.0202.2255 josd').
version_info('EYE v19.0221.2026 josd').
license_info('MIT License
......@@ -176,7 +176,9 @@ eye
:- dynamic(wpfx/1).
:- dynamic(wtcache/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#biconditional>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#call>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#conditional>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#finalize>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#relabel>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#tactic>'/2).
:- dynamic('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#transaction>'/2).
......
No preview for this file type
......@@ -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>].
#2019-02-20T00:29:54.759Z in=6 out=1 ent=1 step=1 brake=2 inf=56748 sec=0.121 inf/sec=468992
#2019-02-21T20:23:48.329Z in=6 out=1 ent=1 step=1 brake=2 inf=56458 sec=0.052 inf/sec=1085731
#ENDS
......@@ -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>].
#2019-02-20T00:29:56.772Z in=131 out=97 ent=200 step=910 brake=6 inf=1124603 sec=0.578 inf/sec=1945680
#2019-02-21T20:23:48.918Z in=131 out=97 ent=200 step=910 brake=6 inf=1124312 sec=0.197 inf/sec=5707168
#ENDS
......@@ -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>].
#2019-02-20T00:29:58.625Z in=97 out=50 ent=100 step=48 brake=4 inf=391554 sec=0.293 inf/sec=1336362
#2019-02-21T20:23:49.435Z in=97 out=50 ent=100 step=48 brake=4 inf=391263 sec=0.128 inf/sec=3056742
#ENDS
......@@ -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>].
#2019-02-20T00:30:06.099Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685459 sec=4.006 inf/sec=1918487
#2019-02-21T20:23:51.552Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685437 sec=1.289 inf/sec=5962325
#ENDS
......@@ -13,6 +13,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.6217496707387207 :evidence ((0
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.7578791663912112 :evidence ((2.4849066497880004 :input2 40 3 0) (1.3862943611198906 :input10 ("xyz" 40) 1 0) (0.6931471805599453 :input1 "xyz" 2 1) (0.0 :input5 "a" 1 1))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.5857864376269049 :evidence ((0.0 :input3 (0 1) 2 2) (-0.6931471805599453 :input4 :v3 1 2))).
#2019-02-20T00:30:08.461Z in=40 out=4 ent=3 step=6 brake=2 inf=67021 sec=0.121 inf/sec=553893
#2019-02-21T20:23:52.246Z in=40 out=4 ent=3 step=6 brake=2 inf=67000 sec=0.052 inf/sec=1288462
#ENDS
......@@ -25,6 +25,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0).
#2019-02-20T00:30:07.226Z in=54 out=17 ent=24 step=110 brake=2 inf=40657 sec=0.105 inf/sec=387210
#2019-02-21T20:23:51.921Z in=54 out=17 ent=24 step=110 brake=2 inf=40633 sec=0.037 inf/sec=1098189
#ENDS
......@@ -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>].
#2019-02-20T00:30:08.863Z in=3 out=3 ent=6 step=12 brake=2 inf=29767 sec=0.082 inf/sec=363012
#2019-02-21T20:23:52.336Z in=3 out=3 ent=6 step=12 brake=2 inf=29744 sec=0.032 inf/sec=929500
#ENDS
......@@ -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>].
#2019-02-20T00:30:09.577Z in=15 out=2 ent=4 step=8 brake=2 inf=54846 sec=0.109 inf/sec=503174
#2019-02-21T20:23:52.553Z in=15 out=2 ent=4 step=8 brake=2 inf=54826 sec=0.045 inf/sec=1218356
#ENDS
......@@ -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>].
#2019-02-20T00:30:11.077Z in=6 out=5 ent=5 step=5 brake=2 inf=55453 sec=0.124 inf/sec=447202
#2019-02-21T20:23:53.084Z in=6 out=5 ent=5 step=5 brake=2 inf=55162 sec=0.054 inf/sec=1021519
#ENDS
......@@ -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>].
#2019-02-20T00:30:10.546Z in=18 out=17 ent=17 step=17 brake=2 inf=76717 sec=0.138 inf/sec=555920
#2019-02-21T20:23:52.823Z in=18 out=17 ent=17 step=17 brake=2 inf=76425 sec=0.049 inf/sec=1559694
#ENDS
......@@ -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>].
#2019-02-20T00:30:11.793Z in=8 out=1 ent=6 step=18 brake=3 inf=29443 sec=0.087 inf/sec=338425
#2019-02-21T20:23:53.284Z in=8 out=1 ent=6 step=18 brake=3 inf=29442 sec=0.037 inf/sec=795730
#ENDS
......@@ -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>].
#2019-02-20T00:30:12.332Z in=11 out=2 ent=2 step=2 brake=1 inf=27401 sec=0.087 inf/sec=314954
#2019-02-21T20:23:53.437Z in=11 out=2 ent=2 step=2 brake=1 inf=27399 sec=0.036 inf/sec=761083
#ENDS
......@@ -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>].
#2019-02-20T00:30:12.787Z in=101 out=6 ent=6 step=6 brake=1 inf=45039 sec=0.097 inf/sec=464320
#2019-02-21T20:23:53.584Z in=101 out=6 ent=6 step=6 brake=1 inf=45038 sec=0.039 inf/sec=1154821
#ENDS
......@@ -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>].
#2019-02-20T00:30:13.533Z in=1001 out=92 ent=92 step=92 brake=1 inf=392539 sec=0.288 inf/sec=1362983
#2019-02-21T20:23:53.837Z in=1001 out=92 ent=92 step=92 brake=1 inf=392539 sec=0.109 inf/sec=3601275
#ENDS
......@@ -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>].
#2019-02-20T00:30:16.642Z in=10001 out=966 ent=966 step=966 brake=1 inf=3883093 sec=2.289 inf/sec=1696415
#2019-02-21T20:23:55.025Z in=10001 out=966 ent=966 step=966 brake=1 inf=3883092 sec=0.820 inf/sec=4735478
#ENDS
......@@ -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>].
#2019-02-20T00:30:17.167Z in=39 out=2 ent=8 step=18 brake=2 inf=59655 sec=0.106 inf/sec=562783
#2019-02-21T20:23:55.286Z in=39 out=2 ent=8 step=18 brake=2 inf=59656 sec=0.054 inf/sec=1104741
#ENDS
......@@ -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>].
#2019-02-20T00:30:17.826Z in=94 out=6 ent=23 step=48 brake=2 inf=119905 sec=0.133 inf/sec=901541
#2019-02-21T20:23:55.568Z in=94 out=6 ent=23 step=48 brake=2 inf=119906 sec=0.070 inf/sec=1712943
#ENDS
......@@ -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>].
#2019-02-20T00:30:19.170Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484071 sec=0.767 inf/sec=1934904
#2019-02-21T20:23:56.067Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484070 sec=0.247 inf/sec=6008381
#ENDS
......@@ -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>].
#2019-02-20T00:30:27.473Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212807 sec=7.229 inf/sec=2104414
#2019-02-21T20:23:58.715Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212805 sec=2.187 inf/sec=6956015
#ENDS
......@@ -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>].
#2019-02-20T00:30:29.293Z in=10 out=1 ent=2 step=2 brake=1 inf=53581 sec=0.102 inf/sec=525304
#2019-02-21T20:23:59.755Z in=10 out=1 ent=2 step=2 brake=1 inf=53580 sec=0.039 inf/sec=1373846
#ENDS
......@@ -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>].
#2019-02-20T00:30:30.271Z in=16 out=2 ent=32 step=120 brake=4 inf=53340 sec=0.104 inf/sec=512885
#2019-02-21T20:24:00.067Z in=16 out=2 ent=32 step=120 brake=4 inf=53356 sec=0.046 inf/sec=1159913
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2019-02-20T00:30:30.987Z in=29 out=24 ent=0 step=0 brake=1 inf=36822 sec=0.082 inf/sec=449049
#2019-02-21T20:24:00.313Z in=29 out=24 ent=0 step=0 brake=1 inf=36839 sec=0.035 inf/sec=1052543
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2019-02-20T00:30:31.476Z in=25 out=4 ent=4 step=4 brake=2 inf=26825 sec=0.086 inf/sec=311919
#2019-02-21T20:24:00.455Z in=25 out=4 ent=4 step=4 brake=2 inf=26843 sec=0.032 inf/sec=838844
#ENDS
......@@ -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>].
#2019-02-20T00:30:34.272Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150721 sec=1.813 inf/sec=2289421
#2019-02-21T20:24:01.257Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150743 sec=0.539 inf/sec=7700822
#ENDS
......@@ -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>].
#2019-02-20T00:30:35.055Z in=19 out=16 ent=32 step=64 brake=2 inf=223484 sec=0.172 inf/sec=1299326
#2019-02-21T20:24:01.572Z in=19 out=16 ent=32 step=64 brake=2 inf=223504 sec=0.064 inf/sec=3492250
#ENDS
......@@ -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>].
#2019-02-20T00:30:35.998Z in=5 out=1 ent=2 step=4 brake=2 inf=687968 sec=0.387 inf/sec=1777695
#2019-02-21T20:24:01.920Z in=5 out=1 ent=2 step=4 brake=2 inf=687983 sec=0.135 inf/sec=5096170
#ENDS
......@@ -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)).
#2019-02-20T00:30:43.148Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869679 sec=4.911 inf/sec=2620582
#2019-02-21T20:24:03.886Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869699 sec=1.379 inf/sec=9332632
#ENDS
......@@ -5,6 +5,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:main :euler-identity "E**(I*pi) + 1 = 0".
#2019-02-20T00:30:44.156Z in=1 out=1 ent=0 step=0 brake=1 inf=12440 sec=0.074 inf/sec=168108
#2019-02-21T20:24:04.249Z in=1 out=1 ent=0 step=0 brake=1 inf=12457 sec=0.039 inf/sec=319410
#ENDS
......@@ -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>].
#2019-02-20T00:30:46.036Z in=76 out=8 ent=50 step=307 brake=6 inf=591227 sec=0.352 inf/sec=1679622
#2019-02-21T20:24:04.634Z in=76 out=8 ent=50 step=307 brake=6 inf=590955 sec=0.128 inf/sec=4616836
#ENDS
......@@ -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}}}].
#2019-02-20T00:30:48.126Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216033 sec=0.712 inf/sec=1707912
#2019-02-21T20:24:05.288Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216052 sec=0.248 inf/sec=4903435
#ENDS
......@@ -1145,6 +1145,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>].
#2019-02-20T00:30:48.880Z in=4 out=1 ent=1 step=1 brake=1 inf=137984 sec=0.146 inf/sec=945096
#2019-02-21T20:24:05.555Z in=4 out=1 ent=1 step=1 brake=1 inf=138005 sec=0.050 inf/sec=2760100
#ENDS
......@@ -934,6 +934,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2019-02-20T00:30:50.303Z in=185 out=6 ent=1591 step=18973 brake=12 inf=865020 sec=0.412 inf/sec=2099563
#2019-02-21T20:24:05.913Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864747 sec=0.152 inf/sec=5689125
#ENDS
......@@ -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>].
#2019-02-20T00:30:51.082Z in=9 out=6 ent=7 step=30 brake=2 inf=53321 sec=0.099 inf/sec=538596
#2019-02-21T20:24:06.172Z in=9 out=6 ent=7 step=30 brake=2 inf=53340 sec=0.044 inf/sec=1212273
#ENDS
......@@ -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>].
#2019-02-20T00:30:51.969Z in=11 out=1 ent=1 step=1 brake=2 inf=123719 sec=0.133 inf/sec=930218
#2019-02-21T20:24:06.500Z in=11 out=1 ent=1 step=1 brake=2 inf=123735 sec=0.062 inf/sec=1995726
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2019-02-20T00:30:53.938Z in=44 out=10 ent=10 step=10 brake=2 inf=2337180 sec=1.089 inf/sec=2146171
#2019-02-21T20:24:07.121Z in=44 out=10 ent=10 step=10 brake=2 inf=2336911 sec=0.362 inf/sec=6455555
#ENDS
......@@ -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>].
#2019-02-20T00:30:54.867Z in=89 out=1 ent=24 step=70 brake=2 inf=93348 sec=0.128 inf/sec=729281
#2019-02-21T20:24:07.454Z in=89 out=1 ent=24 step=70 brake=2 inf=93367 sec=0.052 inf/sec=1795519
#ENDS
......@@ -5,6 +5,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:main :grover-algorithm "grover(7_bits, alternating_bits_oracle) = (1 0 1 0 1 0 1)".
#2019-02-20T00:31:03.370Z in=1 out=1 ent=0 step=0 brake=1 inf=12492 sec=0.074 inf/sec=168811
#2019-02-21T20:24:09.796Z in=1 out=1 ent=0 step=0 brake=1 inf=12491 sec=0.044 inf/sec=283886
#ENDS
......@@ -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>].
#2019-02-20T00:31:04.467Z in=10 out=1 ent=6 step=12 brake=2 inf=31928 sec=0.096 inf/sec=332583
#2019-02-21T20:24:10.054Z in=10 out=1 ent=6 step=12 brake=2 inf=31906 sec=0.040 inf/sec=797650
#ENDS
......@@ -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>].
#2019-02-20T00:31:04.811Z in=3 out=1 ent=2 step=2 brake=1 inf=40080 sec=0.088 inf/sec=455455
#2019-02-21T20:24:10.149Z in=3 out=1 ent=2 step=2 brake=1 inf=40043 sec=0.037 inf/sec=1082243
#ENDS
......@@ -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>].
#2019-02-20T00:31:06.724Z in=5 out=101 ent=202 step=404 brake=2 inf=1179262 sec=0.550 inf/sec=2144113
#2019-02-21T20:24:10.806Z in=5 out=101 ent=202 step=404 brake=2 inf=1179319 sec=0.169 inf/sec=6978219
#ENDS
......@@ -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>].
#2019-02-20T00:31:07.174Z in=7 out=10 ent=13 step=26 brake=2 inf=61808 sec=0.099 inf/sec=624323
#2019-02-21T20:24:11.016Z in=7 out=10 ent=13 step=26 brake=2 inf=61787 sec=0.039 inf/sec=1584282
#ENDS
......@@ -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>].
#2019-02-20T00:31:08.332Z in=168 out=1 ent=39 step=124 brake=4 inf=235653 sec=0.193 inf/sec=1221000
#2019-02-21T20:24:11.376Z in=168 out=1 ent=39 step=124 brake=4 inf=235630 sec=0.081 inf/sec=2909012
#ENDS
......@@ -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>].
#2019-02-20T00:31:09.215Z in=10 out=1 ent=1 step=1 brake=2 inf=103064 sec=0.127 inf/sec=811528
#2019-02-21T20:24:11.701Z in=10 out=1 ent=1 step=1 brake=2 inf=103045 sec=0.058 inf/sec=1776638
#ENDS
......@@ -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>].
#2019-02-20T00:31:10.455Z in=149 out=1 ent=10 step=82 brake=4 inf=302366 sec=0.217 inf/sec=1393392
#2019-02-21T20:24:12.123Z in=149 out=1 ent=10 step=82 brake=4 inf=302363 sec=0.096 inf/sec=3149615
#ENDS
......@@ -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>].
#2019-02-20T00:31:11.058Z in=18 out=2 ent=4 step=8 brake=4 inf=50359 sec=0.093 inf/sec=541495
#2019-02-21T20:24:12.385Z in=18 out=2 ent=4 step=8 brake=4 inf=50360 sec=0.043 inf/sec=1171163
#ENDS
......@@ -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>].
#2019-02-20T00:31:13.342Z in=345 out=47 ent=105 step=330 brake=4 inf=2014288 sec=1.171 inf/sec=1720143
#2019-02-21T20:24:13.044Z in=345 out=47 ent=105 step=330 brake=4 inf=2014287 sec=0.312 inf/sec=6456048
#ENDS
This diff is collapsed.
......@@ -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>].
#2019-02-20T00:31:18.721Z in=7 out=7 ent=7 step=7 brake=1 inf=25878 sec=0.085 inf/sec=304447
#2019-02-21T20:24:14.710Z in=7 out=7 ent=7 step=7 brake=1 inf=25882 sec=0.029 inf/sec=892483
#ENDS
......@@ -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>].
#2019-02-20T00:31:19.017Z in=10 out=10 ent=10 step=10 brake=1 inf=28926 sec=0.086 inf/sec=336349
#2019-02-21T20:24:14.802Z in=10 out=10 ent=10 step=10 brake=1 inf=28925 sec=0.038 inf/sec=761184
#ENDS
......@@ -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>].
#2019-02-20T00:31:19.364Z in=12 out=12 ent=13 step=29 brake=2 inf=53165 sec=0.101 inf/sec=526386
#2019-02-21T20:24:14.894Z in=12 out=12 ent=13 step=29 brake=2 inf=53163 sec=0.037 inf/sec=1436838
#ENDS
......@@ -150,6 +150,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/simple.ttl>].
#2019-02-20T00:31:18.427Z in=8 out=8 ent=8 step=8 brake=1 inf=31646 sec=0.087 inf/sec=363747
#2019-02-21T20:24:14.627Z in=8 out=8 ent=8 step=8 brake=1 inf=31648 sec=0.032 inf/sec=989000
#ENDS
......@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>].
#2019-02-20T00:31:20.519Z in=19 out=1 ent=1 step=1 brake=2 inf=142008 sec=0.168 inf/sec=845286
#2019-02-21T20:24:15.220Z in=19 out=1 ent=1 step=1 brake=2 inf=141715 sec=0.063 inf/sec=2249444
#ENDS
......@@ -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/numeral/numeral.n3>].
#2019-02-20T00:31:20.932Z in=5 out=5 ent=5 step=5 brake=1 inf=25517 sec=0.084 inf/sec=303774
#2019-02-21T20:24:15.423Z in=5 out=5 ent=5 step=5 brake=1 inf=25519 sec=0.036 inf/sec=708861
#ENDS
......@@ -18057,6 +18057,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pi/pi.n3>].
#2019-02-20T00:31:22.927Z in=4 out=1 ent=1 step=1 brake=1 inf=2812156 sec=1.386 inf/sec=2028973
#2019-02-21T20:24:15.997Z in=4 out=1 ent=1 step=1 brake=1 inf=2812154 sec=0.386 inf/sec=7285373
#ENDS
......@@ -80,6 +80,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pptbank/checking.n3>].
#2019-02-20T00:31:24.760Z in=17 out=1 ent=2 step=4 brake=4 inf=48309 sec=0.107 inf/sec=451486
#2019-02-21T20:24:16.490Z in=17 out=1 ent=2 step=4 brake=4 inf=48308 sec=0.046 inf/sec=1050174
#ENDS
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3>].
#2019-02-20T00:31:27.767Z in=45 out=16 ent=91 step=338 brake=3 inf=91973 sec=0.129 inf/sec=712969
#2019-02-21T20:24:17.768Z in=45 out=16 ent=91 step=338 brake=3 inf=91972 sec=0.061 inf/sec=1507738
#ENDS
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/food2.n3>].
#2019-02-20T00:31:28.514Z in=41 out=16 ent=27 step=115 brake=5 inf=86368 sec=0.119 inf/sec=725782
#2019-02-21T20:24:18.073Z in=41 out=16 ent=27 step=115 brake=5 inf=86368 sec=0.050 inf/sec=1727360
#ENDS
......@@ -43,6 +43,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
{?U_203 a food:RedMeat} => {?U_203 a food:Meat}.
{?U_209 a food:EatingGrape} => {?U_209 a food:Grape}.
#2019-02-20T00:31:26.841Z in=50 out=35 ent=35 step=35 brake=1 inf=108597 sec=0.116 inf/sec=936181
#2019-02-21T20:24:17.392Z in=50 out=35 ent=35 step=35 brake=1 inf=108598 sec=0.051 inf/sec=2129373
#ENDS
......@@ -738,6 +738,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome.n3>].
#2019-02-20T00:31:25.622Z in=10 out=1 ent=1 step=1 brake=1 inf=170001 sec=0.149 inf/sec=1140946
#2019-02-21T20:24:16.917Z in=10 out=1 ent=1 step=1 brake=1 inf=170001 sec=0.062 inf/sec=2741952
#ENDS
......@@ -427,6 +427,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome2.n3>].
#2019-02-20T00:31:26.343Z in=7 out=1 ent=1 step=1 brake=1 inf=127782 sec=0.129 inf/sec=990558
#2019-02-21T20:24:17.184Z in=7 out=1 ent=1 step=1 brake=1 inf=127777 sec=0.059 inf/sec=2165712
#ENDS
......@@ -13,6 +13,6 @@ PREFIX log: <http://www.w3.org/2000/10/swap/log#>
{(?U_15 :pop ?U_16) :palindrome true} <= {?U_15 e:firstRest (?U_17 ?U_18). ?U_16 e:firstRest (?U_17 ?U_19). (?U_18 :pop ?U_19) :palindrome true}.
(() :pop ()) :palindrome true.
#2019-02-20T00:31:24.974Z in=24 out=6 ent=6 step=6 brake=1 inf=61242 sec=0.088 inf/sec=695932
#2019-02-21T20:24:16.645Z in=24 out=6 ent=6 step=6 brake=1 inf=61240 sec=0.036 inf/sec=1701111
#ENDS
# Wed Feb 20 01:29:54 CET 2019
# Thu Feb 21 21:23:48 CET 2019
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -252,6 +252,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/resto/resto.n3>].
#2019-02-20T00:31:30.252Z in=10 out=4 ent=47 step=7 brake=1 inf=94390 sec=0.122 inf/sec=773689
#2019-02-21T20:24:18.665Z in=10 out=4 ent=47 step=7 brake=1 inf=94388 sec=0.054 inf/sec=1747926
#ENDS
......@@ -309,6 +309,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/restpath/path-9-3.n3>].
#2019-02-20T00:31:29.517Z in=11 out=1 ent=209 step=218 brake=1 inf=108723 sec=0.131 inf/sec=829947
#2019-02-21T20:24:18.393Z in=11 out=1 ent=209 step=218 brake=1 inf=108719 sec=0.055 inf/sec=1976709
#ENDS
......@@ -48,6 +48,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery001.n3>].
#2019-02-20T00:31:30.925Z in=5 out=2 ent=2 step=2 brake=1 inf=24049 sec=0.079 inf/sec=304418
#2019-02-21T20:24:18.920Z in=5 out=2 ent=2 step=2 brake=1 inf=24048 sec=0.034 inf/sec=707294
#ENDS
......@@ -48,6 +48,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery002.n3>].
#2019-02-20T00:31:31.643Z in=5 out=2 ent=2 step=2 brake=1 inf=24213 sec=0.085 inf/sec=284859
#2019-02-21T20:24:19.172Z in=5 out=2 ent=2 step=2 brake=1 inf=24210 sec=0.039 inf/sec=620769
#ENDS
......@@ -42,6 +42,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery003.n3>].
#2019-02-20T00:31:32.254Z in=5 out=2 ent=2 step=2 brake=1 inf=22839 sec=0.080 inf/sec=285488
#2019-02-21T20:24:19.305Z in=5 out=2 ent=2 step=2 brake=1 inf=22837 sec=0.030 inf/sec=761233
#ENDS
......@@ -6221,6 +6221,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rif/rifP.n3>].
#2019-02-20T00:31:33.753Z in=224 out=222 ent=443 step=1776 brake=4 inf=1859325 sec=0.814 inf/sec=2284183
#2019-02-21T20:24:19.841Z in=224 out=222 ent=443 step=1776 brake=4 inf=1859323 sec=0.260 inf/sec=7151242
#ENDS
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3>].
#2019-02-20T00:31:34.839Z in=45 out=16 ent=91 step=338 brake=3 inf=92490 sec=0.131 inf/sec=706031
#2019-02-21T20:24:20.221Z in=45 out=16 ent=91 step=338 brake=3 inf=92489 sec=0.055 inf/sec=1681618
#ENDS
......@@ -2149,6 +2149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rs/randomsample-rule.n3>].
#2019-02-20T00:31:36.467Z in=1002 out=1 ent=1 step=1 brake=2 inf=1632387 sec=0.727 inf/sec=2245374
#2019-02-21T20:24:20.788Z in=1002 out=1 ent=1 step=1 brake=2 inf=1632387 sec=0.249 inf/sec=6555771
#ENDS
......@@ -120,6 +120,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
#2019-02-20T00:31:37.821Z in=110 out=1 ent=12 step=28 brake=2 inf=202385 sec=0.164 inf/sec=1234055
#2019-02-21T20:24:21.158Z in=110 out=1 ent=12 step=28 brake=2 inf=202383 sec=0.072 inf/sec=2810875
#ENDS
......@@ -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/socrates/socrates.n3>].
#2019-02-20T00:31:38.486Z in=4 out=2 ent=3 step=6 brake=2 inf=25576 sec=0.086 inf/sec=297395
#2019-02-21T20:24:21.412Z in=4 out=2 ent=3 step=6 brake=2 inf=25577 sec=0.038 inf/sec=673079
#ENDS
......@@ -102,6 +102,6 @@ _:sk_19 <http://josd.github.io/eye/reasoning#q> true.
_:sk_19 <http://josd.github.io/eye/reasoning#q> 9.
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> <http://josd.github.io/eye/reasoning#r10>.
(<http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462> 9 <http://josd.github.io/eye/reasoning#i4181>) <http://josd.github.io/eye/reasoning#r9> true.
#2019-02-20T00:31:38.786Z in=16 out=101 ent=0 step=0 brake=0 inf=32532 sec=0.084 inf/sec=387286
#2019-02-21T20:24:21.508Z in=16 out=101 ent=0 step=0 brake=0 inf=32531 sec=0.034 inf/sec=956794
#ENDS
......@@ -86,6 +86,6 @@ _:bn_98 e:answer {:obs098 :ascribed :WetGrass}.
_:bn_99 e:answer {:obs099 :ascribed :WetGrass}.
_:bn_100 e:answer {:obs100 :ascribed :WetGrass}.
#2019-02-20T00:31:40.009Z in=501 out=81 ent=81 step=81 brake=1 inf=239954 sec=0.186 inf/sec=1290075
#2019-02-21T20:24:21.754Z in=501 out=81 ent=81 step=81 brake=1 inf=239952 sec=0.079 inf/sec=3037367
#ENDS
......@@ -59,6 +59,6 @@ _:bn_96 e:answer {:obs096 :ascribed :Rain. :obs096 :ascribed :WetGrass}.
_:bn_98 e:answer {:obs098 :ascribed :Rain. :obs098 :ascribed :WetGrass}.
_:bn_99 e:answer {:obs099 :ascribed :Rain. :obs099 :ascribed :WetGrass}.
#2019-02-20T00:31:40.753Z in=501 out=54 ent=54 step=54 brake=1 inf=230381 sec=0.182 inf/sec=1265830
#2019-02-21T20:24:22.097Z in=501 out=54 ent=54 step=54 brake=1 inf=230381 sec=0.081 inf/sec=2844210
#ENDS
......@@ -51,6 +51,6 @@ _:bn_97 e:answer {:obs097 :ascribed :Sprinkler. :obs097 :ascribed :WetGrass}.
_:bn_99 e:answer {:obs099 :ascribed :Sprinkler. :obs099 :ascribed :WetGrass}.
_:bn_100 e:answer {:obs100 :ascribed :Sprinkler. :obs100 :ascribed :WetGrass}.
#2019-02-20T00:31:41.800Z in=501 out=46 ent=46 step=46 brake=1 inf=224051 sec=0.171 inf/sec=1310240
#2019-02-21T20:24:22.440Z in=501 out=46 ent=46 step=46 brake=1 inf=224048 sec=0.081 inf/sec=2766025
#ENDS
......@@ -24,6 +24,6 @@ _:bn_89 e:answer {:obs089 :ascribed :Rain. :obs089 :ascribed :Sprinkler. :obs089
_:bn_96 e:answer {:obs096 :ascribed :Rain. :obs096 :ascribed :Sprinkler. :obs096 :ascribed :WetGrass}.
_:bn_99 e:answer {:obs099 :ascribed :Rain. :obs099 :ascribed :Sprinkler. :obs099 :ascribed :WetGrass}.
#2019-02-20T00:31:42.509Z in=501 out=19 ent=19 step=19 brake=1 inf=205595 sec=0.168 inf/sec=1223780
#2019-02-21T20:24:22.780Z in=501 out=19 ent=19 step=19 brake=1 inf=205594 sec=0.077 inf/sec=2670052
#ENDS
......@@ -1077,6 +1077,6 @@ PREFIX log: <http://www.w3.org/2000/10/swap/log#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/swet/swetQ.n3>].
#2019-02-20T00:31:44.316Z in=303 out=3 ent=3 step=3 brake=1 inf=545844 sec=0.329 inf/sec=1659100
#2019-02-21T20:24:23.321Z in=303 out=3 ent=3 step=3 brake=1 inf=545844 sec=0.129 inf/sec=4231349
#ENDS
......@@ -2436,6 +2436,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma17>.
#2019-02-20T00:31:45.565Z in=3 out=1 ent=1 step=1 brake=1 inf=1254289 sec=0.678 inf/sec=1849984
#2019-02-21T20:24:23.782Z in=3 out=1 ent=1 step=1 brake=1 inf=1254289 sec=0.230 inf/sec=5453430
#ENDS
......@@ -302,6 +302,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/tfcontext/data-001.n3>].
#2019-02-20T00:31:46.605Z in=9 out=7 ent=21 step=42 brake=4 inf=74491 sec=0.115 inf/sec=647748
#2019-02-21T20:24:24.110Z in=9 out=7 ent=21 step=42 brake=4 inf=74490 sec=0.054 inf/sec=1379444
#ENDS
......@@ -361,6 +361,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/turing/turing.n3>].
#2019-02-20T00:31:47.330Z in=18 out=1 ent=1 step=1 brake=1 inf=89993 sec=0.116 inf/sec=775802
#2019-02-21T20:24:24.380Z in=18 out=1 ent=1 step=1 brake=1 inf=89991 sec=0.052 inf/sec=1730596
#ENDS
......@@ -343,6 +343,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/usm/usmP.n3>].
#2019-02-20T00:31:48.151Z in=21 out=2 ent=24 step=88 brake=5 inf=71290 sec=0.110 inf/sec=648091
#2019-02-21T20:24:24.647Z in=21 out=2 ent=24 step=88 brake=5 inf=71289 sec=0.051 inf/sec=1397824