org.semanticweb.elk.reasoner
Class ElkInconsistentOntologyException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.semanticweb.elk.owl.exceptions.ElkException
              org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

All Implemented Interfaces:

Serializable

public class ElkInconsistentOntologyException
extends ElkException

Thrown when irrelevant reasoning methods are called for an ontology that is inconsistent. Most reasoning tasks also have well-defined results for inconsistent ontologies, so it is not required that this exception is used in all cases. Callers should not rely on this exception being thrown as a method for checking inconsistency; there are dedicated methods for this purpose.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

See Also:

Serialized Form

Constructor Summary

ElkInconsistentOntologyException()

ElkInconsistentOntologyException(String message)

ElkInconsistentOntologyException(String message, Throwable cause)

ElkInconsistentOntologyException(Throwable cause)

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

ElkInconsistentOntologyException

public ElkInconsistentOntologyException()

ElkInconsistentOntologyException

public ElkInconsistentOntologyException(String message)

ElkInconsistentOntologyException

public ElkInconsistentOntologyException(String message,
                                        Throwable cause)

ElkInconsistentOntologyException

public ElkInconsistentOntologyException(Throwable cause)