W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2012

ELK 0.3.0 reasoner for OWL EL released

From: Yevgeny Kazakov <yevgeny.kazakov@uni-ulm.de>
Date: Fri, 20 Jul 2012 10:30:52 +0200
Message-ID: <CACFL79emYBQY8z9tSEPceP++-GWBm07Cwrkj2BN=ugkY0h6LVA@mail.gmail.com>
To: elk-reasoner-users@googlegroups.com
Cc: OWL <public-owl-dev@w3.org>, Protege OWL <protege-owl@mailman.stanford.edu>, owlapi-developer@lists.sourceforge.net, Description Logic <dl@dl.kr.org>, "semantic-web@w3.org" <semantic-web@w3.org>
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
Received on Sunday, 22 July 2012 14:57:03 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:33:00 GMT