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(ReasonerProgressMonitor progressMonitor)
progressMonitor
- the progress monitor to usepublic SimpleConfiguration(ReasonerProgressMonitor progressMonitor, long timeOut)
progressMonitor
- the progress monitor to usetimeOut
- the timeout in millisecondspublic SimpleConfiguration(ReasonerProgressMonitor progressMonitor, FreshEntityPolicy freshEntityPolicy, long timeOut, IndividualNodeSetPolicy individualNodeSetPolicy)
progressMonitor
- the progress monitor to usefreshEntityPolicy
- the policy for fresh entitiestimeOut
- the timeout in millisecondsindividualNodeSetPolicy
- the policy for individual nodespublic SimpleConfiguration(FreshEntityPolicy freshEntityPolicy, long timeOut)
freshEntityPolicy
- the policy for fresh entitiestimeOut
- the timeout in millisecondspublic SimpleConfiguration(long timeOut)
timeOut
- the timeout in millisecondspublic 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.public FreshEntityPolicy getFreshEntityPolicy()
OWLReasonerConfiguration
FreshEntityPolicy.ALLOW
.getFreshEntityPolicy
in interface OWLReasonerConfiguration
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.