ELK Reasoner

From korrekt.org
(Redirected from ELK reasoner)

ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL. It 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 (see the paper Concurrent Classification of EL Ontologies for details). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

ELK is joint work with Yevgeny Kazakov, Pavel Klinov, and František Simančík. See the ELK homepage for a up-to-date list of contributors.

The main publication for citing ELK is The Incredible ELK.

Links

Publications related to this topic

Updates to the following list are also available as RSS feed. A list of all publications is also available.