A pure-Python Datalog engine with OWL 2 RL reasoning. Enter a Turtle document below and click Run to see the derived triples. 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.