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