EulerSharp | SVN repository | Test cases 04test - 02swap - 07test - 12dtb - 05smml | Download - docker eye - docker eyeserver

Euler Yet another proof Engine - EYE

EYE   EYE is a reasoning engine supporting the RGB Semantic Web layers.
  It is a semibackward reasoner enhanced with Euler path detection.
  Via N3 it is interoperable with Cwm.

See CHANGES, README, INSTALL and LICENSE.
Things are described in N3 thanks to Tim Berners-Lee and Dan Connolly.
The source code & online course are by Jos De Roo resp. Ruben Verborgh.

See Also

Benchmarks

Ontologies

Theories

Test Cases

Test Cases SHOULD

Conclusions


Jos De Roo