notation3

Example N3 scripts to demonstrate the various built-in functions

Notation3 reasoning application using EYE in the browser and remotely on a server. Input data from your solid pod, a generic location on the web or directly as text

Detect RDF serialization format used for a given data stream

Notation3 (N3) grammar

Eyeron is a Rust reasoner for Notation3 (N3), SPARQL 1.2 RL, and Eyelang — turning facts and rules into conclusions with verifiable proofs.

Notation3 (RDF Surfaces) to N3S precompiler

EYE mock solving your n3 reasoning on a server instead of client side Prolog execution

A pure-Python port of the EYE N3 reasoning engine. Give it facts and rules in Notation3; it derives new facts automatically using forward and backward chaining.

EYE reasoning in JavaScript with WebAssembly solving your n3 reasoning with client side Prolog execution

Demonstrations for the Koreografeye project

Selected vocabularies and ontologies formatted for use with Tropy.