org.semanticweb.owlapi.reasoner
Interface OWLReasonerConfiguration

All Known Implementing Classes:
SimpleConfiguration

public interface OWLReasonerConfiguration

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009

An OWLReasonerConfiguration can be used to customise the setup of a reasoner at reasoner creation time via an OWLReasonerFactory. Specific reasoners may define their own configuration objects with configuration options particular to the reasoner. There are also a set of general options defined by this configuration object.

Note that once a reasoner has been created, changing fields (via setter methods or directly) on the configuration object will have no effect.

See Also:
org.semanticweb.owlapi.reasoner.OWLReasonerFactory}

Method Summary
 ReasonerProgressMonitor getProgressMonitor()
          Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process.
 long getTimeOut()
          Gets the timeout for basic reasoner operations (satisfiability check time out).
 UndeclaredEntityPolicy getUndeclaredEntityPolicy()
          Gets the undeclared entity policy that should be used.
 

Method Detail

getProgressMonitor

ReasonerProgressMonitor getProgressMonitor()
Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process.

Returns:
A progress monitor. By default this returns NullReasonerProgressMonitor

getTimeOut

long getTimeOut()
Gets the timeout for basic reasoner operations (satisfiability check time out). By default this is set to the value of Long.MAX_VALUE.

Returns:
The time out.

getUndeclaredEntityPolicy

UndeclaredEntityPolicy getUndeclaredEntityPolicy()
Gets the undeclared entity policy that should be used. By default this is set to UndeclaredEntityPolicy.ALLOW.

Returns:
The undeclared entity policy.