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

Packages that use ExpansionStrategy

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

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

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

Modifier and Type	Class and Description
class	AllInOneExpansionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 18-Sep-2008 An expansion strategy used for testing.
class	InconsistentOntologyClashExpansionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-May-2009
class	InconsistentOntologyExpansionStrategy Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
class	SimpleExpansionStrategy<E> Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A very simple (inefficient, so used mainly for testing purposes) expansion strategy.
class	StructuralExpansionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
class	StructuralTypePriorityExpansionStrategy Author: Matthew Horridge The University Of Manchester Information Management Group Date: 16-Sep-2008

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

Modifier and Type	Method and Description
ExpansionStrategy	Configuration.getExpansionStrategy()

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

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 ExpansionStrategy in org.semanticweb.owl.explanation.impl.blackbox.checker

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

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

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

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

Constructor and Description
NonSimplePropertyConfiguration(ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy)