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

Class ExplanationOrdererImpl

java.lang.Object

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

All Implemented Interfaces:

ExplanationOrderer

public class ExplanationOrdererImpl
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
ExplanationOrdererImpl(OWLOntologyManager m) Instantiates a new explanation orderer impl.

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

ExplanationOrdererImpl

public ExplanationOrdererImpl(@Nonnull
                              OWLOntologyManager m)

Instantiates a new explanation orderer impl.

Parameters:

m - the manager to use

Method Detail

getOrderedExplanation

public ExplanationTree getOrderedExplanation(@Nonnull
                                             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.