structural equivalence checking and hashing for Elk objects which appear
in expressions and some basic tests
expression factory with caching which uses the structural equivalence
checker and hasher and basic tests
method renamings
the concept of "derived expressions" -- those can return collections of
inferences which produced them. they're easier to use by the client
code.
some repackaging + adding the main entrance point for accessing proofs +
using it in the recursive unwinding procedure for testing
provability tests: check recursively that every expression that occurs
in inferences is proved, i.e. either it's a tautology or it returns at
least one inference in which all premises are proved.
* setting up comprehensive proof tests for elk-proofs using the test
ontologies from elk-reasoner
* couple of bugs fixed in the inference mapper regarding instantiation
of existential composition inferences (via property chains)
* small refactoring of TracingTestVisitor
* pom.xml tweaks for elk-proofs
tweaking the log level for a message
Inference.getConclusion() should return DerivedExpression
asserted expressions supersede side conditions
a better provability test which checks loopy non-proofs
using a boolean flag instead of a dedicated class for asserted
expressions. this plays better with the factory which ensures pointer
equality in case that an asserted expression is created after a derived
expression for the same axiom.
getting rid of the initialization inferences
pom.xml tweaks, moving DummyExpressionFactory out of /test and license
headers
cosmetic cleanup changes
converting ELK proofs to OWL API proofs, not quite finished yet