[DL] ELK 0.3.0 reasoner for OWL EL released

[Yevgeny Kazakov]

We are happy to announce the release of the new

                  ELK 0.3.0
             Reasoner for OWL EL
     http://elk-reasoner.googlecode.com/

ELK is a free and open source reasoner for the lightweight
ontology language OWL 2 EL, developed by the University of Oxford
and the University of Ulm. It is based on Java and can be
controlled using the OWL API [1], Protégé [2], the Snow Owl
ontology editor [3], or a basic command line interface. ELK is
available under the Apache License 2.0.

The main new features in ELK 0.3.0 are (the full change list available at [4]):

* brand new ABox support: class/property assertions, consistency checking,
  realization, and instance retrieval for named classes,
* extended OWL support: class disjointness, the bottom class (owl:Nothing),
  reflexive object properties,
* substantially improved OWL API and Protege experience
  (including GUI-based warning reporting, reasoner termination capability, etc.)

ELK is massively parallel and insanely fast. It can classify the SNOMED CT
ontology with around 300,000 classes in a few seconds on a modern
laptop [5]. It runs on all operating systems that support Java 1.6 or
above. For further details, please see the feature list [6] and the
online discussion group [7].

Development of ELK is supported by EPSRC in project "ConDOR". The
project is developed at the University of Oxford and the
University of Ulm.

Best,

Yevgeny, Markus, František, and Pavel

P.S. Apologies if you received multiple copies of this email.

[1] http://owlapi.sourceforge.net/
[2] http://protege.stanford.edu/
[3] http://www.b2international.com/portal/snow-owl
[4] http://elk-reasoner.googlecode.com/svn/m2/site/elk-distribution/changes-report.html
[5] ISWC 2011: http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies
[6] http://code.google.com/p/elk-reasoner/wiki/OwlFeatures
[7] http://groups.google.com/group/elk-reasoner-discussion