Difference between revisions of "ELK"
m |
|||
| Line 8: | Line 8: | ||
|DeveloperID3=František Simančík | |DeveloperID3=František Simančík | ||
|DeveloperID4=Pavel Klinov | |DeveloperID4=Pavel Klinov | ||
| − | |LastUpdated=July | + | |LastUpdated=July 20, 2013 |
|Topic1=Reasoning | |Topic1=Reasoning | ||
|Topic2=Inference | |Topic2=Inference | ||
| Line 15: | Line 15: | ||
|Affiliation2=University of Ulm | |Affiliation2=University of Ulm | ||
}} | }} | ||
| + | |||
| + | |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 03:37, July 24, 2013
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.
