EulerSharp Icon

EulerSharp

Euler Yet another proof Engine

5.0 Stars (2)
14 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 performs semibackward reasoning and it supports Euler paths [3].
Via N3 [4] it is interoperable with Cwm [5].
EYE entailment test cases [6] verify EYE releases [7].

[1] http://eulersharp.sourceforge.net/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] https://github.com/josd/eyeetc
[7] http://eulersharp.sourceforge.net/RELEASE

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.