Notation3 Editor

Notation3 Editor is a simple editor that provides syntax checking for N3 code, reasoning features from several reasoners, 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


Error:

Derivations:

Deductive closure:

Explanation:

Abstract Syntax Tree:

Imperative Code:

Copy to clipboard