EYE(1)

📦
version 11.24.4 · 2 versions
, in ubuntu stonking

💅 EYE(1) — bestie edition

okay so, quick vibe check: this is the manual page for eye, aka the Euler Yet another proof Engine — a semantic web reasoning engine. it's a User Command, it lives in section 1 of the manual, and honestly? it ate. let's get into it 🫶

✨ NAME ✨

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

like... it reasons. over semantic web stuff. that's the whole thing. iconic behavior.

🌸 SYNOPSIS 🌸

eye <options>* <data>* <query>*

so you throw options at it, then data, then query, and it does its little reasoning dance. the * means "as many as you want bestie, go off". 💖

🦋 DESCRIPTION 🦋

kk so here's where it gets juicy. the arguments break down into three lil families: <options>, <data>, and <query>. let's go one by one, no cap.

### <options> — the lil switches that change everything 🎀</options>

  • --analytic-proof — proofs are gonna contain component lemmas.
  • --csv-separator <separator> — sets the CSV separator, like , or ;. pick your fighter.
  • --debug — dumps debug info onto stderr.
  • --debug-cnt — debug info about counters, on stderr.
  • --debug-djiti — debug info about DJITI, on stderr.
  • --debug-implies — debug info about implies, on stderr.
  • --debug-pvm — debug info about PVM code, on stderr.
  • --help — shows help info. the classic.
  • --hmac-key <key> — the HMAC key used in the e:hmac-sha built-in.
  • --ignore-inference-fuse — do not halt in case of inference fuse. spicy but okay.
  • --image <pvm-file> — outputs all <data> and all code to <pvm-file>.
  • --intermediate <n3p-file> — outputs all <data> to <n3p-file>.
  • --license — shows license info. (legal girlies rise 🫶)
  • --max-inferences <nr> — halts after the maximum number of inferences.
  • --no-call-residue-vars — no check for residue vars for forward rules.
  • --no-distinct-input — no distinct triples in the input.
  • --no-distinct-output — no distinct answers in the output.
  • --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. (the name is lowkey sending me 😭)
  • --output <file> — writes reasoner output to <file>.
  • --profile — outputs profile info on stderr.
  • --quantify <prefix> — quantifies uris with <prefix> in the output.
  • --quiet — quiet mode. shhh 🤫
  • --random-seed — creates a random seed for the e:random built-in.
  • --rdf-list-output — outputs lists as RDF lists.
  • --rdf-trig-output — outputs as RDF TriG data.
  • --restricted — restricting to core built-ins.
  • --rule-histogram — outputs rule histogram info on stderr.
  • --skolem-genid <genid> — uses <genid> in Skolem IRIs.
  • --source <file> — reads command line arguments from <file>. meta fr fr.
  • --statistics — outputs statistics info on stderr.
  • --strings — outputs log:outputString objects on stdout.
  • --tactic limited-answer <nr> — gives only a limited number of answers.
  • --tactic linear-select — selects each rule only once.
  • --version — shows version info.
  • --warn — outputs warning info on stderr.
  • --wcache <uri> <file> — to tell that <uri> is cached as <file>.

### <data> — the lore you're feeding it 🌈

  • --n3 <uri> — N3 triples and rules.
  • --n3p <uri> — N3P intermediate.
  • --prolog <uri> — Prolog facts and rules.
  • --proof <uri> — N3 proof lemmas.
  • --sparql-backward <uri> — SPARQL CONSTRUCT WHERE backward rules.
  • --sparql-forward <uri> — SPARQL CONSTRUCT WHERE forward rules.
  • --trig <uri> — TriG data.
  • --turtle <uri> — Turtle triples.

### <query> — what you actually wanna know 👑

  • --entail <rdf-graph> — outputs true if the RDF graph is entailed.
  • --not-entail <rdf-graph> — outputs true if the RDF graph is not entailed.
  • --pass — outputs the deductive closure.
  • --pass-all — outputs deductive closure plus rules.
  • --pass-all-ground — grounds the rules and runs --pass-all.
  • --pass-merged — outputs merged data without deductive closure.
  • --pass-only-new — outputs only new derived triples and rules.
  • --query <query> — outputs filtered with filter rules.
  • --sparql-query <query> — outputs the answer of a sparql query.
bestie reminder: <options> go first, then <data>, then <query>. don't fight the order, she's structured like that 💅

🌟 a lil sign-off 🌟

that was eye v11.24.4, dated May 2026, and this whole page is EYE(1) from the User Commands section. mwah, go reason something gorgeous. 💜✨🎀

📦 where this page comes from