org.semanticweb.owlapi.reasoner.structural

Class StructuralReasonerFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

public class StructuralReasonerFactory
extends Object
implements OWLReasonerFactory

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
StructuralReasonerFactory()

Method Summary

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StructuralReasonerFactory

public StructuralReasonerFactory()

Method Detail

getReasonerName

@Nonnull
public String getReasonerName()

Description copied from interface: OWLReasonerFactory

Gets the name of the reasoner created by this factory.

Specified by:

getReasonerName in interface OWLReasonerFactory

Returns:

A string that represents the name of the reasoner created by this factory.

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(@Nonnull
                                              OWLOntology ontology)

Description copied from interface: OWLReasonerFactory

Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with 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).

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

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.

createReasoner

public OWLReasoner createReasoner(@Nonnull
                                  OWLOntology ontology)

Description copied from interface: OWLReasonerFactory

Creates a buffering reasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with 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).

Specified by:

createReasoner in interface OWLReasonerFactory

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.

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(@Nonnull
                                              OWLOntology ontology,
                                              @Nonnull
                                              OWLReasonerConfiguration config)

Description copied from interface: OWLReasonerFactory

Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with 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).

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

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.

createReasoner

public OWLReasoner createReasoner(@Nonnull
                                  OWLOntology ontology,
                                  @Nonnull
                                  OWLReasonerConfiguration config)

Description copied from interface: OWLReasonerFactory

Creates a buffering reasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with 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).

Specified by:

createReasoner in interface OWLReasonerFactory

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.