Uses of Class
org.semanticweb.owl.explanation.api.Explanation

Packages that use Explanation

Package	Description
org.semanticweb.owl.explanation.api
org.semanticweb.owl.explanation.impl.blackbox
org.semanticweb.owl.explanation.impl.blackbox.hst
org.semanticweb.owl.explanation.impl.laconic
org.semanticweb.owl.explanation.impl.masking
org.semanticweb.owl.explanation.impl.setree

Uses of Explanation in org.semanticweb.owl.explanation.api

Methods in org.semanticweb.owl.explanation.api that return Explanation

Modifier and Type	Method and Description
static <E> Explanation<E>	Explanation.getEmptyExplanation(E entailment)
static Explanation<org.semanticweb.owlapi.model.OWLAxiom>	Explanation.load(InputStream is) Loads a previously stored explanation from the specified input stream

Methods in org.semanticweb.owl.explanation.api that return types with arguments of type Explanation

Modifier and Type	Method and Description
Set<Explanation<E>>	ExplanationGenerator.getExplanations(E entailment) Gets explanations for an entailment.
Set<Explanation<E>>	ExplanationGenerator.getExplanations(E entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.

Methods in org.semanticweb.owl.explanation.api with parameters of type Explanation

Modifier and Type	Method and Description
void	NullExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> eExplanation, Set<Explanation<E>> allFoundExplanations)
void	ExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> generator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations) Called by explanation generators that support progress monitors.
void	ConsoleExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allExplanations)
static void	Explanation.store(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation, OutputStream os) Stores the specified explanation to the specified output stream

Method parameters in org.semanticweb.owl.explanation.api with type arguments of type Explanation

Modifier and Type	Method and Description
void	NullExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> eExplanation, Set<Explanation<E>> allFoundExplanations)
void	ExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> generator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations) Called by explanation generators that support progress monitors.
void	ConsoleExplanationProgressMonitor.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allExplanations)

Constructors in org.semanticweb.owl.explanation.api with parameters of type Explanation

Constructor and Description
ExplanationTelemetryWrapper(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation)

Uses of Explanation in org.semanticweb.owl.explanation.impl.blackbox

Methods in org.semanticweb.owl.explanation.impl.blackbox that return Explanation

Modifier and Type	Method and Description
protected Explanation<E>	BlackBoxExplanationGenerator2.computeExplanation(E entailment) Computes a single justification for an entailment.
protected Explanation<E>	BlackBoxExplanationGenerator.computeExplanation(E entailment) Deprecated. Computes a single justification for an entailment.
Explanation<E>	BlackBoxExplanationGenerator2.generateExplanation(E entailment)

Methods in org.semanticweb.owl.explanation.impl.blackbox that return types with arguments of type Explanation

Modifier and Type	Method and Description
Set<Explanation<E>>	BlackBoxExplanationGenerator2.getExplanations(E entailment)
Set<Explanation<E>>	BlackBoxExplanationGenerator.getExplanations(E entailment) Deprecated.
Set<Explanation<E>>	BlackBoxExplanationGenerator2.getExplanations(E entailment, int limit)
Set<Explanation<E>>	BlackBoxExplanationGenerator.getExplanations(E entailment, int limit) Deprecated.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	PatternBasedEntailmentChecker.getSimpleExplanations()

Uses of Explanation in org.semanticweb.owl.explanation.impl.blackbox.hst

Methods in org.semanticweb.owl.explanation.impl.blackbox.hst that return Explanation

Modifier and Type	Method and Description
Explanation<E>	ExplanationGeneratorMediator.generateExplanation(E entailment)
Explanation<E>	HittingSetTreeNode.getExplanation()

Methods in org.semanticweb.owl.explanation.impl.blackbox.hst that return types with arguments of type Explanation

Modifier and Type	Method and Description
Set<Explanation<E>>	HittingSetTree.getExplanations()
List<Explanation<E>>	HittingSetTree.getSortedExplanations()

Methods in org.semanticweb.owl.explanation.impl.blackbox.hst with parameters of type Explanation

Modifier and Type	Method and Description
void	HittingSetTree.addExplanation(Explanation<E> explanation)
int	ExplanationComparator.compare(Explanation<E> o1, Explanation<E> o2)
int	ExplanationComparator.compare(Explanation<E> o1, Explanation<E> o2)

Constructors in org.semanticweb.owl.explanation.impl.blackbox.hst with parameters of type Explanation

Constructor and Description
HittingSetTreeNode(HittingSetTree<E> tree, Explanation<E> explanation)
HittingSetTreeNode(HittingSetTree<E> tree, org.semanticweb.owlapi.model.OWLAxiom parentEdgeLabel, HittingSetTreeNode<E> parentNode, Explanation<E> explanation, boolean reuse)

Uses of Explanation in org.semanticweb.owl.explanation.impl.laconic

Methods in org.semanticweb.owl.explanation.impl.laconic that return types with arguments of type Explanation

Modifier and Type	Method and Description
Set<Explanation<E>>	LaconicExplanationGenerator.computePreciseJusts(E entailment, int limit)
Set<Explanation<E>>	LaconicExplanationGenerator.computePreciseJustsOptimised(E entailment, int limit)
Set<Explanation<E>>	LaconicExplanationGenerator.getExplanations(E entailment)
Set<Explanation<E>>	LaconicExplanationGenerator.getExplanations(E entailment, int limit)
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnDeltaPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnDeltaPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
uk.ac.manchester.cs.owl.explanation.ordering.MutableTree<Explanation>	LaconicExplanationGenerator.getHst()
Set<Explanation<E>>	LaconicExplanationGenerator.getLastRegularJustifications()

Methods in org.semanticweb.owl.explanation.impl.laconic with parameters of type Explanation

Modifier and Type	Method and Description
void	LaconicExplanationGenerator.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations)
boolean	LaconicExplanationGenerator.isLaconic(Explanation<E> justification) Checks to see if a justification for a given entailment is laconic.
boolean	IsLaconicChecker.isLaconic(Explanation<org.semanticweb.owlapi.model.OWLAxiom> expl)

Method parameters in org.semanticweb.owl.explanation.impl.laconic with type arguments of type Explanation

Modifier and Type	Method and Description
void	LaconicExplanationGenerator.foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allFoundExplanations)

Uses of Explanation in org.semanticweb.owl.explanation.impl.masking

Methods in org.semanticweb.owl.explanation.impl.masking with parameters of type Explanation

Modifier and Type	Method and Description
boolean	MaskingDetectorDeltaImpl.isMaskingPresent(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation)
boolean	MaskingDetector.isMaskingPresent(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation)

Uses of Explanation in org.semanticweb.owl.explanation.impl.setree

Methods in org.semanticweb.owl.explanation.impl.setree that return types with arguments of type Explanation

Modifier and Type	Method and Description
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	SETreeExplanationGenerator.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	SETreeExplanationGenerator.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.