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

Interface ExplanationOrderer

All Known Implementing Classes:

AlphaExplanationOrderer, ExplanationOrdererImpl, ExplanationOrdererImplNoManager, NullExplanationOrderer

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
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

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