| 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
|
| 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.
|
| 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
|
| 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) |
| Constructor and Description |
|---|
ExplanationTelemetryWrapper(Explanation<org.semanticweb.owlapi.model.OWLAxiom> 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) |
| 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() |
| Modifier and Type | Method and Description |
|---|---|
Explanation<E> |
ExplanationGeneratorMediator.generateExplanation(E entailment) |
Explanation<E> |
HittingSetTreeNode.getExplanation() |
| Modifier and Type | Method and Description |
|---|---|
Set<Explanation<E>> |
HittingSetTree.getExplanations() |
List<Explanation<E>> |
HittingSetTree.getSortedExplanations() |
| 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) |
| 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) |
| 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.bhig.util.MutableTree<Explanation> |
LaconicExplanationGenerator.getHst() |
Set<Explanation<E>> |
LaconicExplanationGenerator.getLastRegularJustifications() |
| 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) |
| Modifier and Type | Method and Description |
|---|---|
void |
LaconicExplanationGenerator.foundExplanation(ExplanationGenerator<E> explanationGenerator,
Explanation<E> explanation,
Set<Explanation<E>> allFoundExplanations) |
| 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) |
| 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.
|
Copyright © 2014. All rights reserved.