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.
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 upcoming version of WSML2Reasoner will be released with support for
reasoning with ELLY.
Contact
If you have any questions feel free to contact
daniel [dot] winkler [at] sti2 [dot] at
.
2009-09-09