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

Interface ExplanationOrderer

All Known Implementing Classes:

AlphaExplanationOrderer, ExplanationOrdererImpl, NullExplanationOrderer

public interface ExplanationOrderer

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method and Description
ExplanationTree	getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.

Method Detail

getOrderedExplanation

@Nonnull
ExplanationTree getOrderedExplanation(@Nonnull
                                               OWLAxiom entailment,
                                               @Nonnull
                                               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.