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 final class AlphaExplanationOrderer
extends Object
implements ExplanationOrderer

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

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 22-Jan-2008

Field Summary

Fields

Modifier and Type	Field and Description
protected OWLObjectRenderer	renderer

Constructor Summary

Constructors

Constructor and Description
AlphaExplanationOrderer(OWLObjectRenderer renderer)

Method Summary

Methods

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

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

Field Detail

renderer

protected final OWLObjectRenderer renderer

Constructor Detail

AlphaExplanationOrderer

public AlphaExplanationOrderer(OWLObjectRenderer renderer)

Parameters:

renderer - the renderer to use

Method Detail

getOrderedExplanation

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