Euler

From Semantic Web Standards
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.