Difference between revisions of "ELK 0.4.0"

From Protege Wiki
Jump to: navigation, search
m
 
(3 intermediate revisions by one other user not shown)
Line 2: Line 2:
 
|VersionOf=ELK
 
|VersionOf=ELK
 
|Number=0.4.0
 
|Number=0.4.0
|LastUpdate=now
+
|LastUpdate=July 20, 2013
|File=http://code.google.com/p/elk-reasoner/downloads/list
+
|File=https://github.com/liveontologies/elk-reasoner/releases
 
|CompatibleWith1=Protege-OWL 4.3
 
|CompatibleWith1=Protege-OWL 4.3
 
|CompatibleWith2=Protege-OWL 4.2
 
|CompatibleWith2=Protege-OWL 4.2
 
|CompatibleWith3=Protege-OWL 4.1
 
|CompatibleWith3=Protege-OWL 4.1
 
|DependsOn1=Protege-OWL
 
|DependsOn1=Protege-OWL
|Changelog=Incremental reasoning (including config via GUI), DL queries, reasoning explanations, and more.
+
|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]
  
|free text=}}
+
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.

Latest revision as of 09:26, January 14, 2016

ELK 0.4.0

Version 0.4.0
Plugin ELK
Last update July 20, 2013
Download ELK 0.4.0
Compatible Protege Version

Dependency

The following dependencies exist for ELK 0.4.0:

Changelog

See here


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

There is also a 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 online documentation. The ELK reasoner discussion group is available for further discussions.