com.hp.hpl.jena.reasoner.dig
Class DIGInconsistentKBException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              com.hp.hpl.jena.shared.JenaException
                  com.hp.hpl.jena.reasoner.dig.DIGReasonerException
                      com.hp.hpl.jena.reasoner.dig.DIGErrorResponseException
                          com.hp.hpl.jena.reasoner.dig.DIGInconsistentKBException

All Implemented Interfaces:

java.io.Serializable

public class DIGInconsistentKBException
extends DIGErrorResponseException

This exception denotes the special error condition that the remote reasoner detected an inconsistent knowledge base. Some reasoners, e.g. Pellet, do not continue reasoning after an inconsistent KB has been detected.

Version:

Release @release@ ($Id: DIGInconsistentKBException.java,v 1.4 2008/01/02 12:07:11 andy_seaborne Exp $)

Author:

Ian Dickinson, HP Labs (email)

See Also:

Serialized Form

Field Summary

Fields inherited from class com.hp.hpl.jena.reasoner.dig.DIGErrorResponseException

CANNOT_CREATE_NEW_KB, GENERAL_ASK_ERROR, GENERAL_TELL_ERROR, GENERAL_UNSPECIFIED_ERROR, KB_RELEASE_ERROR, MAFORMED_REQUEST, MALFORMED_KB_URI, MISSING_URI, UNKNOWN_ASK_OPERATION, UNKNOWN_OR_STALE_KB_URI, UNKNOWN_REQUEST, UNKNOWN_TELL_OPERATION, UNSUPPORTED_ASK_OPERATION, UNSUPPORTED_OPERATION, UNSUPPORTED_TELL_OPERATION

Constructor Summary

DIGInconsistentKBException(java.lang.String msg, java.lang.String msgAttr, int errorCode)

Method Summary

Methods inherited from class com.hp.hpl.jena.reasoner.dig.DIGErrorResponseException

getDIGMessageAttrib, getErrorCode

Methods inherited from class com.hp.hpl.jena.shared.JenaException

getCause, printStackTrace, printStackTrace

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DIGInconsistentKBException

public DIGInconsistentKBException(java.lang.String msg,
                                  java.lang.String msgAttr,
                                  int errorCode)