|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer
public class DefaultExplanationOrderer
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008
Constructor Summary | |
---|---|
DefaultExplanationOrderer()
|
Method Summary | |
---|---|
ExplanationTree |
getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
Gets an ordered (and possibly indented) explanation. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DefaultExplanationOrderer()
Method Detail |
---|
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |