eye.pvm1

Euler yet another proof engine (eye) semantic web reasoning engine

Usage

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

Overview

eye --help EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 70 [msec cputime] 63 [msec walltime]

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

Releases

3 releases since Debian 10 (Buster); the text changed 2 times.

--blogic since Debian 12 (Bookworm); --entail since Debian 12 (Bookworm); --intermediate since Debian 12 (Bookworm); --max-inferences since Debian 12 (Bookworm); --n3p since Debian 12 (Bookworm); --no-erase since Debian 12 (Bookworm); --no-ucall since Debian 12 (Bookworm); --not-entail since Debian 12 (Bookworm); --output since Debian 12 (Bookworm); --quantify since Debian 11 (Bullseye); --quiet since Debian 12 (Bookworm); --restricted since Debian 12 (Bookworm); --skolem-genid since Debian 12 (Bookworm).

--carl until Debian 10 (Buster); --curl-http-header until Debian 11 (Bullseye); --debug-n3p until Debian 11 (Bullseye); --ignore-syntax-error until Debian 11 (Bullseye); --n3 until Debian 10 (Buster); --no-genid until Debian 11 (Bullseye); --no-skolem until Debian 10 (Buster); --pass-turtle until Debian 11 (Bullseye); --plugin until Debian 10 (Buster); --probe until Debian 11 (Bullseye); --streaming-reasoning until Debian 11 (Bullseye); --strict until Debian 10 (Buster); --traditional until Debian 10 (Buster).