Login  |  Register


Euler Proof Mechanism

A backward-chaining reasoner based on RDF and OWL, using resolution inference mechanism and following Euler paths.