EYE(1)

👑 EYE(1) — the manual, but make it a group chat

okay bestie, sit down, hydrate, because we're talking about eye — that's Euler Yet another proof Engine, aka the EYE semantic web reasoning engine 💖 she lives in section 1 of the user commands, she's iconic, she reasons, periodt.

---

✨ NAME ✨

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

---

✨ SYNOPSIS ✨

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

that's it. that's the whole vibe. options, then data, then queries, and she will eat all of them 🌸

---

✨ DESCRIPTION ✨

so when you run her with --help, this is literally what she spits out, no cap:

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

and then she gives you the menu. let's go section by section, bestie 🫶

🌈 <options>

• --blogic — turns on support for RDF surfaces. yes queen, surfaces 💅
• --csv-separator <separator> — sets your CSV separator, like , or ; 🍓
• --debug — dumps debug info onto stderr
• --debug-cnt — debug info about counters, on stderr
• --debug-djiti — debug info about DJITI, on stderr
• --debug-pvm — debug info about PVM code, on stderr
• --help — shows the help info (hi, it's her)
• --hmac-key <key> — the HMAC key that gets used inside the e:hmac-sha built-in 🔐
• --ignore-inference-fuse — do not halt when there's an inference fuse
• --image <pvm-file> — writes all your <data> and all the code out to <pvm-file>
• --intermediate <n3p-file> — writes all your <data> out to <n3p-file>
• --license — shows the license info 📜
• --max-inferences <nr> — halts after the maximum number of inferences
• --multi-query — goes into a 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> — sends the reasoner output to <file>
• --profile — dumps profile info onto stderr
• --quantify <prefix> — quantifies uris with <prefix> in the output
• --quiet — quiet mode 🤫
• --random-seed — creates a random seed for the e:random built-in 🎲
• --restricted — restricts her to core built-ins
• --rule-histogram — dumps rule histogram info onto stderr
• --skolem-genid <genid> — uses <genid> inside Skolem IRIs
• --source <file> — reads command line arguments from <file>
• --statistics — dumps statistics info onto 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 the version info
• --warn — dumps warning info onto stderr
• --wcache <uri> <file> — to tell her 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> — 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 the deductive closure plus the rules
• --pass-all-ground — grounds the rules and runs --pass-all
• --pass-only-new — outputs only the new derived triples ✨
• --query <n3-query> — outputs filtered with filter rules

---

and when she's done she signs off like this, fr fr:

EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 39 [msec
cputime] 35 [msec walltime]

---

💀 heads up bestie: run eye --help to see all of this yourself, and if you're poking at --ignore-inference-fuse or --max-inferences <nr>, know that's about her halting behaviour — don't be surprised when she stops. that's the point, queen.

---

the cute sign-off: this whole page is eye --version, dated December 2022, and it's the EYE(1) page itself 💖 so if you quote it, cite it, love it. slay, bye 🎀🦋✨