code: public static ExplanationGeneratorFactory<OWLAxiom> createExplanationGeneratorFactory(OWLReasonerFactory reasonerFactory, ExplanationProgressMonitor<OWLAxiom> progressMonitor) {
          EntailmentCheckerFactory<OWLAxiom> checker = new SatisfiabilityEntailmentCheckerFactory(reasonerFactory);
          Configuration<OWLAxiom> config = new Configuration<OWLAxiom>(checker, progressMonitor);
          return new BlackBoxExplanationGeneratorFactory<OWLAxiom>(config);
      }
docs: Creates an explanation generator factory that will produce explanation generators that generate explanations
  as to why an checker is entailed by a set of axioms.
  @param reasonerFactory A reasoner factory that can be used for creating new reasoners if necessary
  @param progressMonitor An explanation progress monitor
  @return An explanation generatory factory that creates explanation generators for entailed axioms