|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
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 |
---|
ReasonerProgressMonitor getProgressMonitor()
NullReasonerProgressMonitor
long getTimeOut()
Long.MAX_VALUE
.
UndeclaredEntityPolicy getUndeclaredEntityPolicy()
UndeclaredEntityPolicy.ALLOW
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |