slightly improving the fix so that different strategies of splitting the
axioms into static and synamic ones can be used, similarly to how its
done for the ELK API
reimplemented parallel javacc lexer using messages and blocking queue
Merge branch 'feature/concurrent-parser' of https://github.com/klinovp/elk into feature/concurrent-parser
taken ConcurrentJavaCCLexer from the inner class;
parser and lexer threads are now deamon
added a name to the timer thread
Intellij idea files are added to .gitignore
next lexer batch cannot be null
Merge branch 'master' into feature/concurrent-parser
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 )