Protege Wiki - User contributions [en]

ELK

2016-01-14T16:45:57Z

Petesko:

{{Plugin
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.
|PluginType=Reasoner
|ForApplication1=Protege-OWL
|HomepageURL=http://elk.semanticweb.org/
|DeveloperID1=Yevgeny Kazakov
|DeveloperID2=Markus Krötzsch
|DeveloperID3=František Simančík
|DeveloperID4=Pavel Klinov
|DeveloperID5=Peter Skocovsky
|LastUpdated=January 11, 2016
|Topic1=Reasoning
|Topic2=Inference
|License=Apache License 2.0
|Affiliation1=University of Oxford
|Affiliation2=University of Ulm
}}
<div style="clear: both; "></div>
The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [[Snow Owl]] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.

ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

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.

ELK 0.4.3

2016-01-14T16:40:33Z

Petesko: Created page with "{{VersionOfPlugin |VersionOf=ELK |Number=0.4.3 |LastUpdate=January 11, 2016 |File=https://github.com/liveontologies/elk-reasoner/releases |CompatibleWith1=Protege-OWL 5 |Depen..."

{{VersionOfPlugin
|VersionOf=ELK
|Number=0.4.3
|LastUpdate=January 11, 2016
|File=https://github.com/liveontologies/elk-reasoner/releases
|CompatibleWith1=Protege-OWL 5
|DependsOn1=Protege-OWL
|Changelog=See [http://elk.semanticweb.org/maven/0.4.3/elk-distribution/changes-report.html here]}}
<div style="clear: both; "></div>
In this release we switch to the OWL API version 4 which is used in Protege 5. <strong>This means that this version is no longer compatible with OWL API 3 and Protege 4.</strong> For this reason, the ELK reasoner plugin in Protege 4 will not be auto-updated. Please use the latest (beta) version of Protege 5 for the new plugin. The last version supporting OWL API 3 and Protege 4 is 0.4.2.

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.

ELK 0.4.0

2016-01-14T16:26:34Z

Petesko:

{{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.

ELK

2016-01-14T16:12:12Z

Petesko:

{{Plugin
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.
|PluginType=Reasoner
|ForApplication1=Protege-OWL
|HomepageURL=http://elk.semanticweb.org/
|DeveloperID1=Yevgeny Kazakov
|DeveloperID2=Markus Krötzsch
|DeveloperID3=František Simančík
|DeveloperID4=Pavel Klinov
|DeveloperID5=Peter Skocovsky
|LastUpdated=January 11, 2016
|Topic1=Reasoning
|Topic2=Inference
|License=Apache License 2.0
|Affiliation1=University of Oxford
|Affiliation2=University of Ulm
}}

|free text=}}
<div style="clear: both; "></div>
The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [[Snow Owl]] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.

ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

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 [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.