ELLY

ELP reasoner


Description

ELLY is a reasoner for entailment and satisfiability checking of ELP (http://korrekt.org/page/ELP) rule bases.
It is written in java, relies on the IRIS Datalog reasoner (http://www.iris-reasoner.org/) for its implementation and is released under the GNU LESSER GENERAL PUBLIC LICENSE (http://www.gnu.org/licenses/lgpl.txt).
The sourceforge project page can be reached at http://sourceforge.net/projects/elly/.


OWL 2 (integration in progress)

ELP has been presented as a useful hybrid between both rule-based and description logics that combines EL++ with DLP in a novel way and captures the semantics of the OWL 2 profiles RL and EL.
Due to the integration of the OWL API (http://owlapi.sourceforge.net/) ELLY can be used as reasoner for the OWL 2 profiles EL and RL.
ELLY already passes all (but one) OWL 2 EL conformance tests, see OWL Test Suite Status
http://www.w3.org/2007/OWL/wiki/Test_Suite_Status

WSML v2.0

Since the semantics of WSML-DL v2.0 are based on ELP, ELLY may be used for reasoning with WSML-DL v2.0.
The latest version of WSML2Reasoner is released with support for reasoning with ELLY (http://tools.sti-innsbruck.at/wsml2reasoner/ ) .


Download

A first alpha release of ELLY is available for download, see Sourceforge Project Page
https://sourceforge.net/projects/elly/files/

Documentation

For documentation please refer to my master thesis, which is available at
http://www.sti-innsbruck.at/teaching/theses/completed/details/?uid=191

Funding

SOA4All

The continued development of ELLY has been funded in part by SOA4All a European Framework 7 research project.


Contact

If you have any questions feel free to contact daniel [dot] winkler [at] sti2 [dot] at .


2010-04-07