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

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

Constructors

Constructor and Description
ExplanationOrdererImpl(org.semanticweb.owlapi.model.OWLOntologyManager m)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplanationOrdererImpl

public ExplanationOrdererImpl(org.semanticweb.owlapi.model.OWLOntologyManager m)

Parameters:

m - the manager to use

Method Detail

getOrderedExplanation

public ExplanationTree getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment,
                                    Set<org.semanticweb.owlapi.model.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.

getAxiomsForLHS

protected Set<org.semanticweb.owlapi.model.OWLAxiom> getAxiomsForLHS(org.semanticweb.owlapi.model.OWLEntity lhs)

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(org.semanticweb.owlapi.model.OWLObject rhs,
                            org.semanticweb.owlapi.model.OWLAxiom axiom)