org.semanticweb.owlapi.reasoner

Class UnsupportedEntailmentTypeException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.semanticweb.owlapi.model.OWLRuntimeException

org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException

All Implemented Interfaces:

Serializable

public class UnsupportedEntailmentTypeException
extends OWLRuntimeException

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
UnsupportedEntailmentTypeException(OWLAxiom axiom)

Method Summary

Modifier and Type	Method and Description
OWLAxiom	getAxiom()

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnsupportedEntailmentTypeException

public UnsupportedEntailmentTypeException(OWLAxiom axiom)

Parameters:

axiom - unsupported entailment

Method Detail

getAxiom

public OWLAxiom getAxiom()

Returns:

unsupported axiom