ELP reasoner


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

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/ ) .


A first alpha release of ELLY is available for download, see Sourceforge Project Page


For documentation please refer to my master thesis, which is available at



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


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