View source for ELK 0.4.0

{{VersionOfPlugin
|VersionOf=ELK
|Number=0.4.0
|LastUpdate=July 20, 2013
|File=https://github.com/liveontologies/elk-reasoner/releases
|CompatibleWith1=Protege-OWL 4.3
|CompatibleWith2=Protege-OWL 4.2
|CompatibleWith3=Protege-OWL 4.1
|DependsOn1=Protege-OWL
|Changelog=See [http://elk.semanticweb.org/maven/0.4.0/elk-distribution/changes-report.html here]}}
<div style="clear: both; "></div>
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
[http://owl.cs.manchester.ac.uk/explanation/ explanation workbench]

There is also a [http://elk.semanticweb.org/maven/0.4.0/elk-distribution/changes-report.html full list of changes] available online.

ELK can be run in all operating systems that support Java 1.6 or above, but early releases do not yet support all features of OWL 2 EL. For further details, please see the [https://github.com/liveontologies/elk-reasoner/wiki online documentation]. The [http://groups.google.com/group/elk-reasoner-discussion ELK reasoner discussion group] is available for further discussions.