Commit 141efab8 authored by josd's avatar josd

testing SWI-Prolog 8.1.0

parent 121a9c8f
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:48.417Z in=6 out=1 ent=1 step=1 brake=2 inf=56235 sec=0.045 inf/sec=1249667
#2019-01-19T23:06:12.283Z in=6 out=1 ent=1 step=1 brake=2 inf=56246 sec=0.050 inf/sec=1124920
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:49.443Z in=131 out=97 ent=200 step=910 brake=6 inf=1124090 sec=0.208 inf/sec=5404279
#2019-01-19T23:06:13.355Z in=131 out=97 ent=200 step=910 brake=6 inf=1124100 sec=0.205 inf/sec=5483415
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:50.435Z in=97 out=50 ent=100 step=48 brake=4 inf=391041 sec=0.124 inf/sec=3153556
#2019-01-19T23:06:14.307Z in=97 out=50 ent=100 step=48 brake=4 inf=391052 sec=0.126 inf/sec=3103587
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:53.605Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685230 sec=1.334 inf/sec=5761042
#2019-01-19T23:06:17.375Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685239 sec=1.302 inf/sec=5902641
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/test_data.ttl --turtle http://josd.github.io/eye/reasoning/ccd/train_model.ttl --n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -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-01-16T12:36:55.032Z in=40 out=4 ent=3 step=6 brake=2 inf=66791 sec=0.059 inf/sec=1132051
#2019-01-19T23:06:18.811Z in=40 out=4 ent=3 step=6 brake=2 inf=66803 sec=0.053 inf/sec=1260434
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/train_data.ttl --n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -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-01-16T12:36:54.344Z in=54 out=17 ent=24 step=110 brake=2 inf=40425 sec=0.039 inf/sec=1036538
#2019-01-19T23:06:18.115Z in=54 out=17 ent=24 step=110 brake=2 inf=40432 sec=0.042 inf/sec=962667
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:55.223Z in=3 out=3 ent=6 step=12 brake=2 inf=29538 sec=0.036 inf/sec=820500
#2019-01-19T23:06:18.999Z in=3 out=3 ent=6 step=12 brake=2 inf=29547 sec=0.030 inf/sec=984900
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:55.729Z in=15 out=2 ent=4 step=8 brake=2 inf=54614 sec=0.051 inf/sec=1070863
#2019-01-19T23:06:19.475Z in=15 out=2 ent=4 step=8 brake=2 inf=54626 sec=0.048 inf/sec=1138042
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:56.552Z in=6 out=5 ent=5 step=5 brake=2 inf=54941 sec=0.045 inf/sec=1220911
#2019-01-19T23:06:20.293Z in=6 out=5 ent=5 step=5 brake=2 inf=54951 sec=0.052 inf/sec=1056750
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:56.190Z in=18 out=17 ent=17 step=17 brake=2 inf=76201 sec=0.048 inf/sec=1587521
#2019-01-19T23:06:19.929Z in=18 out=17 ent=17 step=17 brake=2 inf=76213 sec=0.051 inf/sec=1494373
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:57.060Z in=8 out=1 ent=6 step=18 brake=3 inf=29232 sec=0.038 inf/sec=769263
#2019-01-19T23:06:20.749Z in=8 out=1 ent=6 step=18 brake=3 inf=29241 sec=0.034 inf/sec=860029
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:57.402Z in=11 out=2 ent=2 step=2 brake=1 inf=27190 sec=0.038 inf/sec=715526
#2019-01-19T23:06:21.074Z in=11 out=2 ent=2 step=2 brake=1 inf=27201 sec=0.036 inf/sec=755583
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:57.631Z in=101 out=6 ent=6 step=6 brake=1 inf=44829 sec=0.037 inf/sec=1211595
#2019-01-19T23:06:21.323Z in=101 out=6 ent=6 step=6 brake=1 inf=44837 sec=0.045 inf/sec=996378
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:57.978Z in=1001 out=92 ent=92 step=92 brake=1 inf=392328 sec=0.110 inf/sec=3566618
#2019-01-19T23:06:21.673Z in=1001 out=92 ent=92 step=92 brake=1 inf=392339 sec=0.102 inf/sec=3846461
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:59.276Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882883 sec=0.846 inf/sec=4589696
#2019-01-19T23:06:22.935Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882893 sec=0.827 inf/sec=4695155
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:59.614Z in=39 out=2 ent=8 step=18 brake=2 inf=59445 sec=0.048 inf/sec=1238438
#2019-01-19T23:06:23.283Z in=39 out=2 ent=8 step=18 brake=2 inf=59457 sec=0.049 inf/sec=1213408
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:36:59.972Z in=94 out=6 ent=23 step=48 brake=2 inf=119697 sec=0.056 inf/sec=2137446
#2019-01-19T23:06:23.651Z in=94 out=6 ent=23 step=48 brake=2 inf=119709 sec=0.063 inf/sec=1900143
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:00.574Z in=1324 out=92 ent=355 step=712 brake=2 inf=1483882 sec=0.249 inf/sec=5959365
#2019-01-19T23:06:24.249Z in=1324 out=92 ent=355 step=712 brake=2 inf=1483871 sec=0.242 inf/sec=6131698
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:03.355Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212618 sec=2.221 inf/sec=6849445
#2019-01-19T23:06:27.013Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212609 sec=2.226 inf/sec=6834056
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:04.609Z in=10 out=1 ent=2 step=2 brake=1 inf=53388 sec=0.052 inf/sec=1026692
#2019-01-19T23:06:28.245Z in=10 out=1 ent=2 step=2 brake=1 inf=53383 sec=0.045 inf/sec=1186289
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:05.197Z in=16 out=2 ent=32 step=120 brake=4 inf=53148 sec=0.053 inf/sec=1002792
#2019-01-19T23:06:28.852Z in=16 out=2 ent=32 step=120 brake=4 inf=53138 sec=0.052 inf/sec=1021885
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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 .
#2019-01-16T12:37:05.615Z in=29 out=24 ent=0 step=0 brake=1 inf=36632 sec=0.035 inf/sec=1046629
#2019-01-19T23:06:29.281Z in=29 out=24 ent=0 step=0 brake=1 inf=36623 sec=0.043 inf/sec=851698
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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 .
#2019-01-16T12:37:05.932Z in=25 out=4 ent=4 step=4 brake=2 inf=26637 sec=0.033 inf/sec=807182
#2019-01-19T23:06:29.603Z in=25 out=4 ent=4 step=4 brake=2 inf=26630 sec=0.037 inf/sec=719730
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:07.009Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150532 sec=0.544 inf/sec=7629654
#2019-01-19T23:06:30.676Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150520 sec=0.534 inf/sec=7772509
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:07.486Z in=19 out=16 ent=32 step=64 brake=2 inf=223293 sec=0.058 inf/sec=3849879
#2019-01-19T23:06:31.405Z in=19 out=16 ent=32 step=64 brake=2 inf=223283 sec=0.066 inf/sec=3383076
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:08.042Z in=5 out=1 ent=2 step=4 brake=2 inf=687777 sec=0.145 inf/sec=4743290
#2019-01-19T23:06:31.953Z in=5 out=1 ent=2 step=4 brake=2 inf=687768 sec=0.139 inf/sec=4947971
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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)).
#2019-01-16T12:37:10.736Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869469 sec=1.430 inf/sec=8999629
#2019-01-19T23:06:34.576Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869477 sec=1.425 inf/sec=9031212
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:11.642Z in=76 out=8 ent=50 step=307 brake=6 inf=590715 sec=0.142 inf/sec=4159965
#2019-01-19T23:06:35.406Z in=76 out=8 ent=50 step=307 brake=6 inf=590726 sec=0.131 inf/sec=4509359
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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}}}].
#2019-01-16T12:37:12.689Z in=253 out=18 ent=237 step=1917 brake=5 inf=1215822 sec=0.243 inf/sec=5003383
#2019-01-19T23:06:36.421Z in=253 out=18 ent=237 step=1917 brake=5 inf=1215833 sec=0.257 inf/sec=4730868
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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#>
......@@ -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-01-19T23:01:57.908Z in=4 out=1 ent=1 step=1 brake=1 inf=138401 sec=0.142 inf/sec=974655
#2019-01-19T23:06:36.876Z in=4 out=1 ent=1 step=1 brake=1 inf=137787 sec=0.059 inf/sec=2335373
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>.
#2019-01-16T12:37:13.853Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864506 sec=0.150 inf/sec=5763373
#2019-01-19T23:06:37.588Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864517 sec=0.149 inf/sec=5802128
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:14.297Z in=9 out=6 ent=7 step=30 brake=2 inf=53110 sec=0.048 inf/sec=1106458
#2019-01-19T23:06:38.029Z in=9 out=6 ent=7 step=30 brake=2 inf=53121 sec=0.040 inf/sec=1328025
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:14.883Z in=11 out=1 ent=1 step=1 brake=2 inf=123508 sec=0.058 inf/sec=2129448
#2019-01-19T23:06:38.618Z in=11 out=1 ent=1 step=1 brake=2 inf=123518 sec=0.061 inf/sec=2024885
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>.
#2019-01-16T12:37:15.715Z in=44 out=10 ent=10 step=10 brake=2 inf=2336671 sec=0.368 inf/sec=6349649
#2019-01-19T23:06:39.458Z in=44 out=10 ent=10 step=10 brake=2 inf=2336681 sec=0.364 inf/sec=6419453
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:16.313Z in=89 out=1 ent=24 step=70 brake=2 inf=93138 sec=0.052 inf/sec=1791115
#2019-01-19T23:06:40.047Z in=89 out=1 ent=24 step=70 brake=2 inf=93148 sec=0.050 inf/sec=1862960
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:17.056Z in=10 out=1 ent=6 step=12 brake=2 inf=31696 sec=0.042 inf/sec=754667
#2019-01-19T23:06:40.776Z in=10 out=1 ent=6 step=12 brake=2 inf=31708 sec=0.044 inf/sec=720636
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:17.248Z in=3 out=1 ent=2 step=2 brake=1 inf=39835 sec=0.039 inf/sec=1021410
#2019-01-19T23:06:40.965Z in=3 out=1 ent=2 step=2 brake=1 inf=39846 sec=0.034 inf/sec=1171941
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:18.195Z in=5 out=101 ent=202 step=404 brake=2 inf=1179017 sec=0.177 inf/sec=6661113
#2019-01-19T23:06:41.872Z in=5 out=101 ent=202 step=404 brake=2 inf=1179027 sec=0.171 inf/sec=6894895
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:18.488Z in=7 out=10 ent=13 step=26 brake=2 inf=61578 sec=0.045 inf/sec=1368400
#2019-01-19T23:06:42.168Z in=7 out=10 ent=13 step=26 brake=2 inf=61588 sec=0.038 inf/sec=1620737
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:19.136Z in=168 out=1 ent=39 step=124 brake=4 inf=235423 sec=0.090 inf/sec=2615811
#2019-01-19T23:06:42.781Z in=168 out=1 ent=39 step=124 brake=4 inf=235433 sec=0.077 inf/sec=3057571
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:19.644Z in=10 out=1 ent=1 step=1 brake=2 inf=102837 sec=0.058 inf/sec=1773052
#2019-01-19T23:06:43.300Z in=10 out=1 ent=1 step=1 brake=2 inf=102847 sec=0.051 inf/sec=2016608
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:20.326Z in=149 out=1 ent=10 step=82 brake=4 inf=302156 sec=0.094 inf/sec=3214426
#2019-01-19T23:06:44.003Z in=149 out=1 ent=10 step=82 brake=4 inf=302166 sec=0.096 inf/sec=3147563
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:20.777Z in=18 out=2 ent=4 step=8 brake=4 inf=50149 sec=0.045 inf/sec=1114422
#2019-01-19T23:06:44.433Z in=18 out=2 ent=4 step=8 brake=4 inf=50159 sec=0.043 inf/sec=1166488
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:21.912Z in=345 out=47 ent=105 step=330 brake=4 inf=2014077 sec=0.312 inf/sec=6455375
#2019-01-19T23:06:45.450Z in=345 out=47 ent=105 step=330 brake=4 inf=2014087 sec=0.304 inf/sec=6625286
#ENDS
This diff is collapsed.
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:23.856Z in=7 out=7 ent=7 step=7 brake=1 inf=25668 sec=0.041 inf/sec=626049
#2019-01-19T23:06:47.263Z in=7 out=7 ent=7 step=7 brake=1 inf=25679 sec=0.033 inf/sec=778152
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:24.040Z in=10 out=10 ent=10 step=10 brake=1 inf=28716 sec=0.028 inf/sec=1025571
#2019-01-19T23:06:47.446Z in=10 out=10 ent=10 step=10 brake=1 inf=28727 sec=0.028 inf/sec=1025964
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 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>].
#2019-01-16T12:37:24.243Z in=12 out=12 ent=13 step=29 brake=2 inf=52954 sec=0.041 inf/sec=1291561
#2019-01-19T23:06:47.620Z in=12 out=12 ent=13 step=29 brake=2 inf=52964 sec=0.037 inf/sec=1431459
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/simple.n3p --pass
PREFIX : <http://example.org/try#>
......@@ -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-01-16T12:37:23.661Z in=8 out=8 ent=8 step=8 brake=1 inf=31439 sec=0.033 inf/sec=952697
#2019-01-19T23:06:47.095Z in=8 out=8 ent=8 step=8 brake=1 inf=31448 sec=0.033 inf/sec=952970
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 --query http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -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-01-16T12:37:24.896Z in=19 out=1 ent=1 step=1 brake=2 inf=141495 sec=0.073 inf/sec=1938288
#2019-01-19T23:06:48.209Z in=19 out=1 ent=1 step=1 brake=2 inf=141504 sec=0.069 inf/sec=2050783
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -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-01-16T12:37:25.207Z in=5 out=5 ent=5 step=5 brake=1 inf=25308 sec=0.034 inf/sec=744353
#2019-01-19T23:06:48.505Z in=5 out=5 ent=5 step=5 brake=1 inf=25317 sec=0.039 inf/sec=649154
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --n3 http://josd.github.io/eye/reasoning/pi/pi.n3 --query http://josd.github.io/eye/reasoning/pi/pi-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -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-01-16T12:37:26.019Z in=4 out=1 ent=1 step=1 brake=1 inf=2811945 sec=0.402 inf/sec=6994888
#2019-01-19T23:06:49.252Z in=4 out=1 ent=1 step=1 brake=1 inf=2811955 sec=0.383 inf/sec=7341919
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --n3 http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 --n3 http://josd.github.io/eye/reasoning/pptbank/checking.n3 --query http://josd.github.io/eye/reasoning/pptbank/query.n3
PREFIX my: <http://josd.github.io/eye/reasoning/ppt-bank/acct3#>
......@@ -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-01-16T12:37:27.094Z in=17 out=1 ent=2 step=4 brake=4 inf=48101 sec=0.045 inf/sec=1068911
#2019-01-19T23:06:50.287Z in=17 out=1 ent=2 step=4 brake=4 inf=48111 sec=0.044 inf/sec=1093432
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food.n3 --n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
......@@ -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-01-16T12:37:29.124Z in=45 out=16 ent=91 step=338 brake=3 inf=91763 sec=0.055 inf/sec=1668418
#2019-01-19T23:06:52.284Z in=45 out=16 ent=91 step=338 brake=3 inf=91772 sec=0.063 inf/sec=1456698
#ENDS
#Processed by EYE v18.1230.1307 josd
#Processed by EYE v19.0116.1239 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food2.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};