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

EYE Euler Yet another proof Engine

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 DONE, README, README.Linux .Windows .MacOSX, FAQ and LICENSE.
Things are described in N3 thanks to Tim Berners-Lee and Dan Connolly.
The source code is by Jos De Roo and the online course is by Ruben Verborgh.

See Also

Benchmarks

Ontologies

Theories

Test Cases

Test Cases SHOULD

Conclusions


Jos De Roo