Scroll to navigation

EYE(1) User Commands EYE(1)

NAME

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

SYNOPSIS

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

DESCRIPTION

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>

--carl
use external carl parser
--csv-separator <separator>
CSV separator such as , or ;
--curl-http-header <field>
to pass HTTP header <field> to curl
--debug
output debug info on stderr
--debug-cnt
output debug info about counters on stderr
--debug-djiti
output debug info about DJITI on stderr
--debug-pvm
output debug info about PVM code on stderr
--help
show help info
--hmac-key <key>
HMAC key
--ignore-inference-fuse
do not halt in case of inference fuse
--ignore-syntax-error
do not halt in case of syntax error
--image <pvm-file>
output all <data> and all code to <pvm-file>
--license
show license info
--multi-query
query answer loop
--n3p
output all <data> as N3 P-code on stdout
--no-distinct-input
no distinct triples in the input
--no-distinct-output
no distinct answers in the output
--no-genid
no generated id in Skolem IRI
--no-numerals
no numerals in the output
--no-qnames
no qnames in the output
--no-qvars
no qvars in the output
--no-skolem <prefix>
no uris with <prefix> in the output
--nope
no proof explanation
--pass-all-ground
ground the rules and run --pass-all
--pass-only-new
output only new derived triples
--pass-turtle
output the --turtle data
--probe
output speedtest info on stderr
--profile
output profile info on stderr
--random-seed
create random seed
--rule-histogram
output rule histogram info on stderr
--source <file>
read command line arguments from <file>
--statistics
output statistics info on stderr
--streaming-reasoning
streaming reasoning on --turtle data
--strict
strict mode
--strings
output log:outputString objects on stdout
--tactic existing-path
Euler path using homomorphism

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

--tactic limited-brake <count>
take only a limited number of brakes
--tactic limited-step <count>
take only a limited number of steps
--tactic linear-select
select each rule only once
--traditional
traditional mode
--version
show version info
--warn
output warning info on stderr
--wcache <uri> <file>
to tell that <uri> is cached as <file>

<data>

--n3 <uri>
N3 triples and rules
--plugin <uri>
N3P code
--proof <uri>
N3 proof
--turtle <uri>
Turtle data

<query>

--pass
output deductive closure
--pass-all
output deductive closure plus rules
--query <n3-query>
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