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 performs semibackward reasoning and it supports Euler paths.
  Via N3 it is interoperable with Cwm.

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

See Also

Benchmarks

Ontologies

Theories

Test Cases

Test Cases SHOULD

Conclusions


Jos De Roo