.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.49.2.
.TH EYE "1" "December 2022" "eye --version" "User Commands"
.SH NAME
eye \- Euler Yet another proof Engine (EYE) semantic web reasoning engine
.SH SYNOPSIS
.B eye.pvm
\fI\,<options>* <data>* <query>*\/\fR
.SH DESCRIPTION
eye \fB\-\-help\fR
EYE v22.1201.1601 josd
SWI\-Prolog version 9.0.0
starting 70 [msec cputime] 63 [msec walltime]
.PP
<options>
.TP
\fB\-\-blogic\fR
support RDF surfaces
.TP
\fB\-\-csv\-separator\fR <separator>
CSV separator such as , or ;
.TP
\fB\-\-debug\fR
output debug info on stderr
.TP
\fB\-\-debug\-cnt\fR
output debug info about counters on stderr
.TP
\fB\-\-debug\-djiti\fR
output debug info about DJITI on stderr
.TP
\fB\-\-debug\-pvm\fR
output debug info about PVM code on stderr
.TP
\fB\-\-help\fR
show help info
.TP
\fB\-\-hmac\-key\fR <key>
HMAC key used in e:hmac\-sha built\-in
.TP
\fB\-\-ignore\-inference\-fuse\fR
do not halt in case of inference fuse
.TP
\fB\-\-image\fR <pvm\-file>
output all <data> and all code to <pvm\-file>
.TP
\fB\-\-intermediate\fR <n3p\-file>
output all <data> to <n3p\-file>
.TP
\fB\-\-license\fR
show license info
.TP
\fB\-\-max\-inferences\fR <nr>
halt after maximum number of inferences
.TP
\fB\-\-multi\-query\fR
go into query answer loop
.TP
\fB\-\-no\-distinct\-input\fR
no distinct triples in the input
.TP
\fB\-\-no\-distinct\-output\fR
no distinct answers in the output
.TP
\fB\-\-no\-erase\fR
no erase functionality for blogic
.TP
\fB\-\-no\-numerals\fR
no numerals in the output
.TP
\fB\-\-no\-qnames\fR
no qnames in the output
.TP
\fB\-\-no\-qvars\fR
no qvars in the output
.TP
\fB\-\-no\-ucall\fR
no extended unifier for forward rules
.TP
\fB\-\-nope\fR
no proof explanation
.TP
\fB\-\-output\fR <file>
output reasoner output to <file>
.TP
\fB\-\-profile\fR
output profile info on stderr
.TP
\fB\-\-quantify\fR <prefix>
quantify uris with <prefix> in the output
.TP
\fB\-\-quiet\fR
quiet mode
.TP
\fB\-\-random\-seed\fR
create random seed for e:random built\-in
.TP
\fB\-\-restricted\fR
restricting to core built\-ins
.TP
\fB\-\-rule\-histogram\fR
output rule histogram info on stderr
.TP
\fB\-\-skolem\-genid\fR <genid>
use <genid> in Skolem IRIs
.TP
\fB\-\-source\fR <file>
read command line arguments from <file>
.TP
\fB\-\-statistics\fR
output statistics info on stderr
.TP
\fB\-\-strings\fR
output log:outputString objects on stdout
.TP
\fB\-\-tactic\fR limited\-answer <nr>
give only a limited number of answers
.TP
\fB\-\-tactic\fR linear\-select
select each rule only once
.TP
\fB\-\-version\fR
show version info
.TP
\fB\-\-warn\fR
output warning info on stderr
.TP
\fB\-\-wcache\fR <uri> <file>
to tell that <uri> is cached as <file>
.PP
<data>
.TP
[\-\-n3] <uri>
N3 triples and rules
.TP
\fB\-\-n3p\fR <uri>
N3P intermediate
.TP
\fB\-\-proof\fR <uri>
N3 proof lemmas
.TP
\fB\-\-turtle\fR <uri>
Turtle triples
.PP
<query>
.TP
\fB\-\-entail\fR <rdf\-graph>
output true if RDF graph is entailed
.TP
\fB\-\-not\-entail\fR <rdf\-graph>
output true if RDF graph is not entailed
.TP
\fB\-\-pass\fR
output deductive closure
.TP
\fB\-\-pass\-all\fR
output deductive closure plus rules
.TP
\fB\-\-pass\-all\-ground\fR
ground the rules and run \fB\-\-pass\-all\fR
.TP
\fB\-\-pass\-only\-new\fR
output only new derived triples
.TP
\fB\-\-query\fR <n3\-query>
output filtered with filter rules
.PP
EYE v22.1201.1601 josd
SWI\-Prolog version 9.0.0
starting 39 [msec cputime] 35 [msec walltime]