-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
26 lines (22 loc) · 1.33 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
-----------------------------------------------------------------------------
Euler Yet another proof Engine - EYE looking through N3 glasses -- Jos De Roo
-----------------------------------------------------------------------------
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.
EYE can be installed manually on Linux [8], Windows [9] and MacOSX [10].
EYE is also available in a Docker container for command line use [11]
and in a Docker container for HTTP client use [12].
[1] http://eulersharp.sourceforge.net/2006/02swap/eye-note.txt
[2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a
[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/
[8] http://eulersharp.sourceforge.net/README.Linux
[9] http://eulersharp.sourceforge.net/README.Windows
[10] http://eulersharp.sourceforge.net/README.MacOSX
[11] https://registry.hub.docker.com/u/bdevloed/eye/
[12] https://registry.hub.docker.com/u/bdevloed/eyeserver/