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

Interface ExplanationOrderer

All Known Implementing Classes:

AlphaExplanationOrderer, ExplanationOrdererImpl, NullExplanationOrderer

public interface ExplanationOrderer

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

Method Summary

Methods

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

Method Detail

getOrderedExplanation

ExplanationTree getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment,
                                    Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

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

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.