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

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by com.hp.hpl.jena.shared.JenaException
                  extended by com.hp.hpl.jena.reasoner.dig.DIGReasonerException
                      extended by com.hp.hpl.jena.reasoner.dig.DIGErrorResponseException
                          extended by 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.1 2005/09/08 15:31:48 ian_dickinson 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)


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