ELK 0.3.0

ELK 0.3.0

Version	0.3.0
Plugin	ELK
Last update	19 July 2012
Download	ELK 0.3.0
Compatible Protege Version	Protege-OWL 4.1 Protege-OWL 4.2

Edit this version

Dependency

The following dependencies exist for ELK 0.3.0:

• Protege-OWL

Changelog

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.