Uses of Interface
org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy

Packages that use ContractionStrategy

Package	Description
org.semanticweb.owl.explanation.impl.blackbox
org.semanticweb.owl.explanation.impl.blackbox.checker
org.semanticweb.owl.explanation.impl.blackbox.nsp

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

Classes in org.semanticweb.owl.explanation.impl.blackbox that implement ContractionStrategy

Modifier and Type	Class and Description
class	DivideAndConquerContractionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-May-2009 This contraction strategy is based on Algorithm 2 presented in Baader and Suntisrivaraporn in "Debugging Snomed CT Using Axiom Pinpointing in the Description Logic EL+".
class	DynamicSlidingWindowContractionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 06-May-2009
class	InconsistentOntologyContractionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
class	ModularityContractionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 25-Sep-2008
class	OrderedAxiomWithWindowContractionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 27-Nov-2008
class	OrderedDivideAndConquerStrategy Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 13/01/2011
class	SimpleContractionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
class	SlidingWindowContractionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A contraction strategy that uses a sliding window to improve performance.

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

Modifier and Type	Method and Description
ContractionStrategy	Configuration.getContractionStrategy()

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

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)
Configuration(EntailmentCheckerFactory<E> checkerFactory, ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy, ExplanationProgressMonitor<E> progressMonitor)

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

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

Constructor and Description
DefaultBlackBoxConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy)

Uses of ContractionStrategy in org.semanticweb.owl.explanation.impl.blackbox.nsp

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

Constructor and Description
NonSimplePropertyConfiguration(ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy)