Package org.semanticweb.owlapi.reasoner

Interface OWLReasonerConfiguration

All Superinterfaces:
Serializable
All Known Implementing Classes:
SimpleConfiguration
public interface OWLReasonerConfiguration extends Serializable
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.
Note that once a reasoner has been created, changing fields (via setter methods or directly) on the configuration object will have no effect.
Since:
3.0.0
Author:
Matthew Horridge, The University of Manchester, Information Management Group
See Also:

  • Method Details

    • getProgressMonitor

      ReasonerProgressMonitor getProgressMonitor()
      Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process.
      Returns:
      A progress monitor. By default this returns NullReasonerProgressMonitor

    • getTimeOut

      long getTimeOut()
      Gets the timeout in milliseconds for basic single reasoner operations (satisfiability check time out). If the value is equal to 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.
      Returns:
      The time out in milliseconds. By default this is set to the value of Long.MAX_VALUE, which means the reasoner SHOULD NOT timeout.

    • getFreshEntityPolicy

      FreshEntityPolicy getFreshEntityPolicy()
      Gets the fresh entity policy that should be used. By default this is set to FreshEntityPolicy.ALLOW.
      Returns:
      The fresh entity policy.

    • getIndividualNodeSetPolicy

      IndividualNodeSetPolicy getIndividualNodeSetPolicy()
      Gets the IndividualNodeSetPolicy which determines how NodeSets of named individuals are returned from the reasoner.
      Returns:
      The 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.