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:

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

Constructors

Constructor and Description
ReasonerInternalException(String message)
ReasonerInternalException(String message, Throwable cause)
ReasonerInternalException(Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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(Throwable cause)

ReasonerInternalException

public ReasonerInternalException(String message)

ReasonerInternalException

public ReasonerInternalException(String message,
                         Throwable cause)