org.semanticweb.owl.explanation.impl.blackbox

Class BlackBoxExplanationGenerator<E>

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator<E>

All Implemented Interfaces:

ExplanationGenerator<E>

Deprecated.

Use BlackBoxExplanationGenerator2

public class BlackBoxExplanationGenerator<E>
extends Object
implements ExplanationGenerator<E>

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

An explanation generator that uses black box techniques to compute explanations. The generation technique consists of two phases: first and expansion phase, and then a contraction phase. These phases are implemented as plugin strategies.

Field Summary

Fields

Modifier and Type	Field and Description
static Level	LEVEL Deprecated.
static Logger	logger Deprecated.

Constructor Summary

Constructors

Constructor and Description
BlackBoxExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentCheckerFactory<E> checkerFactory, ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy, ExplanationProgressMonitor<E> progressMonitor) Deprecated. Constructs a blackbox explanation generator.

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addPruningDifference(int diff) Deprecated.
protected Explanation<E>	computeExplanation(E entailment) Deprecated. Computes a single justification for an entailment.
protected Set<org.semanticweb.owlapi.model.OWLAxiom>	extractModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker<E> checker) Deprecated.
Set<Explanation<E>>	getExplanations(E entailment) Deprecated. Gets explanations for an entailment.
Set<Explanation<E>>	getExplanations(E entailment, int limit) Deprecated. Gets explanations for an entailment, with limit on the number of explanations returned.
List<Integer>	getPruningDifferences() Deprecated.
Set<org.semanticweb.owlapi.model.OWLAxiom>	getWorkingAxioms() Deprecated.

Methods inherited from class java.lang.Object

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

Field Detail

logger

public static Logger logger

Deprecated.

LEVEL

public static Level LEVEL

Deprecated.

Constructor Detail

BlackBoxExplanationGenerator

public BlackBoxExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
                            EntailmentCheckerFactory<E> checkerFactory,
                            ExpansionStrategy expansionStrategy,
                            ContractionStrategy contractionStrategy,
                            ExplanationProgressMonitor<E> progressMonitor)

Deprecated.

Constructs a blackbox explanation generator.

Parameters:

axioms - The ontologies that provide the source axioms for the explanation

checkerFactory - A factory that creates the appropriate entailment checkers for the type of entailment being explained.

expansionStrategy - The strategy used during the expansion phase

contractionStrategy - The strategy to be used during the contraction phase

progressMonitor - A progress monitor - may be null

Method Detail

addPruningDifference

protected void addPruningDifference(int diff)

Deprecated.

getPruningDifferences

public List<Integer> getPruningDifferences()

Deprecated.

getExplanations

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

Deprecated.

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

Deprecated.

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.

getWorkingAxioms

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

Deprecated.

computeExplanation

protected Explanation<E> computeExplanation(E entailment)
                                     throws org.semanticweb.owlapi.model.OWLException

Deprecated.

Computes a single justification for an entailment.

Parameters:

entailment - The entailment

Returns:

The justification or an empty set if the entailment does not hold.

Throws:

org.semanticweb.owlapi.model.OWLException

extractModule

protected Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
                                                       EntailmentChecker<E> checker)
                                                            throws org.semanticweb.owlapi.model.OWLOntologyCreationException,
                                                                   org.semanticweb.owlapi.model.OWLOntologyChangeException

Deprecated.

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException

org.semanticweb.owlapi.model.OWLOntologyChangeException