org.semanticweb.owl.explanation.api

Class NotEntailedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.semanticweb.owlapi.model.OWLRuntimeException

org.semanticweb.owl.explanation.api.ExplanationException

org.semanticweb.owl.explanation.api.NotEntailedException

All Implemented Interfaces:

Serializable

public class NotEntailedException
extends ExplanationException

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

An explanation exception that describes the situation where an entailment does not hold in a set of source axioms.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NotEntailedException(Object entailment)

Method Summary

Modifier and Type	Method and Description
Object	getEntailment() Gets the object that represents the desired entailment which is in fact not entailed.

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

NotEntailedException

public NotEntailedException(Object entailment)

Method Detail

getEntailment

public Object getEntailment()

Gets the object that represents the desired entailment which is in fact not entailed.

Returns:

The desired entailment.