|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
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 |
---|
OWLReasoner createReasoner(OWLOntology ontology)
OWLReasoner
for further details).
ontology
- The ontology whose imports closure will be reasoned over by the reasoner that is created.
java.lang.NullPointerException
- if the manager
or ontology
are null
.OWLReasoner createBufferedReasoner(OWLOntology ontology)
OWLReasoner.flush()
method is called
(see OWLReasoner
for further details).
ontology
- The ontology whose imports closure will be reasoned over by the reasoner that is created.
java.lang.NullPointerException
- if the manager
or ontology
are null
.OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
OWLReasoner
for further details).
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.
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
.OWLReasoner createBufferedReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
OWLReasoner.flush()
method is called
(see OWLReasoner
for further details).
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.
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
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |