public Set < Explanation < OWLAxiom > > getExplanations ( OWLAxiom entailment ) throws ExplanationException { return getExplanations ( entailment , Integer . MAX_VALUE ) ; }
Gets explanations for an entailment . All explanations for the entailment will be returned .