Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package uk.ac.manchester.cs.owl.explanation.ordering

Interface Summary
ExplanationOrderer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008
 

Class Summary
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 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.
EntailedAxiomTree Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008
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!
 

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES