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

Class DefaultExplanationOrderer

java.lang.Object

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

All Implemented Interfaces:

ExplanationOrderer

Deprecated.

use ExplanationOrdererImpl instead - this class depends on OWLManager, while ExplanationOrdererImpl does not.

@Deprecated
public class DefaultExplanationOrderer
extends Object
implements ExplanationOrderer

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

Author:

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

Constructor Summary

Constructors

Constructor and Description
DefaultExplanationOrderer() Deprecated.

Method Summary

Methods

Modifier and Type	Method and Description
protected Set<OWLAxiom>	getAxiomsForLHS(OWLEntity lhs) Deprecated. Gets axioms that have a LHS corresponding to the specified entity.
ExplanationTree	getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms) Deprecated. Gets an ordered (and possibly indented) explanation.
protected void	indexAxiomsByRHSEntities(OWLObject rhs, OWLAxiom axiom) Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultExplanationOrderer

public DefaultExplanationOrderer()

Deprecated.

Method Detail

getOrderedExplanation

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

Deprecated.

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.

getAxiomsForLHS

protected Set<OWLAxiom> getAxiomsForLHS(OWLEntity lhs)

Deprecated.

Gets axioms that have a LHS corresponding to the specified entity.

Parameters:

lhs - The entity that occurs on the left hand side of the axiom.

Returns:

A set of axioms that have the specified entity as their left hand side.

indexAxiomsByRHSEntities

protected void indexAxiomsByRHSEntities(OWLObject rhs,
                            OWLAxiom axiom)

Deprecated.