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

Class ExplanationOrdererImplNoManager

java.lang.Object

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

All Implemented Interfaces:

ExplanationOrderer

Direct Known Subclasses:

ExplanationOrdererImpl

public class ExplanationOrdererImplNoManager
extends Object
implements ExplanationOrderer

Provides ordering and indenting of explanations based on various ordering heuristics.

Since:

2.2.0

Author:

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

Constructor Summary

Constructors

Constructor and Description
ExplanationOrdererImplNoManager() Instantiates a new explanation orderer impl.

Method Summary

Modifier and Type	Method and Description
ExplanationTree	getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> current) 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

ExplanationOrdererImplNoManager

public ExplanationOrdererImplNoManager()

Instantiates a new explanation orderer impl.

Method Detail

getOrderedExplanation

public ExplanationTree getOrderedExplanation(OWLAxiom entailment,
                                             Set<OWLAxiom> current)

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.

current - The axioms that constitute the unordered explanation

Returns:

An order explanation.