|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory
public class StructuralReasonerFactory
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Jan-2010
Constructor Summary | |
---|---|
StructuralReasonerFactory()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StructuralReasonerFactory()
Method Detail |
---|
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.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |