ELLY is a reasoner for entailment and satisfiability checking of ELP (http://korrekt.org/page/ELP)
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
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
Since the semantics of WSML-DL v2.0 are based on ELP, ELLY may be used
with WSML-DL v2.0.
The latest version of WSML2Reasoner is released with support for
reasoning with ELLY
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
European Framework 7
If you have any questions feel free to contact
daniel [dot] winkler [at] sti2 [dot] at