NAME

tmp: - Euler Yet another proof Engine (EYE) semantic web reasoning engine

SYNOPSIS

eye.pvm <options>* <data>* <query>*

DESCRIPTION

tmp: No such file or directory eye --help EYE v20.1027.2307 josd SWI-Prolog version 8.2.2 starting 49 [msec cputime] 53 [msec walltime]

<options>

--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-n3p

output debug info about N3P code 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

--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

go into query answer loop

--no-distinct-input

no distinct triples in the input

--no-distinct-output

no distinct answers in the output

--no-genid

no generated id in well-known genid URIs

--no-numerals

no numerals in the output

--no-qnames

no qnames in the output

--no-qvars

no qvars 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

--quantify <prefix>

quantify uris with <prefix> in the output

--random-seed

create random seed for e:random built-in

--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

--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

--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

--proof <uri>

N3 proof lemmas

--turtle <uri>

Turtle triples

<query>

--pass

output deductive closure

--pass-all

output deductive closure plus rules

--query <n3-query>

output filtered with filter rules

eye --version EYE v20.1027.2307 josd SWI-Prolog version 8.2.2 starting 48 [msec cputime] 50 [msec walltime]