Download of Euler-1.5.6.zip (Euler-1.5.6.zip ( external link: SF.net): 662,366 字节) 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
