Uses of Interface
org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Packages that use OWLReasonerFactory

Package	Description
com.clarkparsia.owlapi.explanation	Explanation package.
com.clarkparsia.owlapi.modularity.locality	Locality package.
org.semanticweb.owlapi.debugging	Debugging package.
org.semanticweb.owlapi.modularity.locality
org.semanticweb.owlapi.profiles	Profile classes.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package.
org.semanticweb.owlapitools.decomposition

Uses of OWLReasonerFactory in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation that return OWLReasonerFactory

Modifier and Type	Method and Description
OWLReasonerFactory	SingleExplanationGeneratorImpl.getReasonerFactory()
OWLReasonerFactory	SingleExplanationGenerator.getReasonerFactory() Gets the reasoner factory.
OWLReasonerFactory	HSTExplanationGenerator.getReasonerFactory()

Constructors in com.clarkparsia.owlapi.explanation with parameters of type OWLReasonerFactory

Constructor and Description
BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new black box explanation.
BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner, int fastPruningWindowSize) Instantiates a new black box explanation.
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, ExplanationProgressMonitor progressMonitor) Instantiates a new default explanation generator.
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor) Instantiates a new default explanation generator.
SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new single explanation generator impl.

Uses of OWLReasonerFactory in com.clarkparsia.owlapi.modularity.locality

Constructors in com.clarkparsia.owlapi.modularity.locality with parameters of type OWLReasonerFactory

Constructor and Description
SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory) Instantiates a new semantic locality evaluator.

Uses of OWLReasonerFactory in org.semanticweb.owlapi.debugging

Constructors in org.semanticweb.owlapi.debugging with parameters of type OWLReasonerFactory

Constructor and Description
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory) Instantiates a new black box owl debugger.
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLReasonerFactory reasonerFactory, int fastPruningWindowSize) Instantiates a new black box owl debugger.

Uses of OWLReasonerFactory in org.semanticweb.owlapi.modularity.locality

Constructors in org.semanticweb.owlapi.modularity.locality with parameters of type OWLReasonerFactory

Constructor and Description
SemanticLocalityEvaluator(LocalityClass localityClass, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory) Instantiates a new SemanticLocalityEvaluator
SemanticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory) Instantiates a new SemanticLocalityEvaluator.

Uses of OWLReasonerFactory in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles that return OWLReasonerFactory

Modifier and Type	Method and Description
static OWLReasonerFactory	Profiles.instantiateFactory(String factoryClassName)

Uses of OWLReasonerFactory in org.semanticweb.owlapi.reasoner.structural

Classes in org.semanticweb.owlapi.reasoner.structural that implement OWLReasonerFactory

Modifier and Type	Class and Description
class	StructuralReasonerFactory

Uses of OWLReasonerFactory in org.semanticweb.owlapitools.decomposition

Constructors in org.semanticweb.owlapitools.decomposition with parameters of type OWLReasonerFactory

Constructor and Description
SemanticLocalityChecker(OWLReasonerFactory f, OWLOntologyManager m)