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
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.
Matthew Horridge, The University of Manchester, Bio-Health