public class ExplanationOrdererImpl extends java.lang.Object implements ExplanationOrderer
Constructor and Description |
---|
ExplanationOrdererImpl(OWLOntologyManager m) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<OWLAxiom> |
getAxiomsForLHS(OWLEntity lhs)
Gets axioms that have a LHS corresponding to the specified entity.
|
ExplanationTree |
getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
Gets an ordered (and possibly indented) explanation.
|
protected void |
indexAxiomsByRHSEntities(OWLObject rhs,
OWLAxiom axiom) |
public ExplanationOrdererImpl(OWLOntologyManager m)
m
- the manager to usepublic 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.