uk.ac.manchester.cs.owl.explanation.ordering
Interfaces
ExplanationOrderer
Classes
AlphaExplanationOrderer
EntailedAxiomTree
ExplanationOrdererImpl
ExplanationTree
NullExplanationOrderer