public class SimpleConfiguration extends Object implements OWLReasonerConfiguration
Constructor and Description |
---|
SimpleConfiguration()
default constructor
|
SimpleConfiguration(FreshEntityPolicy freshEntityPolicy,
long timeOut) |
SimpleConfiguration(long timeOut) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
FreshEntityPolicy freshEntityPolicy,
long timeOut,
IndividualNodeSetPolicy individualNodeSetPolicy) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
long timeOut) |
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).
|
public SimpleConfiguration()
public SimpleConfiguration(@Nonnull ReasonerProgressMonitor progressMonitor)
progressMonitor
- the progress monitor to usepublic SimpleConfiguration(@Nonnull ReasonerProgressMonitor progressMonitor, long timeOut)
progressMonitor
- the progress monitor to usetimeOut
- the timeout in millisecondspublic SimpleConfiguration(@Nonnull ReasonerProgressMonitor progressMonitor, @Nonnull FreshEntityPolicy freshEntityPolicy, long timeOut, @Nonnull IndividualNodeSetPolicy individualNodeSetPolicy)
progressMonitor
- the progress monitor to usefreshEntityPolicy
- the policy for fresh entitiestimeOut
- the timeout in millisecondsindividualNodeSetPolicy
- the policy for individual nodespublic SimpleConfiguration(@Nonnull FreshEntityPolicy freshEntityPolicy, long timeOut)
freshEntityPolicy
- the policy for fresh entitiestimeOut
- the timeout in millisecondspublic SimpleConfiguration(long timeOut)
timeOut
- the timeout in milliseconds@Nonnull public ReasonerProgressMonitor getProgressMonitor()
OWLReasonerConfiguration
getProgressMonitor
in interface OWLReasonerConfiguration
NullReasonerProgressMonitor
public long getTimeOut()
OWLReasonerConfiguration
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. getTimeOut
in interface OWLReasonerConfiguration
Long.MAX_VALUE
, which means the reasoner SHOULD NOT
timeout.@Nonnull public FreshEntityPolicy getFreshEntityPolicy()
OWLReasonerConfiguration
FreshEntityPolicy.ALLOW
.getFreshEntityPolicy
in interface OWLReasonerConfiguration
@Nonnull public IndividualNodeSetPolicy getIndividualNodeSetPolicy()
OWLReasonerConfiguration
IndividualNodeSetPolicy
which determines how NodeSet
s of named individuals are returned
from the reasoner.getIndividualNodeSetPolicy
in interface OWLReasonerConfiguration
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.