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
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