Interface ExplanationOrderer

All Known Implementing Classes:
AlphaExplanationOrderer, DefaultExplanationOrderer, NullExplanationOrderer

public interface ExplanationOrderer

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008

Method Summary
 ExplanationTree getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
          Gets an ordered (and possibly indented) explanation.

Method Detail


ExplanationTree getOrderedExplanation(OWLAxiom entailment,
                                      java.util.Set<OWLAxiom> axioms)
Gets an ordered (and possibly indented) explanation. The orderer really provides some kind of "presentation" layer to make an explanation easier to read.

entailment - The axiom that represents the entailment that the explanation being ordered is a justification for.
axioms - The axioms that constitute the unordered explanation
An order explanation.