Euler Proof Mechanism
agfa.comA backward-chaining reasoner based on RDF and OWL, using resolution inference mechanism and following Euler paths.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.