debug -> trace in the random walk incremental tests
changed the location of the example src folder
cleanup
optimized imports
* using different owl ontology managers to not notify the reasoner about
the additions to the ontology which holds inferred axioms
* serializing the results in the functional syntax
minor lceanup
ElkReasoner now tracks changes made to all ontologies in the import
closure and still ignores all others. New tests added
Merge branch 'feature/concurrent-parser'
* changes.xml populated with some of the 0.4.0 changes
* incremental classification example provided
tweaks
2012 -> 2013
changing the maven configurations to make
update.properties/version-info.txt a part of the maven site and upload
them to elk.semanticweb.org
Declarations are retained as static axioms in OWLAPIRandomWalkIncrementalClassification Test
Both logical and declaration axioms are used in OWLAPIRandomWalkIncrementalClassification Test
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
Merge branch 'master' into feature/concurrent-parser