GitHub

A pure-Python port of the EYE N3 reasoning engine. Give it facts and rules in Notation3; it derives new facts automatically using forward and backward chaining.

It implements the Euler Abstract Machine with forward chaining, backward chaining, RDFS entailment, OWL 2 RL entailment, DJITI join ordering, proof tree output, and 280+ built-in functions across all ...