ELK 0.3.0

From Protege Wiki
Jump to: navigation, search

ELK 0.3.0

Version 0.3.0
Plugin ELK
Last update 19 July 2012
Download ELK 0.3.0
Compatible Protege Version


The following dependencies exist for ELK 0.3.0:


See here

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, 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

There is also a full list of changes available online.

ELK can be run in all operating systems that support Java 1.5 or above, but early releases do not yet support all features of OWL 2 EL. For further details, please see the online documentation. The ELK reasoner discussion group is available for further discussions.