Class AlphaExplanationOrderer

  extended by
All Implemented Interfaces:

public class AlphaExplanationOrderer
extends java.lang.Object
implements ExplanationOrderer

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

Orders an explanation in a flat list, sorting axioms alphabetically.

Constructor Summary
AlphaExplanationOrderer(OWLObjectRenderer renderer)
Method Summary
 ExplanationTree getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
          Gets an ordered (and possibly indented) explanation.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public AlphaExplanationOrderer(OWLObjectRenderer renderer)
Method Detail


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

Specified by:
getOrderedExplanation in interface ExplanationOrderer
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.