Package uk.ac.manchester.cs.owl.explanation.ordering

Interface Summary

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

Class Summary

Class	Description
AlphaExplanationOrderer	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.
EntailedAxiomTree	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008
ExplanationOrdererImpl	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 11-Jan-2008 Provides ordering and indenting of explanations based on various ordering heuristics.
ExplanationTree	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008
NullExplanationOrderer	Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 An implementation of an explanation order, which doesn't really do any ordering!