EYE(1) User Commands EYE(1)

eye - Euler Yet another proof Engine (EYE) semantic web reasoning engine

eye.pvm <options>* <data>* <query>*

eye --help EYE v22.1201.1601 josd SWI-Prolog version 9.0.4 starting 77 [msec cputime] 73 [msec walltime]

<options>

support RDF surfaces
CSV separator such as , or ;
output debug info on stderr
output debug info about counters on stderr
output debug info about DJITI on stderr
output debug info about PVM code on stderr
show help info
HMAC key used in e:hmac-sha built-in
do not halt in case of inference fuse
output all <data> and all code to <pvm-file>
output all <data> to <n3p-file>
show license info
halt after maximum number of inferences
go into query answer loop
no distinct triples in the input
no distinct answers in the output
no erase functionality for blogic
no numerals in the output
no qnames in the output
no qvars in the output
no extended unifier for forward rules
no proof explanation
output reasoner output to <file>
output profile info on stderr
quantify uris with <prefix> in the output
quiet mode
create random seed for e:random built-in
restricting to core built-ins
output rule histogram info on stderr
use <genid> in Skolem IRIs
read command line arguments from <file>
output statistics info on stderr
output log:outputString objects on stdout
give only a limited number of answers
select each rule only once
show version info
output warning info on stderr
to tell that <uri> is cached as <file>

<data>

[--n3] <uri>
N3 triples and rules
N3P intermediate
N3 proof lemmas
Turtle triples

<query>

output true if RDF graph is entailed
output true if RDF graph is not entailed
output deductive closure
output deductive closure plus rules
ground the rules and run --pass-all
output only new derived triples
output filtered with filter rules

EYE v22.1201.1601 josd SWI-Prolog version 9.0.4 starting 53 [msec cputime] 49 [msec walltime]

December 2022 eye --version