org.semanticweb.owlapi.reasoner
Class UnsupportedEntailmentTypeException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.semanticweb.owlapi.model.OWLException
              extended by org.semanticweb.owlapi.reasoner.OWLReasonerException
                  extended by org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException
All Implemented Interfaces:
java.io.Serializable

public class UnsupportedEntailmentTypeException
extends OWLReasonerException

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009

See Also:
Serialized Form

Constructor Summary
UnsupportedEntailmentTypeException(OWLAxiom axiom)
           
 
Method Summary
 OWLAxiom getAxiom()
           
 
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

UnsupportedEntailmentTypeException

public UnsupportedEntailmentTypeException(OWLAxiom axiom)
Method Detail

getAxiom

public OWLAxiom getAxiom()