|Last update||19 July 2012|
|Compatible Protege Version|
The following dependencies exist for ELK 0.3.0:
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.