EulerSharp Icon

EulerSharp

beta

Euler Yet another proof Engine

5.0 Stars (2)
23 Downloads (This Week)
Last Update:
Download eye.zip
Browse All Files
Windows BSD Linux

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.

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
[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://goo.gl/OxInr1
[7] http://goo.gl/rmkznc
[8] http://goo.gl/FG6vqh
[9] http://goo.gl/Fd2iqC
[10] http://goo.gl/Xoh8KG
[11] https://registry.hub.docker.com/u/bdevloed/eye/
[12] https://registry.hub.docker.com/u/bdevloed/eyeserver/

EulerSharp Web Site

KEEP ME UPDATED

User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • blaskrusik1978
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    very good project, thanks!

    Posted 04/06/2013
  • osmunt
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Been using this for > 2 years. Excellent engine! :)

    Posted 01/06/2011
Read more reviews

Additional Project Details

Intended Audience

Information Technology, Developers

User Interface

Web-based

Programming Language

C#, Python, Prolog, JavaScript, Java

Registered

2003-03-22
Screenshots can attract more users to your project.
Features can attract more users to your project.