ELLY reasoner for EL/RL under development

Just for the record on this mailing list (most of this has also been mentioned 
in previous telcos):

STI Innsbruck is working on a tool called ELLY, a datalog-based implementation 
for the EL and RL profiles. Development is in progress, but there was no 
public release of the software yet. An initial website is at [1].

The OWL 2 EL/RL-ish logic ELP that ELLY is supposed to implement in the end is 
also intended to become the basis for the WSML-DL v2.0 specification language 
for web services, which may also lead to some further use-cases for OWL 2.

[1] http://elly.sourceforge.net/

-- 
Markus Krötzsch
Institute AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362           fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de           www  http://korrekt.org
http://semantic-web-book.org  http://semantic-mediawiki.org