Download of Euler-2010-10-22.zip (Euler-2010-10-22.zip ( external link: SF.net): 8,276,149 bytes) will begin shortly. If not so, click link on the left.
EYE [1] is a reasoning engine supporting the RGB [2] semantic web layers.
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.
[1] http://eulersharp.sourceforge.net/2006/02swap/eye-note.txt
[2] http://eulersharp.sourceforge.net/2006/02swap/rgb-note.txt
[3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html
[4] http://www.w3.org/TeamSubmission/n3/
[5] http://www.w3.org/2000/10/swap/doc/cwm
[6] http://eulersharp.sourceforge.net/2006/02swap/etc.sh
[7] http://eulersharp.sourceforge.net/2006/02swap/etc.n3
