Updated tests / new EL reasoner ELLY

Two brief updates:

(1) Two test cases had been misclassified as OWL EL tests even though their 
conclusions contained anonymous individuals: WebOnt-someValuesFrom-003,
somevaluesfrom2bnode. I have fixed both and propagated the changes to the 
export and test report.

(2) The ELLY project has reported test results for their OWL EL implementation 
based on datalog. Besides two bugs in their datalog engine (one related to 
xsd:float and one to inferred equalities), they achieve a rather good coverage 
of OWL EL -- the highest test coverage of any OWL-EL-specific reasoner so far. 
The ELLY team intends to release an first alpha version (with source code) 
soon.

As usual, the updated test results can be viewed at 
http://www.w3.org/2007/OWL/wiki/Test_Suite_Status

Cheers,

Markus

-- 
Markus Krötzsch
Karlsruhe Institute of Technology (KIT), Institute AIFB
Englerstraße 11 (Geb. 11.40), 76131 Karlsruhe,  Germany

phone: +49 (0)721 608 7362
fax:   +49 721 608 6580
email: markus.kroetzsch@kit.edu
web:   http://korrekt.org

http://semantic-web-book.org
http://semantic-mediawiki.org

KIT - Universität des Landes Baden-Württemberg und nationales
Großforschungszentrum in der Helmholtz-Gemeinschaft