public class NullExplanationOrderer extends java.lang.Object implements ExplanationOrderer
Constructor and Description |
---|
NullExplanationOrderer() |
Modifier and Type | Method and Description |
---|---|
ExplanationTree |
getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
Gets an ordered (and possibly indented) explanation.
|
public ExplanationTree getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
ExplanationOrderer
getOrderedExplanation
in interface ExplanationOrderer
entailment
- The axiom that represents the entailment that the explanation
being ordered is a justification for.axioms
- The axioms that constitute the unordered explanation