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

Packages that use EntailmentCheckerFactory

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.nsp
org.semanticweb.owl.explanation.impl.laconic
org.semanticweb.owl.explanation.impl.setree

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

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

Modifier and Type	Method and Description
static <E> ExplanationGeneratorFactory<E>	ExplanationManager.createExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)
static <E> ExplanationGeneratorFactory<E>	ExplanationManager.createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory)

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

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

Modifier and Type	Method and Description
EntailmentCheckerFactory<E>	Configuration.getCheckerFactory()

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

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

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

Classes in org.semanticweb.owl.explanation.impl.blackbox.checker that implement EntailmentCheckerFactory

Modifier and Type	Class and Description
class	ConsistencyEntailmentCheckerFactory Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
class	PatternBasedConsistencyEntailmentCheckerFactory Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012
class	SatisfiabilityEntailmentCheckerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

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

Classes in org.semanticweb.owl.explanation.impl.blackbox.nsp that implement EntailmentCheckerFactory

Modifier and Type	Class and Description
class	NSPEntailmentCheckerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

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

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

Constructor and Description
IsLaconicChecker(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory)
IsLaconicChecker(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, LaconicCheckerMode checkerMode)
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)

Uses of EntailmentCheckerFactory in org.semanticweb.owl.explanation.impl.setree

Constructors in org.semanticweb.owl.explanation.impl.setree with parameters of type EntailmentCheckerFactory

Constructor and Description
SETreeExplanationGenerator(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory, Set<? extends org.semanticweb.owlapi.model.OWLAxiom> workingAxioms)