org.semanticweb.owlapi.reasoner
Class ReasonerInternalException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.semanticweb.owlapi.model.OWLRuntimeException
                  org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
                      org.semanticweb.owlapi.reasoner.ReasonerInternalException

All Implemented Interfaces:

java.io.Serializable

public class ReasonerInternalException
extends OWLReasonerRuntimeException

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 05-Jul-2010

Specifies that a some internal error occurred during reasoning. Each reasoner implementation will specify the cause of the error in the message.

This exception is only thrown when an internal error (due to errors in the reasoner code) has occurred and the reasoner cannot recover silently from the error. If the reasoner can recover silently this exception will not be thrown.

Clients should dispose of the reasoner when an internal reasoner exception is thrown because the error is unrecoverable and the internal state of the reasoner may be corrupt.

See Also:

Serialized Form

Constructor Summary

ReasonerInternalException(java.lang.String message)

ReasonerInternalException(java.lang.String message, java.lang.Throwable cause)

ReasonerInternalException(java.lang.Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ReasonerInternalException

public ReasonerInternalException(java.lang.Throwable cause)

ReasonerInternalException

public ReasonerInternalException(java.lang.String message)

ReasonerInternalException

public ReasonerInternalException(java.lang.String message,
                                 java.lang.Throwable cause)