Uses of Interface
org.semanticweb.owl.explanation.api.ExplanationProgressMonitor

Packages that use ExplanationProgressMonitor

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

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

Classes in org.semanticweb.owl.explanation.api that implement ExplanationProgressMonitor

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.

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

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)

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

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

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)

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

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)

Uses of ExplanationProgressMonitor in org.semanticweb.owl.explanation.impl.blackbox.checker

Methods in org.semanticweb.owl.explanation.impl.blackbox.checker with parameters of type ExplanationProgressMonitor

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)

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

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

Modifier and Type	Method and Description
ExplanationProgressMonitor<E>	HittingSetTree.getProgressMonitor()

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

Constructor and Description
HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy, ExplanationProgressMonitor<E> progressMonitor)

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

Classes in org.semanticweb.owl.explanation.impl.laconic that implement ExplanationProgressMonitor

Modifier and Type	Class and Description
class	LaconicExplanationGenerator<E> Author: Matthew Horridge The University Of Manchester Information Management Group Date: 15-Sep-2008

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

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)

Constructors in org.semanticweb.owl.explanation.impl.laconic with parameters of type ExplanationProgressMonitor

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)