[DL] ELK 0.4.0 reasoner for OWL EL released
yevgeny.kazakov at uni-ulm.de
Mon Jul 22 11:46:53 CEST 2013
We are happy to announce the release of the new
Reasoner for OWL EL
ELK is a free and open source reasoner for the lightweight
ontology language OWL 2 EL. It is based on Java and can be
controlled using the OWL API , Protégé , the Snow Owl
ontology editor , or a basic command line interface. ELK is
available under the Apache License 2.0.
This release features the new incremental reasoning support.
If performing reasoning tasks after small ontology modifications,
ELK 0.4.0 tries to reuse the result of the previous computations as
much as possible. This makes reclassification of ontologies in editors
like Protege almost instantaneous. Thanks to incremental reasoning,
ELK 0.4.0 now also supports answering DL queries with complex class
expressions, as well as finding explanations using the explanation
workbench in Protege . The algorithm for incremental reasoning
implemented in ELK 0.4.0 is published in a technical report .
The full release notes are available at .
ELK is massively parallel and insanely fast. It can classify the SNOMED CT
ontology with around 300,000 classes in a few seconds on a modern
laptop . It runs on all operating systems that support Java 1.6 or
above, such as Android. For further details, please see the feature
list  and the online discussion group .
Development of ELK is supported by EPSRC project "ConDOR" .
And DFG project "Live Ontologies" .
The project is developed at the University of Oxford and
the University of Ulm.
Yevgeny, Markus, František, and Pavel
P.S. Apologies if you received multiple copies of this email.
 Yevgeny Kazakov, Pavel Klinov. Incremental Reasoning in OWL EL
Technical Report. University of Ulm, May 2013.
Available from http://code.google.com/p/elk-reasoner/
 ISWC 2011:
More information about the dl