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

java.lang.Object
  uk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer

All Implemented Interfaces:

ExplanationOrderer

public class DefaultExplanationOrderer
extends java.lang.Object
implements ExplanationOrderer

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008

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

Constructor Summary

DefaultExplanationOrderer()

Method Summary

ExplanationTree

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

DefaultExplanationOrderer

public DefaultExplanationOrderer()

Method Detail

getOrderedExplanation

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