ELK 0.2.0 - Revision history

Markus Krötzsch at 15:52, October 25, 2011

2011-10-25T15:52:02Z

Markus Krötzsch at 15:51, October 25, 2011

2011-10-25T15:51:47Z

Markus Krötzsch: new release of ELK

2011-10-25T15:51:10Z

new release of ELK

New page

{{VersionOfPlugin
|VersionOf=ELK
|Number=0.2.0
|LastUpdate=October 25, 2011
|File=http://code.google.com/p/elk-reasoner/downloads/list
|CompatibleWith1=Protege-OWL 4.1
|DependsOn1=Protege-OWL
|Changelog=See [[ELK 0.2.0|here]]
}}
ELK 0.2.0 is the second release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are:

* Reasoning tasks: classification and consistency checking
* Supported OWL constructs: EL<sup>+</sup> fragment with data literals (including property chains, intersection, object property domains, and DataHasValue)
* OWL API bindings
* Protégé plugin (can also be used in Snow Owl)
* Command line interface
* Parser for input files in OWL 2 Functional Style Syntax

There is also a [http://elk-reasoner.googlecode.com/svn/m2/site/elk-distribution/changes-report.html full list of changes] available online.

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

@@ Line 10: / Line 10: @@
 <div style="clear: both; "></div>
 ELK 0.2.0 is the second release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are:
 * Reasoning tasks: classification and consistency checking

@@ Line 8: / Line 8: @@
 |Changelog=See [[ELK 0.2.0|here]]
 }}
 ELK 0.2.0 is the second release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are: