table of contents
EYE(1) | User Commands | EYE(1) |
NAME¶
eye - Euler Yet another proof Engine (EYE) semantic web reasoning engineSYNOPSIS¶
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 |