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

Constructors

Constructor and Description
ElkInconsistentOntologyException()
ElkInconsistentOntologyException(String message)
ElkInconsistentOntologyException(String message, Throwable cause)
ElkInconsistentOntologyException(Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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)