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.4 starting 77 [msec cputime] 73
       [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.4  starting  53  [msec  cputime]  49  [msec
       walltime]