Commit f9d855b5 authored by josd's avatar josd

retest

parent 520fa904
......@@ -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-11-30T11:49:44.352Z in=34 out=1 ent=1 step=1 brake=2 inf=47438 sec=0.116 inf/sec=408948
#2018-11-30T12:26:22.896Z in=34 out=1 ent=1 step=1 brake=2 inf=47439 sec=0.117 inf/sec=405462
#ENDS
......@@ -4021,6 +4021,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-11-30T11:49:45.873Z in=470 out=97 ent=146 step=855 brake=5 inf=977300 sec=0.527 inf/sec=1854459
#2018-11-30T12:26:24.458Z in=470 out=97 ent=146 step=855 brake=5 inf=977301 sec=0.536 inf/sec=1823323
#ENDS
This diff is collapsed.
......@@ -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-11-30T11:49:51.703Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717711 sec=2.338 inf/sec=2017840
#2018-11-30T12:26:31.074Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717710 sec=2.347 inf/sec=2010102
#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>].
#2018-11-30T11:49:52.125Z in=9 out=3 ent=6 step=12 brake=2 inf=27358 sec=0.084 inf/sec=325690
#2018-11-30T12:26:31.495Z in=9 out=3 ent=6 step=12 brake=2 inf=27357 sec=0.082 inf/sec=333622
#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>].
#2018-11-30T11:49:52.811Z in=43 out=2 ent=4 step=8 brake=2 inf=41092 sec=0.096 inf/sec=428042
#2018-11-30T12:26:32.205Z in=43 out=2 ent=4 step=8 brake=2 inf=41092 sec=0.095 inf/sec=432547
#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>].
#2018-11-30T11:49:54.474Z in=17 out=5 ent=5 step=5 brake=2 inf=50253 sec=0.122 inf/sec=411910
#2018-11-30T12:26:33.375Z in=17 out=5 ent=5 step=5 brake=2 inf=50252 sec=0.119 inf/sec=422286
#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>].
#2018-11-30T11:49:53.947Z in=22 out=17 ent=17 step=17 brake=2 inf=74612 sec=0.130 inf/sec=573938
#2018-11-30T12:26:32.835Z in=22 out=17 ent=17 step=17 brake=2 inf=74610 sec=0.132 inf/sec=565227
#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>].
#2018-11-30T11:49:55.127Z in=22 out=1 ent=6 step=18 brake=3 inf=24415 sec=0.084 inf/sec=290655
#2018-11-30T12:26:34.205Z in=22 out=1 ent=6 step=18 brake=3 inf=24414 sec=0.084 inf/sec=290643
#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>].
#2018-11-30T11:49:55.958Z in=14 out=2 ent=2 step=2 brake=1 inf=25795 sec=0.086 inf/sec=299942
#2018-11-30T12:26:34.671Z in=14 out=2 ent=2 step=2 brake=1 inf=25804 sec=0.083 inf/sec=310892
#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>].
#2018-11-30T11:49:56.331Z in=104 out=6 ent=6 step=6 brake=1 inf=43434 sec=0.093 inf/sec=467032
#2018-11-30T12:26:35.042Z in=104 out=6 ent=6 step=6 brake=1 inf=43435 sec=0.095 inf/sec=457211
#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>].
#2018-11-30T11:49:57.286Z in=1004 out=92 ent=92 step=92 brake=1 inf=390932 sec=0.281 inf/sec=1391217
#2018-11-30T12:26:35.629Z in=1004 out=92 ent=92 step=92 brake=1 inf=390934 sec=0.280 inf/sec=1396193
#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>].
#2018-11-30T11:50:00.631Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881508 sec=2.322 inf/sec=1671623
#2018-11-30T12:26:38.851Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881489 sec=2.297 inf/sec=1689808
#ENDS
......@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>].
#2018-11-30T11:50:01.125Z in=54 out=2 ent=8 step=18 brake=2 inf=37907 sec=0.097 inf/sec=390794
#2018-11-30T12:26:39.346Z in=54 out=2 ent=8 step=18 brake=2 inf=37886 sec=0.091 inf/sec=416330
#ENDS
......@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>].
#2018-11-30T11:50:01.738Z in=124 out=6 ent=23 step=48 brake=2 inf=70191 sec=0.109 inf/sec=643954
#2018-11-30T12:26:40.185Z in=124 out=6 ent=23 step=48 brake=2 inf=70158 sec=0.112 inf/sec=626411
#ENDS
......@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>].
#2018-11-30T11:50:02.612Z in=1686 out=92 ent=355 step=712 brake=2 inf=804921 sec=0.450 inf/sec=1788713
#2018-11-30T12:26:41.072Z in=1686 out=92 ent=355 step=712 brake=2 inf=804902 sec=0.448 inf/sec=1796656
#ENDS
......@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>].
#2018-11-30T11:50:07.227Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124418 sec=3.884 inf/sec=2091766
#2018-11-30T12:26:45.473Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124398 sec=3.896 inf/sec=2085318
#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>].
#2018-11-30T11:50:08.693Z in=43 out=1 ent=2 step=2 brake=1 inf=31662 sec=0.095 inf/sec=333284
#2018-11-30T12:26:46.877Z in=43 out=1 ent=2 step=2 brake=1 inf=31643 sec=0.094 inf/sec=336628
#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>].
#2018-11-30T11:50:09.666Z in=52 out=2 ent=32 step=120 brake=4 inf=42409 sec=0.099 inf/sec=428374
#2018-11-30T12:26:48.019Z in=52 out=2 ent=32 step=120 brake=4 inf=42389 sec=0.096 inf/sec=441552
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-11-30T11:50:10.227Z in=73 out=24 ent=0 step=0 brake=1 inf=16834 sec=0.080 inf/sec=210425
#2018-11-30T12:26:48.583Z in=73 out=24 ent=0 step=0 brake=1 inf=16832 sec=0.083 inf/sec=202795
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-11-30T11:50:10.686Z in=31 out=4 ent=4 step=4 brake=2 inf=15744 sec=0.078 inf/sec=201846
#2018-11-30T12:26:49.040Z in=31 out=4 ent=4 step=4 brake=2 inf=15737 sec=0.077 inf/sec=204377
#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>].
#2018-11-30T11:50:12.775Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940786 sec=1.087 inf/sec=1785452
#2018-11-30T12:26:50.808Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940780 sec=1.089 inf/sec=1782167
#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>].
#2018-11-30T11:50:13.506Z in=57 out=16 ent=32 step=64 brake=2 inf=200550 sec=0.158 inf/sec=1269304
#2018-11-30T12:26:51.844Z in=57 out=16 ent=32 step=64 brake=2 inf=200551 sec=0.159 inf/sec=1261327
#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>].
#2018-11-30T11:50:14.377Z in=28 out=1 ent=2 step=4 brake=2 inf=671676 sec=0.381 inf/sec=1762929
#2018-11-30T12:26:52.718Z in=28 out=1 ent=2 step=4 brake=2 inf=671677 sec=0.380 inf/sec=1767571
#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)).
#2018-11-30T11:50:20.627Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855574 sec=4.043 inf/sec=2437688
#2018-11-30T12:26:59.014Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855574 sec=4.037 inf/sec=2441311
#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>].
#2018-11-30T11:50:21.937Z in=260 out=8 ent=50 step=307 brake=6 inf=469339 sec=0.294 inf/sec=1596391
#2018-11-30T12:27:00.844Z in=260 out=8 ent=50 step=307 brake=6 inf=469358 sec=0.288 inf/sec=1629715
#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}}}].
#2018-11-30T11:50:23.426Z in=630 out=18 ent=237 step=1917 brake=5 inf=807073 sec=0.549 inf/sec=1470078
#2018-11-30T12:27:02.342Z in=630 out=18 ent=237 step=1917 brake=5 inf=807091 sec=0.554 inf/sec=1456843
#ENDS
......@@ -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-11-30T11:50:24.232Z in=14 out=1 ent=1 step=1 brake=1 inf=138697 sec=0.137 inf/sec=1012387
#2018-11-30T12:27:02.981Z in=14 out=1 ent=1 step=1 brake=1 inf=138716 sec=0.137 inf/sec=1012526
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-11-30T11:50:25.336Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753953 sec=0.375 inf/sec=2010541
#2018-11-30T12:27:04.079Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753971 sec=0.370 inf/sec=2037759
#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>].
#2018-11-30T11:50:26.306Z in=46 out=6 ent=7 step=30 brake=2 inf=43012 sec=0.095 inf/sec=452758
#2018-11-30T12:27:04.663Z in=46 out=6 ent=7 step=30 brake=2 inf=43034 sec=0.094 inf/sec=457809
#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>].
#2018-11-30T11:50:27.094Z in=60 out=1 ent=1 step=1 brake=2 inf=80249 sec=0.117 inf/sec=685889
#2018-11-30T12:27:05.442Z in=60 out=1 ent=1 step=1 brake=2 inf=80267 sec=0.120 inf/sec=668892
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-11-30T11:50:28.924Z in=201 out=10 ent=10 step=10 brake=2 inf=2321528 sec=1.049 inf/sec=2213087
#2018-11-30T12:27:07.355Z in=201 out=10 ent=10 step=10 brake=2 inf=2321547 sec=1.040 inf/sec=2232257
#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/graph/graph.axiom.n3>].
#2018-11-30T11:50:29.686Z in=171 out=1 ent=24 step=70 brake=2 inf=39626 sec=0.095 inf/sec=417116
#2018-11-30T12:27:08.143Z in=171 out=1 ent=24 step=70 brake=2 inf=39645 sec=0.105 inf/sec=377571
#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>].
#2018-11-30T11:50:30.551Z in=16 out=1 ent=6 step=12 brake=2 inf=27446 sec=0.090 inf/sec=304956
#2018-11-30T12:27:09.432Z in=16 out=1 ent=6 step=12 brake=2 inf=27467 sec=0.097 inf/sec=283165
#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>].
#2018-11-30T11:50:30.859Z in=13 out=1 ent=2 step=2 brake=1 inf=34253 sec=0.084 inf/sec=407774
#2018-11-30T12:27:09.719Z in=13 out=1 ent=2 step=2 brake=1 inf=34283 sec=0.086 inf/sec=398640
#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>].
#2018-11-30T11:50:32.669Z in=46 out=101 ent=202 step=404 brake=2 inf=1216552 sec=0.541 inf/sec=2248710
#2018-11-30T12:27:11.712Z in=46 out=101 ent=202 step=404 brake=2 inf=1216553 sec=0.547 inf/sec=2224046
#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>].
#2018-11-30T11:50:33.079Z in=29 out=10 ent=13 step=26 brake=2 inf=55995 sec=0.095 inf/sec=589421
#2018-11-30T12:27:12.418Z in=29 out=10 ent=13 step=26 brake=2 inf=55995 sec=0.098 inf/sec=571378
#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>].
#2018-11-30T11:50:33.973Z in=356 out=1 ent=39 step=124 brake=4 inf=129962 sec=0.155 inf/sec=838465
#2018-11-30T12:27:13.233Z in=356 out=1 ent=39 step=124 brake=4 inf=129962 sec=0.153 inf/sec=849425
#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>].
#2018-11-30T11:50:34.647Z in=56 out=1 ent=1 step=1 brake=2 inf=61594 sec=0.110 inf/sec=559945
#2018-11-30T12:27:13.919Z in=56 out=1 ent=1 step=1 brake=2 inf=61594 sec=0.112 inf/sec=549946
#ENDS
......@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-30T11:50:35.508Z in=309 out=1 ent=10 step=82 brake=4 inf=127915 sec=0.141 inf/sec=907199
#2018-11-30T12:27:14.793Z in=309 out=1 ent=10 step=82 brake=4 inf=127915 sec=0.148 inf/sec=864291
#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>].
#2018-11-30T11:50:36.068Z in=30 out=2 ent=4 step=8 brake=4 inf=34633 sec=0.085 inf/sec=407447
#2018-11-30T12:27:15.372Z in=30 out=2 ent=4 step=8 brake=4 inf=34633 sec=0.092 inf/sec=376446
#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>].
#2018-11-30T11:50:38.269Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536583 sec=0.979 inf/sec=1569543
#2018-11-30T12:27:17.407Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536583 sec=0.979 inf/sec=1569543
#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>].
#2018-11-30T11:50:44.424Z in=7 out=7 ent=7 step=7 brake=1 inf=26493 sec=0.081 inf/sec=327074
#2018-11-30T12:27:23.501Z in=7 out=7 ent=7 step=7 brake=1 inf=26493 sec=0.081 inf/sec=327074
#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>].
#2018-11-30T11:50:44.712Z in=10 out=10 ent=10 step=10 brake=1 inf=29542 sec=0.082 inf/sec=360268
#2018-11-30T12:27:24.079Z in=10 out=10 ent=10 step=10 brake=1 inf=29540 sec=0.081 inf/sec=364691
#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>].
#2018-11-30T11:50:45.014Z in=12 out=12 ent=13 step=29 brake=2 inf=53778 sec=0.095 inf/sec=566084
#2018-11-30T12:27:24.360Z in=12 out=12 ent=13 step=29 brake=2 inf=53780 sec=0.096 inf/sec=560208
#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>].
#2018-11-30T11:50:44.144Z in=8 out=8 ent=8 step=8 brake=1 inf=32263 sec=0.088 inf/sec=366625
#2018-11-30T12:27:23.235Z in=8 out=8 ent=8 step=8 brake=1 inf=32262 sec=0.084 inf/sec=384071
#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>].
#2018-11-30T11:50:45.925Z in=158 out=1 ent=1 step=1 brake=2 inf=73253 sec=0.134 inf/sec=546664
#2018-11-30T12:27:25.169Z in=158 out=1 ent=1 step=1 brake=2 inf=73251 sec=0.133 inf/sec=550759
#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>].
#2018-11-30T11:50:46.320Z in=5 out=5 ent=5 step=5 brake=1 inf=25685 sec=0.081 inf/sec=317099
#2018-11-30T12:27:25.568Z in=5 out=5 ent=5 step=5 brake=1 inf=25686 sec=0.083 inf/sec=309470
#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>].
#2018-11-30T11:50:48.111Z in=22 out=1 ent=1 step=1 brake=1 inf=2902486 sec=1.279 inf/sec=2269340
#2018-11-30T12:27:27.389Z in=22 out=1 ent=1 step=1 brake=1 inf=2902487 sec=1.263 inf/sec=2298089
#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>].
#2018-11-30T11:50:49.780Z in=34 out=1 ent=2 step=4 brake=1 inf=32733 sec=0.095 inf/sec=344558
#2018-11-30T12:27:28.871Z in=34 out=1 ent=2 step=4 brake=1 inf=32734 sec=0.104 inf/sec=314750
#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>].
#2018-11-30T11:50:52.464Z in=59 out=16 ent=91 step=338 brake=3 inf=68859 sec=0.110 inf/sec=625991
#2018-11-30T12:27:32.065Z in=59 out=16 ent=91 step=338 brake=3 inf=68860 sec=0.115 inf/sec=598783
#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>].
#2018-11-30T11:50:53.026Z in=113 out=16 ent=27 step=115 brake=5 inf=54658 sec=0.107 inf/sec=510822
#2018-11-30T12:27:32.622Z in=113 out=16 ent=27 step=115 brake=5 inf=54657 sec=0.106 inf/sec=515632
#ENDS
......@@ -43,6 +43,6 @@ PREFIX p: <http://josd.github.io/eye/reasoning/preduction#>
{?U_441 a food:RedMeat} => {?U_441 a food:Meat}.
{?U_454 a food:EatingGrape} => {?U_454 a food:Grape}.
#2018-11-30T11:50:51.633Z in=106 out=35 ent=35 step=35 brake=0 inf=66884 sec=0.110 inf/sec=608036
#2018-11-30T12:27:30.942Z in=106 out=35 ent=35 step=35 brake=0 inf=66882 sec=0.108 inf/sec=619278
#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>].
#2018-11-30T11:50:50.626Z in=29 out=1 ent=1 step=1 brake=1 inf=158722 sec=0.141 inf/sec=1125688
#2018-11-30T12:27:29.797Z in=29 out=1 ent=1 step=1 brake=1 inf=158724 sec=0.150 inf/sec=1058160
#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>].
#2018-11-30T11:50:51.213Z in=27 out=1 ent=1 step=1 brake=1 inf=114811 sec=0.120 inf/sec=956758
#2018-11-30T12:27:30.502Z in=27 out=1 ent=1 step=1 brake=1 inf=114811 sec=0.120 inf/sec=956758
#ENDS
......@@ -13,6 +13,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
{(?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.
#2018-11-30T11:50:50.019Z in=88 out=6 ent=6 step=6 brake=1 inf=26908 sec=0.084 inf/sec=320333
#2018-11-30T12:27:29.114Z in=88 out=6 ent=6 step=6 brake=1 inf=26907 sec=0.086 inf/sec=312872
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-11-30T11:49:44.352Z,34,1,1,1,2,47438,0.116,408948
2018-11-30T11:49:45.873Z,470,97,146,855,5,977300,0.527,1854459
2018-11-30T11:49:51.703Z,10012,1518,1518,1518,1,4717711,2.338,2017840
2018-11-30T11:49:52.125Z,9,3,6,12,2,27358,0.084,325690
2018-11-30T11:49:52.811Z,43,2,4,8,2,41092,0.096,428042
2018-11-30T11:49:53.947Z,22,17,17,17,2,74612,0.130,573938
2018-11-30T11:49:54.474Z,17,5,5,5,2,50253,0.122,411910
2018-11-30T11:49:55.127Z,22,1,6,18,3,24415,0.084,290655
2018-11-30T11:49:55.958Z,14,2,2,2,1,25795,0.086,299942
2018-11-30T11:49:56.331Z,104,6,6,6,1,43434,0.093,467032
2018-11-30T11:49:57.286Z,1004,92,92,92,1,390932,0.281,1391217
2018-11-30T11:50:00.631Z,10004,966,966,966,1,3881508,2.322,1671623
2018-11-30T11:50:01.125Z,54,2,8,18,2,37907,0.097,390794
2018-11-30T11:50:01.738Z,124,6,23,48,2,70191,0.109,643954
2018-11-30T11:50:02.612Z,1686,92,355,712,2,804921,0.450,1788713
2018-11-30T11:50:07.227Z,17278,966,3682,7366,2,8124418,3.884,2091766
2018-11-30T11:50:08.693Z,43,1,2,2,1,31662,0.095,333284
2018-11-30T11:50:09.666Z,52,2,32,120,4,42409,0.099,428374
2018-11-30T11:50:10.227Z,73,24,0,0,1,16834,0.080,210425
2018-11-30T11:50:10.686Z,31,4,4,4,2,15744,0.078,201846
2018-11-30T11:50:12.775Z,9008,1,2999,5998,2,1940786,1.087,1785452
2018-11-30T11:50:13.506Z,57,16,32,64,2,200550,0.158,1269304
2018-11-30T11:50:14.377Z,28,1,2,4,2,671676,0.381,1762929
2018-11-30T11:50:20.627Z,1004,1000,1000,1000,1,9855574,4.043,2437688
2018-11-30T11:50:21.937Z,260,8,50,307,6,469339,0.294,1596391
2018-11-30T11:50:23.426Z,630,18,237,1917,5,807073,0.549,1470078
2018-11-30T11:50:24.232Z,14,1,1,1,1,138697,0.137,1012387
2018-11-30T11:50:25.336Z,347,6,1591,18973,12,753953,0.375,2010541
2018-11-30T11:50:26.306Z,46,6,7,30,2,43012,0.095,452758
2018-11-30T11:50:27.094Z,60,1,1,1,2,80249,0.117,685889
2018-11-30T11:50:28.924Z,201,10,10,10,2,2321528,1.049,2213087
2018-11-30T11:50:29.686Z,171,1,24,70,2,39626,0.095,417116
2018-11-30T11:50:30.551Z,16,1,6,12,2,27446,0.090,304956
2018-11-30T11:50:30.859Z,13,1,2,2,1,34253,0.084,407774
2018-11-30T11:50:32.669Z,46,101,202,404,2,1216552,0.541,2248710
2018-11-30T11:50:33.079Z,29,10,13,26,2,55995,0.095,589421
2018-11-30T11:50:33.973Z,356,1,39,124,4,129962,0.155,838465
2018-11-30T11:50:34.647Z,56,1,1,1,2,61594,0.110,559945
2018-11-30T11:50:35.508Z,309,1,10,82,4,127915,0.141,907199
2018-11-30T11:50:36.068Z,30,2,4,8,4,34633,0.085,407447
2018-11-30T11:50:38.269Z,1546,47,105,330,4,1536583,0.979,1569543
2018-11-30T11:50:43.729Z,100600,117,0,0,1,5365343,4.591,1168665
2018-11-30T11:50:44.144Z,8,8,8,8,1,32263,0.088,366625
2018-11-30T11:50:44.424Z,7,7,7,7,1,26493,0.081,327074
2018-11-30T11:50:44.712Z,10,10,10,10,1,29542,0.082,360268
2018-11-30T11:50:45.014Z,12,12,13,29,2,53778,0.095,566084
2018-11-30T11:50:45.925Z,158,1,1,1,2,73253,0.134,546664
2018-11-30T11:50:46.320Z,5,5,5,5,1,25685,0.081,317099
2018-11-30T11:50:48.111Z,22,1,1,1,1,2902486,1.279,2269340
2018-11-30T11:50:49.780Z,34,1,2,4,1,32733,0.095,344558
2018-11-30T11:50:50.019Z,88,6,6,6,1,26908,0.084,320333
2018-11-30T11:50:50.626Z,29,1,1,1,1,158722,0.141,1125688
2018-11-30T11:50:51.213Z,27,1,1,1,1,114811,0.120,956758
2018-11-30T11:50:51.633Z,106,35,35,35,0,66884,0.110,608036
2018-11-30T11:50:52.464Z,59,16,91,338,3,68859,0.110,625991
2018-11-30T11:50:53.026Z,113,16,27,115,5,54658,0.107,510822
2018-11-30T11:50:53.799Z,102,1,209,218,1,78567,0.119,660227
2018-11-30T11:50:54.395Z,78,4,47,7,1,56334,0.107,526486
2018-11-30T11:50:54.970Z,13,2,2,2,1,21871,0.083,263506
2018-11-30T11:50:56.372Z,13,2,2,2,1,22042,0.082,268805
2018-11-30T11:50:56.833Z,11,2,2,2,1,21062,0.078,270026
2018-11-30T11:50:58.057Z,683,222,443,1776,4,1533388,0.703,2181206
2018-11-30T11:50:58.904Z,59,16,91,338,3,68902,0.108,637981
2018-11-30T11:51:00.280Z,1013,1,1,1,1,1397472,0.662,2110985
2018-11-30T11:51:01.143Z,9,2,3,6,2,21901,0.083,263867
2018-11-30T11:51:01.432Z,35,101,0,0,0,27503,0.085,323565
2018-11-30T11:51:02.337Z,606,81,81,81,1,92563,0.134,690769
2018-11-30T11:51:02.854Z,608,54,54,54,1,81690,0.126,648333
2018-11-30T11:51:03.343Z,608,46,46,46,1,74752,0.123,607740
2018-11-30T11:51:03.807Z,610,19,19,19,1,54419,0.110,494718
2018-11-30T11:51:05.037Z,769,3,1,1,0,336782,0.241,1397436
2018-11-30T11:51:06.243Z,16,1,1,1,1,1254775,0.682,1839846
2018-11-30T11:51:07.035Z,26,7,21,42,4,65850,0.111,593243
2018-11-30T11:51:07.631Z,57,1,1,1,1,63412,0.108,587148
2018-11-30T11:51:08.251Z,60,2,24,88,5,49546,0.099,500465
2018-11-30T11:51:08.647Z,5,5,5,5,1,25007,0.082,304963
2018-11-30T11:51:09.128Z,20,1,7,25,5,26803,0.083,322928
2018-11-30T11:51:09.815Z,97,1,9,43,3,42830,0.121,353967
2018-11-30T12:26:22.896Z,34,1,1,1,2,47439,0.117,405462
2018-11-30T12:26:24.458Z,470,97,146,855,5,977301,0.536,1823323
2018-11-30T12:26:25.854Z,295,50,100,48,4,220996,0.221,999982
2018-11-30T12:26:31.074Z,10012,1518,1518,1518,1,4717710,2.347,2010102
2018-11-30T12:26:31.495Z,9,3,6,12,2,27357,0.082,333622
2018-11-30T12:26:32.205Z,43,2,4,8,2,41092,0.095,432547
2018-11-30T12:26:32.835Z,22,17,17,17,2,74610,0.132,565227
2018-11-30T12:26:33.375Z,17,5,5,5,2,50252,0.119,422286
2018-11-30T12:26:34.205Z,22,1,6,18,3,24414,0.084,290643
2018-11-30T12:26:34.671Z,14,2,2,2,1,25804,0.083,310892
2018-11-30T12:26:35.042Z,104,6,6,6,1,43435,0.095,457211
2018-11-30T12:26:35.629Z,1004,92,92,92,1,390934,0.280,1396193
2018-11-30T12:26:38.851Z,10004,966,966,966,1,3881489,2.297,1689808
2018-11-30T12:26:39.346Z,54,2,8,18,2,37886,0.091,416330
2018-11-30T12:26:40.185Z,124,6,23,48,2,70158,0.112,626411
2018-11-30T12:26:41.072Z,1686,92,355,712,2,804902,0.448,1796656
2018-11-30T12:26:45.473Z,17278,966,3682,7366,2,8124398,3.896,2085318
2018-11-30T12:26:46.877Z,43,1,2,2,1,31643,0.094,336628
2018-11-30T12:26:48.019Z,52,2,32,120,4,42389,0.096,441552
2018-11-30T12:26:48.583Z,73,24,0,0,1,16832,0.083,202795
2018-11-30T12:26:49.040Z,31,4,4,4,2,15737,0.077,204377
2018-11-30T12:26:50.808Z,9008,1,2999,5998,2,1940780,1.089,1782167
2018-11-30T12:26:51.844Z,57,16,32,64,2,200551,0.159,1261327
2018-11-30T12:26:52.718Z,28,1,2,4,2,671677,0.380,1767571
2018-11-30T12:26:59.014Z,1004,1000,1000,1000,1,9855574,4.037,2441311
2018-11-30T12:27:00.844Z,260,8,50,307,6,469358,0.288,1629715
2018-11-30T12:27:02.342Z,630,18,237,1917,5,807091,0.554,1456843
2018-11-30T12:27:02.981Z,14,1,1,1,1,138716,0.137,1012526
2018-11-30T12:27:04.079Z,347,6,1591,18973,12,753971,0.370,2037759
2018-11-30T12:27:04.663Z,46,6,7,30,2,43034,0.094,457809
2018-11-30T12:27:05.442Z,60,1,1,1,2,80267,0.120,668892
2018-11-30T12:27:07.355Z,201,10,10,10,2,2321547,1.040,2232257
2018-11-30T12:27:08.143Z,171,1,24,70,2,39645,0.105,377571
2018-11-30T12:27:09.432Z,16,1,6,12,2,27467,0.097,283165
2018-11-30T12:27:09.719Z,13,1,2,2,1,34283,0.086,398640
2018-11-30T12:27:11.712Z,46,101,202,404,2,1216553,0.547,2224046
2018-11-30T12:27:12.418Z,29,10,13,26,2,55995,0.098,571378
2018-11-30T12:27:13.233Z,356,1,39,124,4,129962,0.153,849425
2018-11-30T12:27:13.919Z,56,1,1,1,2,61594,0.112,549946
2018-11-30T12:27:14.793Z,309,1,10,82,4,127915,0.148,864291
2018-11-30T12:27:15.372Z,30,2,4,8,4,34633,0.092,376446
2018-11-30T12:27:17.407Z,1546,47,105,330,4,1536583,0.979,1569543
2018-11-30T12:27:22.826Z,100600,117,0,0,1,5365345,4.570,1174036
2018-11-30T12:27:23.235Z,8,8,8,8,1,32262,0.084,384071
2018-11-30T12:27:23.501Z,7,7,7,7,1,26493,0.081,327074
2018-11-30T12:27:24.079Z,10,10,10,10,1,29540,0.081,364691
2018-11-30T12:27:24.360Z,12,12,13,29,2,53780,0.096,560208
2018-11-30T12:27:25.169Z,158,1,1,1,2,73251,0.133,550759
2018-11-30T12:27:25.568Z,5,5,5,5,1,25686,0.083,309470
2018-11-30T12:27:27.389Z,22,1,1,1,1,2902487,1.263,2298089
2018-11-30T12:27:28.871Z,34,1,2,4,1,32734,0.104,314750
2018-11-30T12:27:29.114Z,88,6,6,6,1,26907,0.086,312872
2018-11-30T12:27:29.797Z,29,1,1,1,1,158724,0.150,1058160
2018-11-30T12:27:30.502Z,27,1,1,1,1,114811,0.120,956758
2018-11-30T12:27:30.942Z,106,35,35,35,0,66882,0.108,619278
2018-11-30T12:27:32.065Z,59,16,91,338,3,68860,0.115,598783
2018-11-30T12:27:32.622Z,113,16,27,115,5,54657,0.106,515632
2018-11-30T12:27:33.419Z,102,1,209,218,1,78567,0.116,677302
2018-11-30T12:27:34.020Z,78,4,47,7,1,56336,0.105,536533
2018-11-30T12:27:34.610Z,13,2,2,2,1,21873,0.084,260393
2018-11-30T12:27:35.188Z,13,2,2,2,1,22041,0.081,272111
2018-11-30T12:27:35.932Z,11,2,2,2,1,21062,0.086,244907
2018-11-30T12:27:37.149Z,683,222,443,1776,4,1533386,0.701,2187427
2018-11-30T12:27:38.010Z,59,16,91,338,3,68903,0.113,609761
2018-11-30T12:27:39.591Z,1013,1,1,1,1,1397451,0.649,2153237
2018-11-30T12:27:40.553Z,288,1,12,28,2,40063,0.104,385221
2018-11-30T12:27:41.009Z,9,2,3,6,2,21881,0.082,266841
2018-11-30T12:27:41.292Z,35,101,0,0,0,27483,0.077,356922
2018-11-30T12:27:42.179Z,606,81,81,81,1,92543,0.138,670601
2018-11-30T12:27:42.687Z,608,54,54,54,1,81655,0.134,609366
2018-11-30T12:27:43.171Z,608,46,46,46,1,74731,0.123,607569
2018-11-30T12:27:43.651Z,610,19,19,19,1,54402,0.116,468983
2018-11-30T12:27:45.449Z,769,3,1,1,0,336761,0.239,1409042
2018-11-30T12:27:46.661Z,16,1,1,1,1,1254756,0.669,1875570
2018-11-30T12:27:47.440Z,26,7,21,42,4,65829,0.112,587759
2018-11-30T12:27:48.244Z,57,1,1,1,1,63392,0.109,581578
2018-11-30T12:27:48.828Z,60,2,24,88,5,49527,0.103,480845
2018-11-30T12:27:49.228Z,5,5,5,5,1,24986,0.082,304707
2018-11-30T12:27:49.697Z,20,1,7,25,5,26784,0.085,315106
2018-11-30T12:27:51.216Z,97,1,9,43,3,42810,0.119,359748
This diff is collapsed.
This diff is collapsed.
......@@ -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>].
#2018-11-30T11:50:54.395Z in=78 out=4 ent=47 step=7 brake=1 inf=56334 sec=0.107 inf/sec=526486
#2018-11-30T12:27:34.020Z in=78 out=4 ent=47 step=7 brake=1 inf=56336 sec=0.105 inf/sec=536533
#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>].
#2018-11-30T11:50:53.799Z in=102 out=1 ent=209 step=218 brake=1 inf=78567 sec=0.119 inf/sec=660227
#2018-11-30T12:27:33.419Z in=102 out=1 ent=209 step=218 brake=1 inf=78567 sec=0.116 inf/sec=677302
#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>].
#2018-11-30T11:50:54.970Z in=13 out=2 ent=2 step=2 brake=1 inf=21871 sec=0.083 inf/sec=263506
#2018-11-30T12:27:34.610Z in=13 out=2 ent=2 step=2 brake=1 inf=21873 sec=0.084 inf/sec=260393
#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>].
#2018-11-30T11:50:56.372Z in=13 out=2 ent=2 step=2 brake=1 inf=22042 sec=0.082 inf/sec=268805
#2018-11-30T12:27:35.188Z in=13 out=2 ent=2 step=2 brake=1 inf=22041 sec=0.081 inf/sec=272111
#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>].
#2018-11-30T11:50:56.833Z in=11 out=2 ent=2 step=2 brake=1 inf=21062 sec=0.078 inf/sec=270026
#2018-11-30T12:27:35.932Z in=11 out=2 ent=2 step=2 brake=1 inf=21062 sec=0.086 inf/sec=244907
#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>].
#2018-11-30T11:50:58.057Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533388 sec=0.703 inf/sec=2181206
#2018-11-30T12:27:37.149Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533386 sec=0.701 inf/sec=2187427
#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>].
#2018-11-30T11:50:58.904Z in=59 out=16 ent=91 step=338 brake=3 inf=68902 sec=0.108 inf/sec=637981
#2018-11-30T12:27:38.010Z in=59 out=16 ent=91 step=338 brake=3 inf=68903 sec=0.113 inf/sec=609761
#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>].
#2018-11-30T11:51:00.280Z in=1013 out=1 ent=1 step=1 brake=1 inf=1397472 sec=0.662 inf/sec=2110985
#2018-11-30T12:27:39.591Z in=1013 out=1 ent=1 step=1 brake=1 inf=1397451 sec=0.649 inf/sec=2153237
#ENDS
#Processed by EYE v18.1121.1531 josd
#eye --n3 skos-mapping-sample-snomed-icd10.n3 --n3 http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-rules.n3 --query http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-query.n3
#eye --n3 http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3 --n3 http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-rules.n3 --query http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-query.n3
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
......@@ -72,7 +72,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
r:gives {
<http://purl.bioontology.org/ontology/SNOMEDCT/89369001> skos:exactMatch <http://purl.bioontology.org/ontology/ICD10/Q00.0>.
};
r:because [ a r:Parsing; r:source <file:///home/jdroo/github.com/josd/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
<#lemma6> a r:Inference;
r:gives {
......@@ -87,7 +87,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
r:gives {
<http://purl.bioontology.org/ontology/ICD10/Q00> skos:exactMatch <http://purl.bioontology.org/ontology/SNOMEDCT/203922009>.
};
r:because [ a r:Parsing; r:source <file:///home/jdroo/github.com/josd/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
<#lemma8> a r:Extraction;
r:gives {
......@@ -106,7 +106,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
r:gives {