org.semanticweb.owl.explanation.impl.laconic

Class LaconicExplanationGenerator<E>

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator<E>

All Implemented Interfaces:

ExplanationGenerator<E>, ExplanationProgressMonitor<E>

public class LaconicExplanationGenerator<E>
extends Object
implements ExplanationGenerator<E>, ExplanationProgressMonitor<E>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

Constructor Summary

Constructors

Constructor and Description
LaconicExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, ExplanationGeneratorFactory<E> explanationGeneratorFactory, ExplanationProgressMonitor<E> progressMonitor)

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	computeOPlus(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
Set<Explanation<E>>	computePreciseJusts(E entailment, int limit)
Set<Explanation<E>>	computePreciseJustsOptimised(E entailment, int limit)
void	foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations) Called by explanation generators that support progress monitors.
Set<Explanation<E>>	getExplanations(E entailment) Gets explanations for an entailment.
Set<Explanation<E>>	getExplanations(E entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
uk.ac.manchester.cs.bhig.util.MutableTree<Explanation>	getHst()
Set<Explanation<E>>	getLastRegularJustifications()
List<Integer>	getPruningDifferences()
boolean	isCancelled() Determines if the process of finding laconic justifications is cancelled.
boolean	isLaconic(Explanation<E> justification) Checks to see if a justification for a given entailment is laconic.

Methods inherited from class java.lang.Object

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

Constructor Detail

LaconicExplanationGenerator

public LaconicExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
                           ExplanationGeneratorFactory<E> explanationGeneratorFactory,
                           ExplanationProgressMonitor<E> progressMonitor)

Method Detail

computeOPlus

public Set<org.semanticweb.owlapi.model.OWLAxiom> computeOPlus(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

getPruningDifferences

public List<Integer> getPruningDifferences()

getHst

public uk.ac.manchester.cs.bhig.util.MutableTree<Explanation> getHst()

computePreciseJusts

public Set<Explanation<E>> computePreciseJusts(E entailment,
                                      int limit)
                                        throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException

getLastRegularJustifications

public Set<Explanation<E>> getLastRegularJustifications()

foundExplanation

public void foundExplanation(ExplanationGenerator<E> explanationGenerator,
                    Explanation<E> explanation,
                    Set<Explanation<E>> allFoundExplanations)

Description copied from interface: ExplanationProgressMonitor

Called by explanation generators that support progress monitors. This is called when a new explanation is found for an entailment when searching for multiple explanations.

Specified by:

foundExplanation in interface ExplanationProgressMonitor<E>

Parameters:

explanationGenerator - The explanation generator that found the explanation

explanation - The explanation that was found for the entailment or false if the explanation generator should stop finding explanations at the next opportunity.

allFoundExplanations - All of the explanations found so far for the specified entailment

isCancelled

public boolean isCancelled()

Determines if the process of finding laconic justifications is cancelled. This is called by our delegate and by us as a check to see if we can break out. We don't have to continue finding laconic justifications if we have found enough justifications up to the limit.

Specified by:

isCancelled in interface ExplanationProgressMonitor<E>

Returns:

true if cancelled or false if not cancelled

computePreciseJustsOptimised

public Set<Explanation<E>> computePreciseJustsOptimised(E entailment,
                                               int limit)
                                                 throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException

isLaconic

public boolean isLaconic(Explanation<E> justification)
                  throws ExplanationException

Checks to see if a justification for a given entailment is laconic.

Parameters:

justification - The justification to be checked

Returns:

true if the justification is laconic, otherwise false

Throws:

ExplanationException - If there was a problem. The details of this are implementation specific.

getExplanations

public Set<Explanation<E>> getExplanations(E entailment)
                                    throws ExplanationException

Description copied from interface: ExplanationGenerator

Gets explanations for an entailment. All explanations for the entailment will be returned.

Specified by:

getExplanations in interface ExplanationGenerator<E>

Parameters:

entailment - The entailment for which explanations will be generated.

Returns:

A set containing all of the explanations. The set will be empty if the entailment does not hold.

Throws:

ExplanationException - if there was a problem generating the explanation.

getExplanations

public Set<Explanation<E>> getExplanations(E entailment,
                                  int limit)
                                    throws ExplanationException

Description copied from interface: ExplanationGenerator

Gets explanations for an entailment, with limit on the number of explanations returned.

Specified by:

getExplanations in interface ExplanationGenerator<E>

Parameters:

entailment - The entailment for which explanations will be generated.

limit - The maximum number of explanations to generate. This should be a positive integer.

Returns:

A set containing explanations. The maximum cardinality of the set is specified by the limit parameter. The set may be empty if the entailment does not hold, or if a limit of zero or less is supplied.

Throws:

ExplanationException - if there was a problem generating the explanation.