[DL] [ANN] ELK 0.1.0 reasoner for OWL EL
markus.kroetzsch at cs.ox.ac.uk
Tue Aug 2 14:58:38 CEST 2011
We are happy to announce the first release of the new
Reasoner for OWL EL
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 . This is
achieved by highly optimized consequence-based reasoning algorithms that
can also take advantage of multi-core CPUs.
ELK 0.1.0 is the very first release of ELK. It still has only limited
support for OWL constructs and does not yet implement all reasoning
tasks that the OWL API includes. Its main features are:
* Reasoning tasks: classification and consistency checking
* Supported OWL constructs: ELH fragment + transitivity
(ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf,
EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)
* Optional 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 can be run in all operating systems that support Java 1.5 or above.
For further details, please see the online documentation .
We are continuing to develop ELK into a reasoner that covers all OWL EL
features and common reasoning tasks. Use cases, practical application
requirements and other feedback is welcome. The ELK reasoner discussion
group  is available for further discussions. People who are
interested in contributing can also contact the developers  directly.
P.S. Apologies if you received multiple copies of this email.
 The current maintainers of ELK are: Yevegeny Kazakov,
Markus Krötzsch, František Simančík.
More information about the dl