Uses of Interface
org.semanticweb.owl.inference.OWLReasonerFactory

Packages that use OWLReasonerFactory

com.clarkparsia.explanation
com.clarkparsia.modularity.locality
org.semanticweb.owl.inference
org.semanticweb.reasonerfactory
org.semanticweb.reasonerfactory.factpp
org.semanticweb.reasonerfactory.pellet

Uses of OWLReasonerFactory in com.clarkparsia.explanation

Methods in com.clarkparsia.explanation that return OWLReasonerFactory

OWLReasonerFactory	SingleExplanationGeneratorImpl.getReasonerFactory()
OWLReasonerFactory	SingleExplanationGenerator.getReasonerFactory() Returns the reasoner factory used to generate reasoners.
OWLReasonerFactory	HSTExplanationGenerator.getReasonerFactory()

Methods in com.clarkparsia.explanation with parameters of type OWLReasonerFactory

void	SingleExplanationGeneratorImpl.setReasonerFactory(OWLReasonerFactory reasonerFactory)
void	SingleExplanationGenerator.setReasonerFactory(OWLReasonerFactory reasonerFactory) Sets the reasoner factory that will be used to generate fresh reasoners.
void	HSTExplanationGenerator.setReasonerFactory(OWLReasonerFactory reasonerFactory)

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

DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, ExplanationProgressMonitor progressMonitor)

DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor)

Uses of OWLReasonerFactory in com.clarkparsia.modularity.locality

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

SemanticLocalityEvaluator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory)

Uses of OWLReasonerFactory in org.semanticweb.owl.inference

Classes in org.semanticweb.owl.inference that implement OWLReasonerFactory

class

NullReasonerFactory Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 A reasoner factory that creates instances of the NullReasoner.

Methods in org.semanticweb.owl.inference that return OWLReasonerFactory

OWLReasonerFactory	OWLReasonerManagerImpl.getReasonerFactory()
OWLReasonerFactory	OWLReasonerManager.getReasonerFactory() Gets the current reasoner factory.

Methods in org.semanticweb.owl.inference that return types with arguments of type OWLReasonerFactory

java.util.List<OWLReasonerFactory>	OWLReasonerManagerImpl.getRegisteredReasonerFactories()
java.util.List<OWLReasonerFactory>	OWLReasonerManager.getRegisteredReasonerFactories() Gets a list of currently registered reasoner factories.

Methods in org.semanticweb.owl.inference with parameters of type OWLReasonerFactory

void	OWLReasonerManagerImpl.registerReasonerFactory(OWLReasonerFactory factory)
void	OWLReasonerManager.registerReasonerFactory(OWLReasonerFactory factory) Registers (adds) a new reasoner factory.
void	OWLReasonerManagerImpl.setReasonerFactory(OWLReasonerFactory factory)
void	OWLReasonerManager.setReasonerFactory(OWLReasonerFactory factory) Sets the current reasoner factory.
void	OWLReasonerManagerImpl.unregisterReasonerFactory(OWLReasonerFactory factory)
void	OWLReasonerManager.unregisterReasonerFactory(OWLReasonerFactory factory) Unregisters (removes) a previously registerd reasoner factory.

Uses of OWLReasonerFactory in org.semanticweb.reasonerfactory

Constructors in org.semanticweb.reasonerfactory with parameters of type OWLReasonerFactory

OWLReasonerSetupException(OWLReasonerFactory factory, java.lang.Throwable cause)

Uses of OWLReasonerFactory in org.semanticweb.reasonerfactory.factpp

Classes in org.semanticweb.reasonerfactory.factpp that implement OWLReasonerFactory

class

FaCTPlusPlusReasonerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 08-Sep-2008

Uses of OWLReasonerFactory in org.semanticweb.reasonerfactory.pellet

Classes in org.semanticweb.reasonerfactory.pellet that implement OWLReasonerFactory

class

PelletReasonerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 08-Sep-2008 A reasoner factory for the pellet reasoner.