A pure-Python Datalog engine with
OWL 2 RL reasoning.
Enter a Turtle document below and click Run to see the derived triples.
Some examples instead run a Datalog program that imports external CSV or RDF
data via @import directives before reasoning.
Pyodide runs entirely in your browser — no server involved.
After a run, inspect a compact plan preview for the OWL/RDFS rules and a proof tree for the first newly derived triple.