public class SimpleConfiguration extends java.lang.Object implements OWLReasonerConfiguration
A simple configuration with the general options.
Constructor and Description |
---|
SimpleConfiguration() |
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.
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.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.