de.dfleischhacker.uni.thesis.semantic
Class EntailmentCheckException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by de.dfleischhacker.uni.thesis.semantic.EntailmentCheckException
All Implemented Interfaces:
java.io.Serializable

public class EntailmentCheckException
extends java.lang.Exception

This exception is thrown if an error occurs while trying to check if an axiom is entailed by an ontology.

See Also:
Serialized Form

Constructor Summary
EntailmentCheckException(java.lang.String message)
           
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EntailmentCheckException

public EntailmentCheckException(java.lang.String message)