ELLY implementation report

Implementation report for ELLY. 
Resent for Daniel Winkler of STI Innsbruck (somehow his earlier email failed 
to get through to the list).


1.  Your name, affiliation, and (optionally) the names of other
    people who helped with the implementation.

Daniel Winkler, Barry Bishop, Semantic Technology Institute (STI) Innsbruck
Pascal Hitzler, Sebastian Rudolph, Markus Krötzsch

2.  The name of your system, a URL for its website (if any), and a
    one-sentence description.

ELLY
http://elly.sourceforge.net/ (will be updated as soon as it is
released, currently standard sourceforge.net project website)

Data-centric implementation of reasoning and query answering based on
translating EL/RL to datalog in a way that preserves assertional
entailments. (copied from wiki)

3.  Which profile(s) it implements (DL, EL, QL, RL, or Full).  We
    would appreciate some brief commentary about why you chose those
    profiles, and what sort of implementation techniques you are
    using.

EL, RL
ELLY is an implementation of an ELP reasoner, therefore the profiles
EL and RL are supported. The implementation is based on [1].


4.  Which semantics you implement (direct or rdf-based), and
    (optionally) why.

direct


5.  Do you believe your system currently conforms to the OWL 2
    Candidate Recommendation?  Does it pass all the test cases for
    your profile?  If not, which features does it lack and/or which
    test cases does it not yet pass?  Do you have plans to make it
    conformant, and make it pass all the test cases?

OWL profile support under development.
It is planned to be conformant.


6.  Did you implement the "at risk" features, owl:rational and
    rdf:XMLLiteral?  If not, do you intend to, or do you think we
    should remove them from OWL 2?

TBD


[1] Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable
Rules for OWL 2. In Amit Sheth, Steffen Staab, Mike Dean, Massimo
Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan,
eds.: Proceedings of the 7th International Semantic Web Conference
(ISWC-08), pp. 649–664. Springer 2008.



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