public class BlackBoxExplanationGenerator<E> extends Object implements ExplanationGenerator<E>
| Modifier and Type | Field and Description |
|---|---|
static Level |
LEVEL
Deprecated.
|
static Logger |
logger
Deprecated.
|
| 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.
|
| 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.
|
public static Logger logger
public static Level LEVEL
public BlackBoxExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentCheckerFactory<E> checkerFactory, ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy, ExplanationProgressMonitor<E> progressMonitor)
axioms - The ontologies that provide the source axioms for the explanationcheckerFactory - A factory that creates the appropriate entailment checkers for the
type of entailment being explained.expansionStrategy - The strategy used during the expansion phasecontractionStrategy - The strategy to be used during the contraction phaseprogressMonitor - A progress monitor - may be nullprotected void addPruningDifference(int diff)
public Set<Explanation<E>> getExplanations(E entailment) throws ExplanationException
ExplanationGeneratorgetExplanations in interface ExplanationGenerator<E>entailment - The entailment for which explanations will be generated.ExplanationException - if there was a problem generating the explanation.public Set<Explanation<E>> getExplanations(E entailment, int limit) throws ExplanationException
ExplanationGeneratorgetExplanations in interface ExplanationGenerator<E>entailment - The entailment for which explanations will be generated.limit - The maximum number of explanations to generate. This should be a positive integer.ExplanationException - if there was a problem generating the explanation.public Set<org.semanticweb.owlapi.model.OWLAxiom> getWorkingAxioms()
protected Explanation<E> computeExplanation(E entailment) throws org.semanticweb.owlapi.model.OWLException
entailment - The entailmentorg.semanticweb.owlapi.model.OWLExceptionprotected 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
org.semanticweb.owlapi.model.OWLOntologyCreationExceptionorg.semanticweb.owlapi.model.OWLOntologyChangeExceptionCopyright © 2014. All rights reserved.