Package 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
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.
Since:
3.1.0
Author:
Matthew Horridge, The University of Manchester, Bio-Health Informatics Group
See Also:

  • Constructor Details

    • ReasonerInternalException

      public ReasonerInternalException(Throwable cause)
      Parameters:
      cause - error cause

    • ReasonerInternalException

      public ReasonerInternalException(String message)
      Parameters:
      message - error message

    • ReasonerInternalException

      public ReasonerInternalException(String message, Throwable cause)
      Parameters:
      message - error message
      cause - error cause