get rid of the unnecessary cast
added dependency to owlapi-proofs-model
converting ELK objects occurring in proofs into the OWL API
representation
adding isTautology method for expressions
simplifying tests as the initialization inferences are gone
basic tests for proofs via the OWL API + several bugs fixed
getting rid of tautological expressions in proofs