Difference between revisions of "ELK"

From Protege Wiki
Jump to: navigation, search
m
Line 3: Line 3:
 
|PluginType=Reasoner
 
|PluginType=Reasoner
 
|ForApplication1=Protege-OWL
 
|ForApplication1=Protege-OWL
|HomepageURL=http://elk-reasoner.googlecode.com/
+
|HomepageURL=http://elk.semanticweb.org/
 
|DeveloperID1=Yevgeny Kazakov
 
|DeveloperID1=Yevgeny Kazakov
 
|DeveloperID2=Markus Krötzsch
 
|DeveloperID2=Markus Krötzsch
 
|DeveloperID3=František Simančík
 
|DeveloperID3=František Simančík
 
|DeveloperID4=Pavel Klinov
 
|DeveloperID4=Pavel Klinov
|LastUpdated=July 20, 2013
+
|DeveloperID5=Peter Skocovsky
 +
|LastUpdated=January 11, 2016
 
|Topic1=Reasoning
 
|Topic1=Reasoning
 
|Topic2=Inference
 
|Topic2=Inference
Line 16: Line 17:
 
}}
 
}}
  
 +
|free text=}}
 
<div style="clear: both; "></div>
 
<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.
 
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.

Revision as of 09:12, January 14, 2016

Type Reasoner
Author(s) Yevgeny Kazakov, Markus Krötzsch, František Simančík, Pavel Klinov, Peter Skocovsky
Last Update January 11, 2016
License Apache License 2.0
Homepage ELK website
For Application
Topic(s)
Affiliation

ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.

Versions & Compatibility

This section lists available versions of ELK.

VersionCompatible withDependencies
ELK 0.4.3Protege-OWL 5Protege-OWL
ELK 0.4.0Protege-OWL 4.3
Protege-OWL 4.2
Protege-OWL 4.1
Protege-OWL
ELK 0.3.0Protege-OWL 4.1
Protege-OWL 4.2
Protege-OWL
ELK 0.2.0Protege-OWL 4.1Protege-OWL
ELK 0.1.0Protege-OWL 4.1Protege-OWL

If you click on the button below to add a new version of ELK, you will be asked to define a page title for the new version. Please adhere to the naming convention of ELK X.X.X when you define the new page!


|free text=}}

The ELK reasoner is based on Java and can be controlled using the 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 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 online documentation. The ELK reasoner discussion group is available for further discussions.