robot-core/src/main/java/org/obolibrary/robot/ExplainOperation.java
public static Set<Explanation<OWLAxiom>> explain(
      OWLAxiom axiom,
      OWLOntology ontology,
      OWLReasonerFactory reasonerFactory,
      int maxExplanations) {
    logger.debug("Explaining: " + axiom);

    ExplanationGeneratorFactory<OWLAxiom> genFac =
        ExplanationManager.createExplanationGeneratorFactory(reasonerFactory);
    ExplanationGenerator<OWLAxiom> gen = genFac.createExplanationGenerator(ontology);
    return gen.getExplanations(axiom, maxExplanations);
  }
/**
   * Compute explanations for an entailed axiom.
   *
   * @param axiom entailed axiom to explain
   * @param ontology ontology to search for explanation
   * @param reasonerFactory reasoner factory used to create reasoners to test entailments
   * @param maxExplanations maximum number of explanations to compute
   * @return explanations
   */
Compute explanations for an entailed axiom.
Compute explanations for an entailed axiom .
public static Set<Explanation<OWLAxiom>> explain(
      OWLAxiom axiom,
      OWLOntology ontology,
      OWLReasonerFactory reasonerFactory,
      int maxExplanations) {
    logger.debug("Explaining: " + axiom);
    ExplanationGeneratorFactory<OWLAxiom> genFac =
        ExplanationManager.createExplanationGeneratorFactory(reasonerFactory);
    ExplanationGenerator<OWLAxiom> gen = genFac.createExplanationGenerator(ontology);
    return gen.getExplanations(axiom, maxExplanations);
  }
public static Set < Explanation < OWLAxiom > > explain ( OWLAxiom axiom , OWLOntology ontology , OWLReasonerFactory reasonerFactory , int maxExplanations ) { logger . debug ( "Explaining: " + axiom ) ; ExplanationGeneratorFactory < OWLAxiom > genFac = ExplanationManager . createExplanationGeneratorFactory ( reasonerFactory ) ; ExplanationGenerator < OWLAxiom > gen = genFac . createExplanationGenerator ( ontology ) ; return gen . getExplanations ( axiom , maxExplanations ) ; }
Compute explanations for an entailed axiom.
Compute explanations for an entailed axiom .