Tests are lacking

[hlapp]

Tests would seem to be particularly important for this repo, because for one, the structure of the axiom sets expected to come out of the translations are not particularly well defined or documented, yet will significantly influence the reasoning possible within the KB. So at the very least some basic assumptions about what axioms should (or should not) be there should be tested.

In addition to that, functioning tests can also greatly help with stepping through the code for debugging from a start and end point that are known to be good.

[hlapp]

@balhoff can you write at least one or a few tests for an ingestor known to work, so we have a starting point?

[balhoff]

@hlapp yes, good idea.