ELK Reasoner Project

Release History

VersionDateDescription
0.3.02012-07-19Current version
0.2.02011-10-25Second public release
0.1.02011-07-19First public release

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