Uses of Class
uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree

Packages that use ExplanationTree

Package	Description
uk.ac.manchester.cs.owl.explanation.ordering	Explanation ordering package.

Uses of ExplanationTree in uk.ac.manchester.cs.owl.explanation.ordering

Subclasses of ExplanationTree in uk.ac.manchester.cs.owl.explanation.ordering

Modifier and Type	Class and Description
class	EntailedAxiomTree

Methods in uk.ac.manchester.cs.owl.explanation.ordering that return ExplanationTree

Modifier and Type	Method and Description
ExplanationTree	NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrdererImplNoManager.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> current)
ExplanationTree	ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.
ExplanationTree	AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)