org.semanticweb.owl.explanation.impl.blackbox

Class BlackBoxExplanationGenerator2<E>

java.lang.Object

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

All Implemented Interfaces:

ExplanationGenerator<E>, ExplanationGeneratorMediator<E>

public class BlackBoxExplanationGenerator2<E>
extends Object
implements ExplanationGenerator<E>, ExplanationGeneratorMediator<E>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected Explanation<E>	computeExplanation(E entailment) 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)
Explanation<E>	generateExplanation(E entailment)
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.
Set<org.semanticweb.owlapi.model.OWLAxiom>	getWorkingAxioms()
void	removeAxiom(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

BlackBoxExplanationGenerator2

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

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

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.

getWorkingAxioms

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

computeExplanation

protected Explanation<E> computeExplanation(E entailment)

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)

generateExplanation

public Explanation<E> generateExplanation(E entailment)

Specified by:

generateExplanation in interface ExplanationGeneratorMediator<E>

removeAxiom

public void removeAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

removeAxiom in interface ExplanationGeneratorMediator<E>

addAxiom

public void addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

addAxiom in interface ExplanationGeneratorMediator<E>