uk.ac.manchester.cs.owl.explanation.ordering
Interface ExplanationOrderer

All Known Implementing Classes:

AlphaExplanationOrderer, DefaultExplanationOrderer, NullExplanationOrderer

public interface ExplanationOrderer

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

Method Summary

ExplanationTree

getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.

Method Detail

getOrderedExplanation

ExplanationTree getOrderedExplanation(OWLAxiom entailment,
                                      java.util.Set<OWLAxiom> axioms)

Gets an ordered (and possibly indented) explanation. The orderer really provides some kind of "presentation" layer to make an explanation easier to read.

Parameters:

entailment - The axiom that represents the entailment that the explanation being ordered is a justification for.

axioms - The axioms that constitute the unordered explanation

Returns:

An order explanation.