|
|||||||||
| 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.AlphaExplanationOrderer
public class AlphaExplanationOrderer
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008
Orders an explanation in a flat list, sorting axioms
alphabetically.
| Constructor Summary | |
|---|---|
AlphaExplanationOrderer(OWLObjectRenderer renderer)
|
|
| 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 AlphaExplanationOrderer(OWLObjectRenderer renderer)
| Method Detail |
|---|
public ExplanationTree getOrderedExplanation(OWLAxiom entailment,
java.util.Set<OWLAxiom> axioms)
ExplanationOrderer
getOrderedExplanation in interface ExplanationOrdererentailment - 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 | ||||||||