Euler Yet another proof Engine

Screenshots

Description

EYE [1] is a reasoning engine supporting the RGB Semantic Web layers [2].
It is a semibackward reasoner enhanced with Euler path [3] detection.
Via N3 [4] it is interoperable with Cwm [5].
The EYE test cases [6] and their results [7] support the development of EYE.