The Eyeron N3 Playground

Run eyeron in your browser with the same N3-first reasoner core.

Version …

Program and data

Load a bundled example, edit the N3 program, and optionally add RDF/TriG data.
Engine: eyeron

Rules / program

Inline data / RDF Message log

Advanced options

These mirror the Eyeling playground workflow: keep reusable knowledge in the background, reason over the editor, and optionally provide RDF Message logs separately.

Enables the browser Eyeling engine for log:query output, log:outputString rendering, and Eyeling-compatible proof/RDF execution.
Emit proof output instead of only inferred conclusions.
Parse RDF syntax and use the selected RDF format.
The next Program URL load is kept separate and merged only when reasoning runs.
No background knowledge loaded.
Uses the inline data or Message log URL as message input. Eyeling mode can use message-oriented examples; eyeron receives the log as RDF/TriG data.
Passed to Eyeling when selected, matching its browser mixed-content-safe dereferencing option.
Loading wasm module…

Build the browser module with wasm-pack build --target web --out-dir pkg, then serve this directory over HTTP.

Output