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);
    }
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 ) ; }
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