@Nonnull OWLOntology ontology,
@Nonnull OWLReasonerFactory reasonerFactory) {
this.ontology = ontology;
checker = reasonerFactory.createNonBufferingReasoner(ontology);
/* Create a new debugger */
debugger = new BlackBoxOWLDebugger(manager, ontology, reasonerFactory);
/* Get bottom */
bottom = manager.getOWLDataFactory().getOWLNothing();
}