EulerSharp | SVN repository | Test cases 04test - 02swap - 07test - 05smml | Download

EYE Euler Yet another proof Engine

EYE is a semantic web proof engine supporting RGB mixed computation.
It is a semibackward reasoner enhanced with Euler path detection.
Via N3 it is interoperable with Cwm.

See DONE, README.Linux .Windows .MacOSX, GUIDE, FAQ and LICENSE.
Things are described in N3 thanks to Tim Berners-Lee and Dan Connolly.
EYE is being developed by Jos De Roo.

See Also



Test Cases

Test Cases Performance

Test Cases SHOULD


Jos De Roo