Commit 604afa9f authored by Jonas Smedegaard's avatar Jonas Smedegaard

New upstream version 19.0202.2255~ds

parents 72536e1b 60415ffa
EYE release EYE release
[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) [v19.0116.1239] changing cturtle error message (obs from Hans Cools)
[v18.1230.1307] implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3 [v18.1230.1307] implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3
[v18.1214.1911] reintroducing --carl switch and original N3 parser [v18.1214.1911] reintroducing --carl switch and original N3 parser
......
EYE v19.0116.1239 josd EYE v19.0202.2255 josd
...@@ -36,7 +36,7 @@ ...@@ -36,7 +36,7 @@
:- set_prolog_flag(encoding, utf8). :- set_prolog_flag(encoding, utf8).
:- endif. :- endif.
version_info('EYE v19.0116.1239 josd'). version_info('EYE v19.0202.2255 josd').
license_info('MIT License license_info('MIT License
...@@ -65,6 +65,7 @@ eye ...@@ -65,6 +65,7 @@ eye
swipl -x eye.pvm -- swipl -x eye.pvm --
<options> <options>
--carl use external carl parser --carl use external carl parser
--csv-separator <separator> CSV separator such as , or ;
--curl-http-header <field> to pass HTTP header <field> to curl --curl-http-header <field> to pass HTTP header <field> to curl
--debug output debug info on stderr --debug output debug info on stderr
--debug-cnt output debug info about counters on stderr --debug-cnt output debug info about counters on stderr
...@@ -308,7 +309,7 @@ argv([], []) :- ...@@ -308,7 +309,7 @@ argv([], []) :-
argv([Arg|Argvs], [U, V|Argus]) :- argv([Arg|Argvs], [U, V|Argus]) :-
sub_atom(Arg, B, 1, E, '='), sub_atom(Arg, B, 1, E, '='),
sub_atom(Arg, 0, B, _, U), sub_atom(Arg, 0, B, _, U),
memberchk(U, ['--curl-http-header', '--hmac-key', '--image', '--n3', '--no-skolem', '--plugin', '--proof', '--query', '--tactic', '--turtle']), memberchk(U, ['--csv-separator', '--curl-http-header', '--hmac-key', '--image', '--n3', '--no-skolem', '--plugin', '--proof', '--query', '--tactic', '--turtle']),
!, !,
sub_atom(Arg, _, E, 0, V), sub_atom(Arg, _, E, 0, V),
argv(Argvs, Argus). argv(Argvs, Argus).
...@@ -640,6 +641,11 @@ opts(['--carl'|Argus], Args) :- ...@@ -640,6 +641,11 @@ opts(['--carl'|Argus], Args) :-
retractall(flag(carl)), retractall(flag(carl)),
assertz(flag(carl)), assertz(flag(carl)),
opts(Argus, Args). opts(Argus, Args).
opts(['--csv-separator', Separator|Argus], Args) :-
!,
retractall(flag('csv-separator')),
assertz(flag('csv-separator', Separator)),
opts(Argus, Args).
opts(['--curl-http-header', Field|Argus], Args) :- opts(['--curl-http-header', Field|Argus], Args) :-
!, !,
assertz(flag('curl-http-header', Field)), assertz(flag('curl-http-header', Field)),
...@@ -4556,7 +4562,8 @@ wct([A], [C]) :- ...@@ -4556,7 +4562,8 @@ wct([A], [C]) :-
wcf(A, C). wcf(A, C).
wct([A|B], [C|D]) :- wct([A|B], [C|D]) :-
wcf(A, C), wcf(A, C),
write(','), flag('csv-separator', S),
write(S),
wct(B, D). wct(B, D).
wcf(A, _) :- wcf(A, _) :-
......
# EYE Imagining
A collection of programs that create linked data.
=== Bell function integral ===
from sympy import *
if __name__ == "__main__":
x = Symbol('x')
print('PREFIX : <http://josd.github.io/eye/imagining#>')
print('')
print('"integrate(exp(-x**2), (x, -oo, oo))" :integrate-bell "%s".' % (integrate(exp(-x**2), (x, -oo, oo))))
PREFIX : <http://josd.github.io/eye/imagining#>
"integrate(exp(-x**2), (x, -oo, oo))" :integrate-bell "sqrt(pi)".
#!/bin/bash
python3 integrate-bell.py > integrate-bell.ttl
=== Easter Date ===
from datetime import date
def easter(year):
"Returns Easter as a date object."
"see http://code.activestate.com/recipes/576517-calculate-easter-western-given-a-year/"
a = year % 19
b = year // 100
c = year % 100
d = (19 * a + b - b // 4 - ((b - (b + 8) // 25 + 1) // 3) + 15) % 30
e = (32 + 2 * (b % 4) + 2 * (c // 4) - d - (c % 4)) % 7
f = d + e - 7 * ((a + 11 * d + 22 * e) // 451) + 114
month = f // 31
day = f % 31 + 1
return date(year, month, day)
if __name__ == "__main__":
print('PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>')
print('PREFIX : <http://josd.github.io/eye/imagining#>')
print('')
print('2019 :easter "%s"^^xsd:date.' % (easter(2019)))
print('2020 :easter "%s"^^xsd:date.' % (easter(2020)))
print('2021 :easter "%s"^^xsd:date.' % (easter(2021)))
print('2022 :easter "%s"^^xsd:date.' % (easter(2022)))
print('2023 :easter "%s"^^xsd:date.' % (easter(2023)))
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX : <http://josd.github.io/eye/imagining#>
2019 :easter "2019-04-21"^^xsd:date.
2020 :easter "2020-04-12"^^xsd:date.
2021 :easter "2021-04-04"^^xsd:date.
2022 :easter "2022-04-17"^^xsd:date.
2023 :easter "2023-04-09"^^xsd:date.
#!/bin/bash
python3 easter.py > easter.ttl
=== Euler identity ===
from sympy import *
if __name__ == "__main__":
print('PREFIX : <http://josd.github.io/eye/imagining#>')
print('')
print('"E**(I*pi) + 1" :euler-identity %d .' % (E**(I*pi) + 1))
PREFIX : <http://josd.github.io/eye/imagining#>
"E**(I*pi) + 1" :euler-identity 0 .
#!/bin/bash
python3 euler-identity.py > euler-identity.ttl
=== Fibonacci Numbers ===
def fib(n, c={0:1, 1:1}):
if n not in c:
x = n // 2
c[n] = fib(x-1) * fib(n-x-1) + fib(x) * fib(n-x)
return c[n]
if __name__ == "__main__":
print('PREFIX : <http://josd.github.io/eye/imagining#>')
print('')
print('0 :fib %d .' % (fib(0)))
print('91 :fib %d .' % (fib(91)))
print('283 :fib %d .' % (fib(283)))
PREFIX : <http://josd.github.io/eye/imagining#>
0 :fib 1 .
91 :fib 7540113804746346429 .
283 :fib 100694286476841731898333719576864360661213863366454327287613 .
#!/bin/bash
python3 fib.py > fib.ttl
=== Grover's algorithm ===
# Original from https://github.com/ProjectQ-Framework/ProjectQ/blob/develop/examples/grover.py
# See also https://en.wikipedia.org/wiki/Grover%27s_algorithm
import math
from projectq import MainEngine
from projectq.ops import H, Z, X, Measure, All
from projectq.meta import Loop, Compute, Uncompute, Control
def run_grover(eng, n, oracle):
"""
Runs Grover's algorithm on n qubit using the provided quantum oracle.
Args:
eng (MainEngine): Main compiler engine to run Grover on.
n (int): Number of bits in the solution.
oracle (function): Function accepting the engine, an n-qubit register,
and an output qubit which is flipped by the oracle for the correct
bit string.
Returns:
solution (list<int>): Solution bit-string.
"""
x = eng.allocate_qureg(n)
# start in uniform superposition
All(H) | x
# number of iterations we have to run:
num_it = int(math.pi/4.*math.sqrt(1 << n))
# prepare the oracle output qubit (the one that is flipped to indicate the
# solution. start in state 1/sqrt(2) * (|0> - |1>) s.t. a bit-flip turns
# into a (-1)-phase.
oracle_out = eng.allocate_qubit()
X | oracle_out
H | oracle_out
# run num_it iterations
with Loop(eng, num_it):
# oracle adds a (-1)-phase to the solution
oracle(eng, x, oracle_out)
# reflection across uniform superposition
with Compute(eng):
All(H) | x
All(X) | x
with Control(eng, x[0:-1]):
Z | x[-1]
Uncompute(eng)
All(Measure) | x
Measure | oracle_out
eng.flush()
# return result
return [int(qubit) for qubit in x]
def alternating_bits_oracle(eng, qubits, output):
"""
Marks the solution string 1,0,1,0,...,0,1 by flipping the output qubit,
conditioned on qubits being equal to the alternating bit-string.
Args:
eng (MainEngine): Main compiler engine the algorithm is being run on.
qubits (Qureg): n-qubit quantum register Grover search is run on.
output (Qubit): Output qubit to flip in order to mark the solution.
"""
with Compute(eng):
All(X) | qubits[1::2]
with Control(eng, qubits):
X | output
Uncompute(eng)
if __name__ == "__main__":
eng = MainEngine() # use default compiler engine
# run Grover search to find a 7-bit solution
lst = run_grover(eng, 7, alternating_bits_oracle)
n3_lst = '(' + ' '.join([str(i) for i in lst]) + ')'
print('PREFIX : <http://josd.github.io/eye/imagining#>')
print('')
print('"grover(7_bits, alternating_bits_oracle)" :grover %s.' % (n3_lst))
PREFIX : <http://josd.github.io/eye/imagining#>
"grover(7_bits, alternating_bits_oracle)" :grover (1 0 1 0 1 0 1).
#!/bin/bash
python3 grover.py > grover.ttl
#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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #ENDS
# EYE Reasoning # EYE Reasoning
Is a collection of concrete reasoning examples which can be tested via A collection of concrete reasoning examples which can be tested via
``` ```
./reasoning ./reasoning
``` ```
#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 #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#> PREFIX math: <http://www.w3.org/2000/10/swap/math#>
...@@ -4020,6 +4020,6 @@ PREFIX fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#> ...@@ -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>]. 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 #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 #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#> PREFIX owl: <http://www.w3.org/2002/07/owl#>
...@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://eulersharp.sourceforge.net/2007/07test/graph#>
...@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -13,6 +13,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.6217496707387207 :evidence ((0 ...@@ -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_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))). _: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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -25,6 +25,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> ...@@ -25,6 +25,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input10 ("abc" 60)) ccd:model (:output1 1 2). (:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0). (: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 #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 #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#> PREFIX crypto: <http://www.w3.org/2000/10/swap/crypto#>
...@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning/cs#>
...@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
...@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
...@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -139,6 +139,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -348,6 +348,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -5060,6 +5060,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning#>
...@@ -51865,6 +51865,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. 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 #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 #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 # <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#> ...@@ -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>]. 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 #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 #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#> PREFIX : <http://josd.github.io/eye/reasoning/dpe/dpe#>
...@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -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>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].