Current development of EYE open source reasoning engine is going on at https://github.com/josd/eye.
Semantic Web | RDF | OWL | SPARQL | RIF
Euler is an inference engine supporting logic based proofs.
See DONE,
README,
INSTALL,
BUILD,
GUIDE,
FAQ and
LICENSE. |
EYE |
The axioms are acquired from the Web and translated into a kind of logic program. The proof engine uses the resolution inference mechanism and only follows Euler paths (the concept Euler found several hundred years ago) so that endless deductions are avoided. That means that no special attention has to be paid to recursions or to graph merging.
The so called proof thing is a SOUND ARGUMENT: