| Version | Date | Description |
|---|---|---|
| 0.3.0 | 2012-07-19 | Current version |
| 0.2.0 | 2011-10-25 | Second public release |
| 0.1.0 | 2011-07-19 | First public release |
| Type | Changes | By |
|---|---|---|
| Fixed NullPointerException when loading ontologies with ObjectMinCardinality and ObjectExactCardinality constructors that have empty fillers. Fixes 6. | frantisek |
| Fixed NullPointerException when querying the reasoner for a class not occurring in the signature of the ontology. Fixes 1. | frantisek |
| Reporting of reasoner warnings in Protege user interface. | markus |
| Support for owl:Nothing and DisjointClasses axioms. | frantisek |
| Support for ReflexiveObjectProperty axioms. | frantisek |
| Support for individuals in ClassAssertion, ObjectPropertyAssertion, and ObjectHasValue. | frantisek |
| Support for consistency checking and instance retrieval queries for named classes. | frantisek |
| A new infrastructure for automated testing of ontology loading, printing, generation of taxonomies, and realization. | pavel |
| A generic infrastructure for specification and registration of reasoning rules. | markus |
| A mechanism for interruption and restarting of reasoning tasks. | yevgeny |
| A reorganized infrastructure for reasoning tasks, reasoning stages, and reasoning engines. | yevgeny |
| Type | Changes | By |
|---|---|---|
| Fixed tokenization of IRIs containing reserved words in the built-in parser. Fixes 5. | frantisek |
| Fixed grammar for non-negative integers in the built-in parser. Fixes 4. | frantisek |
| Fixed grammar for ObjectOneOf in the built-in parser. Fixes 3. | frantisek |
| Close all threads immediately when OWLReasoner.dispose() is called. Fixes 2. | markus |
| Support for object property domain axioms. | markus |
| Support for object property chain inclusion axioms. | frantisek |
| Re-engineering of ELK OWL object hierarchy using interfaces instead of (abstract) classes. | markus |
| Protege plugin: support for Protege 4 auto-update feature. | yevgeny |
| Automated project distribution management through Apache Maven. | yevgeny |
| Type | Changes | By |
|---|---|---|
| Support for classification of EL ontologies with role hierarchies and transitive roles. | yevgeny |
| Classification can run concurrently and make use of the available multiple processors and cores. | yevgeny |
| Preliminary implementation of the OWL API and Protege reasoner interfaces. | yevgeny |
| OWL API: Support for dynamic loading of changes in ontologies. | yevgeny |
