public Debugger(OWLOntologyManager manager, OWLOntology ontology, OWLReasonerFactory reasonerFactory) { this.ontology = ontology; checker = reasonerFactory.createNonBufferingReasoner(ontology); /* Create a new debugger */ debugger = new BlackBoxOWLDebugger(manager, ontology, reasonerFactory); }
public Debugger(OWLOntologyManager manager, OWLOntology ontology, 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(); }