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

Packages that use ExplanationTree

Package	Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
ExplanationTree	NullExplanationOrderer.getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
ExplanationTree	ExplanationOrdererImpl.getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
ExplanationTree	ExplanationOrderer.getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.
ExplanationTree	AlphaExplanationOrderer.getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)