public class ReasonerInternalException extends OWLReasonerRuntimeException
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.
Constructor and Description |
---|
ReasonerInternalException(java.lang.String message) |
ReasonerInternalException(java.lang.String message,
java.lang.Throwable cause) |
ReasonerInternalException(java.lang.Throwable cause) |
public ReasonerInternalException(java.lang.Throwable cause)
public ReasonerInternalException(java.lang.String message)
public ReasonerInternalException(java.lang.String message, java.lang.Throwable cause)