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

Interface Summary

Interface	Description
ExplanationOrderer

Class Summary

Class	Description
AlphaExplanationOrderer	Orders an explanation in a flat list, sorting axioms alphabetically.
EntailedAxiomTree
ExplanationOrdererImpl	Provides ordering and indenting of explanations based on various ordering heuristics.
ExplanationTree
NullExplanationOrderer	An implementation of an explanation order, which doesn't really do any ordering!