@Deprecated public class DefaultExplanationOrderer extends java.lang.Object implements ExplanationOrderer
Constructor and Description |
---|
DefaultExplanationOrderer()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<OWLAxiom> |
getAxiomsForLHS(OWLEntity lhs)
Deprecated.
Gets axioms that have a LHS corresponding to the specified entity.
|
ExplanationTree |
getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
Deprecated.
Gets an ordered (and possibly indented) explanation.
|
protected void |
indexAxiomsByRHSEntities(OWLObject rhs,
OWLAxiom axiom)
Deprecated.
|
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 explanationprotected java.util.Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs)
lhs
- The entity that occurs on the left hand side of the axiom.