tweak
patched ELK to work with Protege explanations based on justifications;
so far works only for subsumptions between atomic concepts
Support of positive negation (ObjectComplementOf)
Fixed indexing of ObjectComplementOf (polarity was not flipped) + unit
test; warns incompleteness when indexing negative ObjectComplementOf
preliminary support for DL queries with complex class expressions
through incremental reasoning. Some issues are still left (change
loaders get lost sometimes, auxiliary class expressions may appear in
the result)
unified and simplified loaders, ontology loaders, change loaders etc. to
just AxiomLoader; lot's of changes; OWL API reasoner now loads axiom
lazily even if flush() is called; new OWL API low level incremental test
is added
small addition to low-level OWL API incremental reasoning test
generalized OWL API-based low-level incremental test; now also testing
role axioms; dealing more gracefully with changes in non-buffering mode
making all public methods of the reasoner synchronized to avoid
concurrency issues, e.g., in Protege
querying for equivalent classes: removing the temporary class for the
node
missing new file
use two progress monitors (dummy and normal) in OWL API to avoid
problems with Protege
updated changes in changes.xml, bumped some dependencies in pom
(switching to OWL API 3.4.4 is causing some problems, therefore left OWL
API 3.4.2 )
support for negative disjunctions
some missing counters and timers for negation and disjunctions are added
updated changes.xml with new improvements
tweacks to changes.xml, removed duplicates, added issue refs, etc.
* getting rid of unused vars, etc. to eliminate warnings
* switching to the OWL API 3.4.4
* filtering out org.apache.felix from copying 3rd-party dependencies for
elk-owlapi-standalone
[maven-release-plugin] prepare release v0.4.0
[maven-release-plugin] prepare for next development iteration