ELK

From semanticweb.org.edu
Jump to: navigation, search
ELK
elk-reasoner.googlecode.com
Status: beta
Last release: 0.3.2 (Jan 17, 2013)
License: Apache License 2.0
Language: Java
Author(s): Yevgeny Kazakov, Markus Krötzsch, František Simančík, Pavel Klinov
Affiliation: University of Oxford
Web resources

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 a few 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 0.3.0 is the third release of ELK. It adds improved support for OWL constructs, including assertions and disjoint classes, implements additional reasoning tasks, and improves Protégé integration. Its main features are:

  • Reasoning tasks: classification, consistency checking, class instance retrieval
  • Supported OWL constructs: property chains, owl:Nothing, class disjointness, class intersection, object property domains, class and property assertions, reflexive properties, and DataHasValue
  • OWL API bindings
  • Protégé plugin (can also be used in Snow Owl)
  • Command line interface
  • Parser for input files in OWL 2 Functional Style Syntax

ELK 0.3.2 is the latest maintenance release incorporating several bug fixes and deployment to the Maven Central Repository.

There is also a full list of changes available online.

ELK can be run in all operating systems that support Java 1.6 or above. For further details, please see the online documentation. The ELK reasoner discussion group is available for further discussions.