public interface OWLReasonerFactory
OWLReasoner
objects. A reasoner
reasons over a set of ontologies that is defined by an ontology and its
imports closure.OWLReasoner
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.
|
String |
getReasonerName()
Gets the name of the reasoner created by this factory.
|
@Nonnull String getReasonerName()
@Nonnull OWLReasoner createNonBufferingReasoner(@Nonnull OWLOntology ontology)
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).ontology
- The ontology whose imports closure will be reasoned over by the
reasoner that is created.NullPointerException
- if the manager
or ontology
are null
.@Nonnull OWLReasoner createReasoner(@Nonnull OWLOntology ontology)
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).ontology
- The ontology whose imports closure will be reasoned over by the
reasoner that is created.NullPointerException
- if the manager
or ontology
are null
.@Nonnull OWLReasoner createNonBufferingReasoner(@Nonnull OWLOntology ontology, @Nonnull OWLReasonerConfiguration config)
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).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.NullPointerException
- if any of manager
, ontology
or config
are
null
.@Nonnull OWLReasoner createReasoner(@Nonnull OWLOntology ontology, @Nonnull OWLReasonerConfiguration config)
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).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.NullPointerException
- if any of manager
, ontology
or config
are
null
.Copyright © 2020 The University of Manchester. All rights reserved.