public class StructuralReasonerFactory extends java.lang.Object implements OWLReasonerFactory
Constructor and Description |
---|
StructuralReasonerFactory() |
Modifier and Type | Method and Description |
---|---|
OWLReasoner |
createNonBufferingReasoner(OWLOntology ontology)
Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
|
OWLReasoner |
createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
|
OWLReasoner |
createReasoner(OWLOntology ontology)
Creates a buffering reasoner that reasons over the imports closure of the specified ontology.
|
OWLReasoner |
createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates a buffering reasoner that reasons over the imports closure of the specified ontology.
|
java.lang.String |
getReasonerName()
Gets the name of the reasoner created by this factory.
|
public java.lang.String getReasonerName()
OWLReasonerFactory
getReasonerName
in interface OWLReasonerFactory
public OWLReasoner createNonBufferingReasoner(OWLOntology ontology)
OWLReasonerFactory
ontology
. 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).createNonBufferingReasoner
in interface OWLReasonerFactory
ontology
- The ontology whose imports closure will be reasoned over by the reasoner that is created.public OWLReasoner createReasoner(OWLOntology ontology)
OWLReasonerFactory
ontology
. 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).createReasoner
in interface OWLReasonerFactory
ontology
- The ontology whose imports closure will be reasoned over by the reasoner that is created.public OWLReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
OWLReasonerFactory
ontology
. 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).createNonBufferingReasoner
in interface OWLReasonerFactory
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.public OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
OWLReasonerFactory
ontology
. 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).createReasoner
in interface OWLReasonerFactory
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.