| Modifier and Type | Class and Description |
|---|---|
class |
ConsoleExplanationProgressMonitor<E>
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 28-Nov-2008 |
class |
NullExplanationProgressMonitor<E>
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 28-Nov-2008 A progress monitor that does nothing and specifies that the explanation generator should continue finding explanations. |
| Modifier and Type | Method and Description |
|---|---|
ExplanationGenerator<E> |
ExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology,
ExplanationProgressMonitor<E> progressMonitor)
Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports
closure.
|
ExplanationGenerator<E> |
ExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
ExplanationProgressMonitor<E> progressMonitor)
Creates an explanation generator that generates explanations for entailments that hold over the specified set
of axioms
|
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> |
ExplanationManager.createExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor)
Creates an explanation generator factory that will produce explanation generators that generate explanations
as to why an checker is entailed by a set of axioms.
|
static ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> |
ExplanationManager.createLaconicExplanationGeneratorFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
| Modifier and Type | Method and Description |
|---|---|
Set<org.semanticweb.owlapi.model.OWLAxiom> |
StructuralTypePriorityExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
StructuralExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
SimpleExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
InconsistentOntologyExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
InconsistentOntologyClashExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
ExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor)
Given an input set of axioms, returns a subset of axioms in which the entailment holds, or the empty set
if the entailment does not hold in the input set.
|
Set<org.semanticweb.owlapi.model.OWLAxiom> |
AllInOneExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
SlidingWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
SimpleContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
OrderedDivideAndConquerStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
OrderedAxiomWithWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
ModularityContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
InconsistentOntologyContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
DynamicSlidingWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
DivideAndConquerContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
ContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
List<org.semanticweb.owlapi.model.OWLAxiom> |
DivideAndConquerContractionStrategy.extract(List<org.semanticweb.owlapi.model.OWLAxiom> listS,
List<org.semanticweb.owlapi.model.OWLAxiom> listO,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
| 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.
|
BlackBoxExplanationGenerator2(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy,
ExplanationProgressMonitor<E> progressMonitor)
Constructs a blackbox explanation generator.
|
Configuration(EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy,
ExplanationProgressMonitor<E> progressMonitor) |
Configuration(EntailmentCheckerFactory<E> checkerFactory,
ExplanationProgressMonitor<E> progressMonitor) |
| Modifier and Type | Method and Description |
|---|---|
ExplanationGenerator<E> |
BlackBoxExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology,
ExplanationProgressMonitor<E> progressMonitor) |
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> |
InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
ExplanationGenerator<E> |
BlackBoxExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
ExplanationProgressMonitor<E> progressMonitor) |
ExplanationGenerator<org.semanticweb.owlapi.model.OWLAxiom> |
InconsistentOntologyExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
| Modifier and Type | Method and Description |
|---|---|
ExplanationProgressMonitor<E> |
HittingSetTree.getProgressMonitor() |
| Constructor and Description |
|---|
HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy,
ExplanationProgressMonitor<E> progressMonitor) |
| Modifier and Type | Class and Description |
|---|---|
class |
LaconicExplanationGenerator<E>
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 15-Sep-2008 |
| Modifier and Type | Method and Description |
|---|---|
ExplanationGenerator<E> |
LaconicExplanationGeneratorFactory.createExplanationGenerator(org.semanticweb.owlapi.model.OWLOntology ontology,
ExplanationProgressMonitor<E> progressMonitor) |
ExplanationGenerator<E> |
LaconicExplanationGeneratorFactory.createExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
ExplanationProgressMonitor<E> progressMonitor) |
| Constructor and Description |
|---|
LaconicExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
ExplanationGeneratorFactory<E> explanationGeneratorFactory,
ExplanationProgressMonitor<E> progressMonitor) |
LaconicExplanationGeneratorBasedOnDeltaPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering(Set<org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> cf,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegate,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnOPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor,
OPlusSplitting spiltting,
ModularityTreatment inputType) |
Copyright © 2014. All rights reserved.