[DL] ELK 0.4.0 reasoner for OWL EL released

[Yevgeny Kazakov]

We are happy to announce the release of the new

                  ELK 0.4.0
             Reasoner for OWL EL
         http://elk.semanticweb.org/
 http://code.google.com/p/elk-reasoner/

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 [1], Protégé [2], the Snow Owl
ontology editor [3], 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 [4]. The algorithm for incremental reasoning
implemented in ELK 0.4.0 is published in a technical report [5].

The full release notes are available at [6].

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 [7]. It runs on all operating systems that support Java 1.6 or
above, such as Android. For further details, please see the feature
list [8] and the online discussion group [9].

Development of ELK is supported by EPSRC project "ConDOR" [10].
And DFG project "Live Ontologies" [11].
The project is developed at the University of Oxford and
the University of Ulm.

Best,

Yevgeny, Markus, František, and Pavel

P.S. Apologies if you received multiple copies of this email.

 [1] http://owlapi.sourceforge.net/
 [2] http://protege.stanford.edu/
 [3] http://www.b2international.com/portal/snow-owl
 [4] http://owl.cs.manchester.ac.uk/explanation/
 [5] Yevgeny Kazakov, Pavel Klinov. Incremental Reasoning in OWL EL
without Bookkeeping.
      Technical Report. University of Ulm, May 2013.
      Available from http://code.google.com/p/elk-reasoner/
 [6] http://elk.semanticweb.org/maven/0.4.0/elk-distribution/changes-report.html
 [7] ISWC 2011:
http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies
 [8]  http://code.google.com/p/elk-reasoner/wiki/OwlFeatures
 [9] http://groups.google.com/group/elk-reasoner-discussion
[10] http://www.cs.ox.ac.uk/isg/projects/ConDOR/
[11] http://www.uni-ulm.de/en/in/ki/projekte/liveontologies.html