Interface | Description |
---|---|
ExplanationOrderer |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 11-Jan-2008 |
Class | Description |
---|---|
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. |
DefaultExplanationOrderer | Deprecated
use ExplanationOrdererImpl instead - this class depends on
OWLManager, while ExplanationOrdererImpl does not.
|
EntailedAxiomTree |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 |
ExplanationOrdererImpl |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 11-Jan-2008 Provides ordering and indenting of explanations based on various ordering heuristics. |
ExplanationTree |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 |
NullExplanationOrderer |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 22-Jan-2008 An implementation of an explanation order, which doesn't really do any ordering! |