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

Interfaces  ExplanationOrderer

Classes  AlphaExplanationOrderer DefaultExplanationOrderer EntailedAxiomTree ExplanationTree NullExplanationOrderer