EulerSharp Icon

EulerSharp

beta

Euler Yet another proof Engine

5.0 Stars (2)
160 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 [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

EulerSharp Web Site

Update Notifications





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.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.