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

Packages that use ExplanationTree

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

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

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

class

EntailedAxiomTree Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008

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

ExplanationTree	NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.
ExplanationTree	DefaultExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
ExplanationTree	AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)