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

Class AlphaExplanationOrderer

java.lang.Object

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

All Implemented Interfaces:

ExplanationOrderer

public class AlphaExplanationOrderer
extends Object
implements ExplanationOrderer

Orders an explanation in a flat list, sorting axioms alphabetically.

Since:

2.2.0

Author:

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

Constructor Summary

Constructors

Constructor and Description
AlphaExplanationOrderer(OWLObjectRenderer renderer) Instantiates a new alpha explanation orderer.

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlphaExplanationOrderer

public AlphaExplanationOrderer(@Nonnull
                               OWLObjectRenderer renderer)

Instantiates a new alpha explanation orderer.

Parameters:

renderer - the renderer to use

Method Detail

getOrderedExplanation

@Nonnull
public ExplanationTree getOrderedExplanation(OWLAxiom entailment,
                                                      @Nonnull
                                                      Set<OWLAxiom> axioms)

Description copied from interface: ExplanationOrderer

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

Specified by:

getOrderedExplanation in interface ExplanationOrderer

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.