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.
Error:
Derivations:
Deductive closure:
Explanation:
Abstract Syntax Tree:
Imperative Code:
Copy to clipboard