---
name: "eye.pvm"
section: "1"
platform: "linux"
package: "eye"
version: "22.1201.1601~ds-1"
release: "Debian 12 (Bookworm)"
platforms: ["linux"]
url: "https://new.carta.tech/eye.pvm"
---

# eye.pvm(1)

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

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