org.semanticweb.owlapi.reasoner
Class SimpleConfiguration

java.lang.Object
  extended by org.semanticweb.owlapi.reasoner.SimpleConfiguration
All Implemented Interfaces:
OWLReasonerConfiguration

public class SimpleConfiguration
extends java.lang.Object
implements OWLReasonerConfiguration

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009

A simple configuration with the general options.


Constructor Summary
SimpleConfiguration(long timeOut)
           
SimpleConfiguration(ReasonerProgressMonitor progressMonitor)
           
SimpleConfiguration(ReasonerProgressMonitor progressMonitor, long timeOut)
           
SimpleConfiguration(ReasonerProgressMonitor progressMonitor, UndeclaredEntityPolicy undeclaredEntityPolicy, long timeOut)
           
SimpleConfiguration(UndeclaredEntityPolicy undeclaredEntityPolicy, long timeOut)
           
 
Method Summary
 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 for basic reasoner operations (satisfiability check time out).
 UndeclaredEntityPolicy getUndeclaredEntityPolicy()
          Gets the undeclared entity policy that should be used.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SimpleConfiguration

public SimpleConfiguration(ReasonerProgressMonitor progressMonitor)

SimpleConfiguration

public SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
                           long timeOut)

SimpleConfiguration

public SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
                           UndeclaredEntityPolicy undeclaredEntityPolicy,
                           long timeOut)

SimpleConfiguration

public SimpleConfiguration(UndeclaredEntityPolicy undeclaredEntityPolicy,
                           long timeOut)

SimpleConfiguration

public SimpleConfiguration(long timeOut)
Method Detail

getProgressMonitor

public ReasonerProgressMonitor getProgressMonitor()
Description copied from interface: OWLReasonerConfiguration
Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process.

Specified by:
getProgressMonitor in interface OWLReasonerConfiguration
Returns:
A progress monitor. By default this returns NullReasonerProgressMonitor

getTimeOut

public long getTimeOut()
Description copied from interface: OWLReasonerConfiguration
Gets the timeout for basic reasoner operations (satisfiability check time out). By default this is set to the value of Long.MAX_VALUE.

Specified by:
getTimeOut in interface OWLReasonerConfiguration
Returns:
The time out.

getUndeclaredEntityPolicy

public UndeclaredEntityPolicy getUndeclaredEntityPolicy()
Description copied from interface: OWLReasonerConfiguration
Gets the undeclared entity policy that should be used. By default this is set to UndeclaredEntityPolicy.ALLOW.

Specified by:
getUndeclaredEntityPolicy in interface OWLReasonerConfiguration
Returns:
The undeclared entity policy.