DOKK / manpages / debian 10 / eye / eye.pvm.1.en
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 v19.0221.2026 josd SWI-Prolog 8.0.1 (x86_64-linux): Jan 27 2019, 06:40:22 starting 40 [msec cputime] 48 [msec walltime]

<options>

use external carl parser
CSV separator such as , or ;
to pass HTTP header <field> to curl
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
do not halt in case of inference fuse
do not halt in case of syntax error
output all <data> and all code to <pvm-file>
show license info
query answer loop
output all <data> as N3 P-code on stdout
no distinct triples in the input
no distinct answers in the output
no generated id in Skolem IRI
no numerals in the output
no qnames in the output
no qvars in the output
no uris with <prefix> in the output
no proof explanation
ground the rules and run --pass-all
output only new derived triples
output the --turtle data
output speedtest info on stderr
output profile info on stderr
create random seed
output rule histogram info on stderr
read command line arguments from <file>
output statistics info on stderr
streaming reasoning on --turtle data
strict mode
output log:outputString objects on stdout
Euler path using homomorphism

--tactic limited-answer <count> give only a limited number of answers

take only a limited number of brakes
take only a limited number of steps
select each rule only once
traditional mode
show version info
output warning info on stderr
to tell that <uri> is cached as <file>

<data>

N3 triples and rules
N3P code
N3 proof
Turtle data

<query>

output deductive closure
output deductive closure plus rules
output filtered with filter rules

EYE v19.0221.2026 josd SWI-Prolog 8.0.1 (x86_64-linux): Jan 27 2019, 06:40:22 starting 41 [msec cputime] 53 [msec walltime]

February 2019 eye --version