Package org.incenp.obofoundry.uberon.util

Class ReasoningException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.incenp.obofoundry.uberon.util.ReasoningException

All Implemented Interfaces:

Serializable

public class ReasoningException
extends Exception

This exception may be thrown by other classes in this package if an error occurs when reasoning over an ontology (for example, if the ontology is unexpectedly inconsistent).

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ReasoningException(String msg)	Creates a new instance.
ReasoningException(String msg, Set<org.semanticweb.owlapi.model.OWLClass> classes)	Creates a new instance for cases where classes were found to be unsatisfiable.

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 Details

ReasoningException

public ReasoningException(String msg)

Creates a new instance.

Parameters:

msg - The error message.

ReasoningException

public ReasoningException(String msg,
 Set<org.semanticweb.owlapi.model.OWLClass> classes)

Creates a new instance for cases where classes were found to be unsatisfiable.

Parameters:

msg - The error message.

classes - The list of unsatisfiable classes.