public interface OWLReasonerConfiguration extends Serializable
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. OWLReasonerFactory
,
SimpleConfiguration
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).
|
@Nonnull ReasonerProgressMonitor getProgressMonitor()
NullReasonerProgressMonitor
long getTimeOut()
Long.MAX_VALUE
then this means that the reasoner should never
time out. TimeOutException
will be thrown in the thread that invoked the last reasoner operation. Long.MAX_VALUE
, which means the reasoner SHOULD NOT
timeout.@Nonnull FreshEntityPolicy getFreshEntityPolicy()
FreshEntityPolicy.ALLOW
.@Nonnull 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.Copyright © 2020 The University of Manchester. All rights reserved.