Difference between revisions of "ELK"
m |
|||
| Line 3: | Line 3: | ||
|PluginType=Reasoner | |PluginType=Reasoner | ||
|ForApplication1=Protege-OWL | |ForApplication1=Protege-OWL | ||
| − | |HomepageURL=http://elk | + | |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= | + | |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 08:12, January 14, 2016
ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.
Contents
Versions & Compatibility
This section lists available versions of ELK.
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.
