public interface OWLReasonerConfiguration
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.
Modifier and Type | Method and Description |
---|---|
FreshEntityPolicy |
getFreshEntityPolicy()
Gets the fresh entity policy that should be used.
|
IndividualNodeSetPolicy |
getIndividualNodeSetPolicy()
Gets the
IndividualNodeSetPolicy which determines how NodeSet s
of named individuals are returned from the reasoner. |
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 in milliseconds for basic single reasoner operations (satisfiability check time out).
|
ReasonerProgressMonitor getProgressMonitor()
NullReasonerProgressMonitor
long getTimeOut()
Long.MAX_VALUE
then this means that the reasoner should never time out.
The reasoner will monitor the elapsed time during a satisfiability check (attempt to build a model for example)
and if the elapsed time exceeds the timeout then it will abort the test as soon as possible and terminate
all reasoning. A TimeOutException
will be thrown in the thread that
invoked the last reasoner operation.
Note that this is not a timeout for method calls such as "getSubClasses", which may involve many satisfiability
(or other basic reasoning task) checks, the sum of which may well exceed the timeout.Long.MAX_VALUE
, which means the reasoner SHOULD NOT timeout.FreshEntityPolicy getFreshEntityPolicy()
FreshEntityPolicy.ALLOW
.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
IndividualNodeSetPolicy
which determines how NodeSet
s
of named individuals are returned from the reasoner.IndividualNodeSetPolicy
that should be used. By default the policy is
IndividualNodeSetPolicy.BY_NAME
i.e. by default individuals that are
the same as each other are not grouped into the same node within a node set.