org.semanticweb.owlapi.reasoner
Interface OWLReasonerFactory


public interface OWLReasonerFactory

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009

An OWLReasonerFactory is a point for creating instances of OWLReasoner objects. A reasoner reasons over a set of ontologies that is defined by an ontology and its imports closure.

See Also:
OWLReasoner

Method Summary
 OWLReasoner createBufferedReasoner(OWLOntology ontology)
          Creates a BufferedOWLReasoner that reasons over the imports closure of the specified ontology.
 OWLReasoner createBufferedReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
          Creates a BufferedOWLReasoner that reasons over the imports closure of the specified ontology.
 OWLReasoner createReasoner(OWLOntology ontology)
          Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
 OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
          Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
 

Method Detail

createReasoner

OWLReasoner createReasoner(OWLOntology ontology)
Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the specified ontology manager. The reasoner will listen for ontology changes to the ontologies that it is reasoning over and will always answer queries with respect to the changed ontologies (see OWLReasoner for further details).

Parameters:
ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
Returns:
The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.
Throws:
java.lang.NullPointerException - if the manager or ontology are null.

createBufferedReasoner

OWLReasoner createBufferedReasoner(OWLOntology ontology)
Creates a BufferedOWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the specified ontology manager. The reasoner will listen for ontology changes to the ontologies it is reasoning over but will only answer queries with respect to the changed ontologies when the OWLReasoner.flush() method is called (see OWLReasoner for further details).

Parameters:
ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
Returns:
The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.
Throws:
java.lang.NullPointerException - if the manager or ontology are null.

createReasoner

OWLReasoner createReasoner(OWLOntology ontology,
                           OWLReasonerConfiguration config)
                           throws IllegalConfigurationException
Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the specified ontology manager. The reasoner will listen for ontology changes to the ontologies that it is reasoning over and will always answer queries with respect to the changed ontologies (see OWLReasoner for further details).

Parameters:
ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
config - A configuration object that can be used to customise the setup of the reasoner that will be created by calling this method.
Returns:
The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.
Throws:
IllegalConfigurationException - if the configuration object is inappropriate for reasoners created by this factory, or if there is an illegal setting on the configuration.
java.lang.NullPointerException - if any of manager, ontology or config are null.

createBufferedReasoner

OWLReasoner createBufferedReasoner(OWLOntology ontology,
                                   OWLReasonerConfiguration config)
                                   throws IllegalConfigurationException
Creates a BufferedOWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the specified ontology manager. The reasoner will listen for ontology changes to the ontologies it is reasoning over but will only answer queries with respect to the changed ontologies when the OWLReasoner.flush() method is called (see OWLReasoner for further details).

Parameters:
ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
config - A configuration object that can be used to customise the setup of the reasoner that will be created by calling this method.
Returns:
The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.
Throws:
IllegalConfigurationException - if the configuration object is inappropriate for reasoners created by this factory, or if there is an illegal setting on the configuration.
java.lang.NullPointerException - if any of manager, ontology or config are null.