Euler

From Semantic Web Standards
Revision as of 14:27, 12 March 2010 by Bvatant (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Euler

Name of the tool: Euler
Home page: http://eulersharp.sourceforge.net/
Date of latest release:
Programming language(s) that can be used with the tool: Java, C-sharp, Python, Javascript, Prolog
Relevant semantic web technologies: RDF, OWL
Categories: Triple Store
See also:
Public mailing list:
Preferred project URI:
DOAP reference:
Company or institution: Agfa-Gevaert Group

(Tool description last modified on 2010-03-12.)

Description

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, JavaScript and Prolog. Via N3 it is interoperable with W3C Cwm.