cz.cvut.kbss.ontodriver.owlapi.MainAxiomLoaderTest.throwsExceptionWhenReasonerIsNotAvailableForInferredAssertions (from MainAxiomLoaderTest)