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]