Notation3 Editor

Notation3 Editor is a simple editor that provides syntax checking for N3 code, reasoning features from Eye and Cwm, and printing the AST using the JS parser.

Auto-suggest namespaces.
Experimental auto-suggestion of namespaces. A specific namespace will only be suggested once (so just remove it if it's wrong!). Create link to formula Please submit bugs or feature requests on GitHub. .
loader
output:

Error:

Derivations:

Deductive closure:

Abstract Syntax Tree: