NAME
eye - Euler Yet another proof Engine (EYE) semantic web reasoning engine
SYNOPSIS
eye.pvm <options>* <data>* <query>*
DESCRIPTION
eye --help EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 70 [msec cputime] 63 [msec walltime]
<options>
- --blogic
-
support RDF surfaces
- --csv-separator <separator>
-
CSV separator such as , or ;
- --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 used in e:hmac-sha built-in
- --ignore-inference-fuse
-
do not halt in case of inference fuse
- --image <pvm-file>
-
output all <data> and all code to <pvm-file>
- --intermediate <n3p-file>
-
output all <data> to <n3p-file>
- --license
-
show license info
- --max-inferences <nr>
-
halt after maximum number of inferences
- --multi-query
-
go into query answer loop
- --no-distinct-input
-
no distinct triples in the input
- --no-distinct-output
-
no distinct answers in the output
- --no-erase
-
no erase functionality for blogic
- --no-numerals
-
no numerals in the output
- --no-qnames
-
no qnames in the output
- --no-qvars
-
no qvars in the output
- --no-ucall
-
no extended unifier for forward rules
- --nope
-
no proof explanation
- --output <file>
-
output reasoner output to <file>
- --profile
-
output profile info on stderr
- --quantify <prefix>
-
quantify uris with <prefix> in the output
- --quiet
-
quiet mode
- --random-seed
-
create random seed for e:random built-in
- --restricted
-
restricting to core built-ins
- --rule-histogram
-
output rule histogram info on stderr
- --skolem-genid <genid>
-
use <genid> in Skolem IRIs
- --source <file>
-
read command line arguments from <file>
- --statistics
-
output statistics info on stderr
- --strings
-
output log:outputString objects on stdout
- --tactic limited-answer <nr>
-
give only a limited number of answers
- --tactic linear-select
-
select each rule only once
- --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
- --n3p <uri>
-
N3P intermediate
- --proof <uri>
-
N3 proof lemmas
- --turtle <uri>
-
Turtle triples
<query>
- --entail <rdf-graph>
-
output true if RDF graph is entailed
- --not-entail <rdf-graph>
-
output true if RDF graph is not entailed
- --pass
-
output deductive closure
- --pass-all
-
output deductive closure plus rules
- --pass-all-ground
-
ground the rules and run --pass-all
- --pass-only-new
-
output only new derived triples
- --query <n3-query>
-
output filtered with filter rules
EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 39 [msec cputime] 35 [msec walltime]