Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP