EYE is a reasoning engine supporting logic based proofs.
It performs semibackward reasoning and it supports Euler paths.
EYE is looking throuh N3 glasses and doing inferencing in N3Logic.
EYE is answering queries given RDF data and a selected set of theories from