ELK Reasoner Project

Release History

VersionDateDescription
0.4.02013-07-20Forth public release
0.3.22013-01-17Second maintenance release after the third public release
0.3.12012-08-30First maintenance relase after the third public release
0.3.02012-07-19Third public release
0.2.02011-10-25Second public release
0.1.02011-07-19First public release

Release 0.4.0 - 2013-07-20

TypeChangesBy

add

Incremental reasoning. The reasoner can incrementally update the inferred class and instance hierarchies after adding, removing, or modifying axioms. Changes in axioms which may affect the property hierarchy or property chains, e.g., SubObjectPropertyOf, TransitiveObjectProperty, etc., will still trigger full re-classification. Fixes 9.pavel

add

Queries of complex class expressions (satisfiability checking, retrieval of equivalent classes, subclasses, and superclasses) are now supported through incremental reasoning. Fixes 10.yevgeny

add

Support for positive occurrences of negation (ObjectComplementOf) and negative occurrences of disjunctions (ObjectUnionOf).yevgeny

update

New rule engine under the hood that provides a general way of specifying and registering composition and decomposition rules for various language features.yevgeny

update

New reasoning stage management to keep track of dependencies between reasoning stages and of their execution.yevgeny

add

Support for explanation and DL query features in Protege through queries for complex class expressions.yevgeny

update

The OWL 2 FSS parser now runs lexer and tokenizer in parallel threads.pavel

add

Incremental reasoning mode can be enabled/disabled from the Reasoner Preferences panel in Protege.pavel

fix

Fix the location of examples in the owlapi-library distribution package as described in the README.txt file Fixes 12.pavel

fix

ELK now tracks changes in axioms which belong to imported ontologies. Also it doesn't log warnings for changes in ontologies outside the import closure. Fixes 14.pavel

fix

Fixed conversion of double inverse object properties from OWL API Fixes 18.yevgeny

Release 0.3.2 - 2013-01-17

TypeChangesBy

fix

Fixed an issue causing a deadlock with many workers in the saturation stage.yevgeny

update

Updated dependencies for OWL API to v.3.4.2.yevgeny

Release 0.3.1 - 2012-08-30

TypeChangesBy

fix

Fixed NoSuchElementException when loading imported ontologies through OWLAPI that have no axioms. Fixes 7.yevgeny

fix

Fixed a bug with incorrect handling of lexical errors during parsing of OWL2 FSS files with the native ELK's parser.pavel

update

An improved testing of class and instance taxonomies via mock taxonomy objects and specific validators (e.g., for acyclicity and transitive reduction).pavel

update

Updated project configurations to comply with Maven Central requirements.yevgeny

Release 0.3.0 - 2012-07-19

TypeChangesBy

fix

Fixed NullPointerException when loading ontologies with ObjectMinCardinality and ObjectExactCardinality constructors that have empty fillers. Fixes 6.frantisek

fix

Fixed NullPointerException when querying the reasoner for a class not occurring in the signature of the ontology. Fixes 1.frantisek

add

Reporting of reasoner warnings in Protege user interface.markus

add

Support for owl:Nothing and DisjointClasses axioms.frantisek

add

Support for ReflexiveObjectProperty axioms.frantisek

add

Support for individuals in ClassAssertion, ObjectPropertyAssertion, and ObjectHasValue.frantisek

add

Support for consistency checking and instance retrieval queries for named classes.frantisek

add

A new infrastructure for automated testing of ontology loading, printing, generation of taxonomies, and realization.pavel

update

A generic infrastructure for specification and registration of reasoning rules.markus

add

A mechanism for interruption and restarting of reasoning tasks.yevgeny

update

A reorganized infrastructure for reasoning tasks, reasoning stages, and reasoning engines.yevgeny

Release 0.2.0 - 2011-10-25

TypeChangesBy

fix

Fixed tokenization of IRIs containing reserved words in the built-in parser. Fixes 5.frantisek

fix

Fixed grammar for non-negative integers in the built-in parser. Fixes 4.frantisek

fix

Fixed grammar for ObjectOneOf in the built-in parser. Fixes 3.frantisek

fix

Close all threads immediately when OWLReasoner.dispose() is called. Fixes 2.markus

add

Support for object property domain axioms.markus

add

Support for object property chain inclusion axioms.frantisek

update

Re-engineering of ELK OWL object hierarchy using interfaces instead of (abstract) classes.markus

add

Protege plugin: support for Protege 4 auto-update feature.yevgeny

add

Automated project distribution management through Apache Maven.yevgeny

Release 0.1.0 - 2011-07-19

TypeChangesBy

add

Support for classification of EL ontologies with role hierarchies and transitive roles.yevgeny

add

Classification can run concurrently and make use of the available multiple processors and cores.yevgeny

add

Preliminary implementation of the OWL API and Protege reasoner interfaces.yevgeny

add

OWL API: Support for dynamic loading of changes in ontologies.yevgeny