org.semanticweb.owl.inference
Interface OWLReasonerBase

All Known Subinterfaces:

MonitorableOWLReasoner, OWLClassReasoner, OWLConsistencyChecker, OWLIndividualReasoner, OWLPropertyReasoner, OWLReasoner, OWLSatisfiabilityChecker

All Known Implementing Classes:

DIGReasoner, MonitorableOWLReasonerAdapter, OWLReasonerAdapter, OWLReasonerMediator, ToldClassHierarchyReasoner

public interface OWLReasonerBase

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

The base interface for OWL reasoner. This interface allows the ontology that should be reasoned over to be set.

Method Summary

void	classify() Asks the reasoner to classify the ontology.
void	clearOntologies() Clears the reasoner.
void	dispose() Disposes of and cleans up any resources used by this reasoner.
java.util.Set<OWLOntology>	getLoadedOntologies() Gets the ontologies that have been loaded into this reasoner.
boolean	isClassified() Determines if the reasoner has classified the ontology.
boolean	isDefined(OWLClass cls) Determines if the specified class is defined in the reasoner.
boolean	isDefined(OWLDataProperty prop) Determines if the specified property is defined in the reasoner.
boolean	isDefined(OWLIndividual ind) Determines if the specified individual is defined in the reasoner.
boolean	isDefined(OWLObjectProperty prop) Determines if the specified property is defined in the reasoner.
boolean	isRealised() Determines if the types of individuals have been computed by this reasoner (if supported).
void	loadOntologies(java.util.Set<OWLOntology> ontologies) Loads the specified ontologies.
void	realise() Asks the reasoner to compute the types of individuals (if supported).
void	unloadOntologies(java.util.Set<OWLOntology> ontologies) Unloads the specified ontologies from this reasoner.

Method Detail

loadOntologies

void loadOntologies(java.util.Set<OWLOntology> ontologies)
                    throws OWLReasonerException

Loads the specified ontologies. The reasoner will then take into consideration the logical axioms in each ontology. Note that this methods does not load any ontologies in the imports closure - all imports must be loaded explicitly.

Parameters:

ontologies - The ontolgies to be loaded.

Throws:

OWLReasonerException

isClassified

boolean isClassified()
                     throws OWLReasonerException

Determines if the reasoner has classified the ontology.

Returns:

true if the ontology has been classified, or false if the ontology has not been classified.

Throws:

OWLReasonerException

classify

void classify()
              throws OWLReasonerException

Asks the reasoner to classify the ontology. If the ontology has been classified then this method may not have any effect.

Throws:

OWLReasonerException

isRealised

boolean isRealised()
                   throws OWLReasonerException

Determines if the types of individuals have been computed by this reasoner (if supported).

Returns:

true is the types of individuals have been computed, otherwise false.

Throws:

OWLReasonerException

realise

void realise()
             throws OWLReasonerException

Asks the reasoner to compute the types of individuals (if supported). If realisation is not supported then this method will have no effect.

Throws:

OWLReasonerException

isDefined

boolean isDefined(OWLClass cls)
                  throws OWLReasonerException

Determines if the specified class is defined in the reasoner. If a class is defined then the reasoner "knows" about it, if a class is not defined then the reasoner doesn't know about it.

Parameters:

cls - The class to check for.

Returns:

true if the class is defined in the reasoner, or false if the class is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

boolean isDefined(OWLObjectProperty prop)
                  throws OWLReasonerException

Determines if the specified property is defined in the reasoner. If a property is defined then the reasoner "knows" about it, if a property is not defined then the reasoner doesn't know about it.

Parameters:

prop - The property to check for.

Returns:

true if the property is defined in the reasoner, or false if the property is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

boolean isDefined(OWLDataProperty prop)
                  throws OWLReasonerException

Determines if the specified property is defined in the reasoner. If a property is defined then the reasoner "knows" about it, if a property is not defined then the reasoner doesn't know about it.

Parameters:

prop - The property to check for.

Returns:

true if the property is defined in the reasoner, or false if the property is not defined in the reasoner.

Throws:

OWLReasonerException

isDefined

boolean isDefined(OWLIndividual ind)
                  throws OWLReasonerException

Determines if the specified individual is defined in the reasoner. If an individual is defined then the reasoner "knows" about it, if a individual is not defined then the reasoner doesn't know about it.

Parameters:

ind - The individual to check for.

Returns:

true if the individual is defined in the reasoner, or false if the individual is not defined in the reasoner.

Throws:

OWLReasonerException

getLoadedOntologies

java.util.Set<OWLOntology> getLoadedOntologies()

Gets the ontologies that have been loaded into this reasoner.

unloadOntologies

void unloadOntologies(java.util.Set<OWLOntology> ontologies)
                      throws OWLReasonerException

Unloads the specified ontologies from this reasoner.

Parameters:

ontologies - The ontologies to be unloaded.

Throws:

OWLReasonerException

clearOntologies

void clearOntologies()
                     throws OWLReasonerException

Clears the reasoner. All loaded ontologies will be unloaded.

Throws:

OWLReasonerException

dispose

void dispose()
             throws OWLReasonerException

Disposes of and cleans up any resources used by this reasoner.

Throws:

OWLReasonerException