org.semanticweb.owlapi.reasoner
Class ImportsClosureNotInProfileException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by org.semanticweb.owlapi.model.OWLRuntimeException
                  extended by org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
                      extended by org.semanticweb.owlapi.reasoner.ImportsClosureNotInProfileException
All Implemented Interfaces:
java.io.Serializable

public class ImportsClosureNotInProfileException
extends OWLReasonerRuntimeException

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 22-Nov-2009

See Also:
Serialized Form

Constructor Summary
ImportsClosureNotInProfileException(OWLProfile profile)
           
 
Method Summary
 OWLProfile getProfile()
           
 
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

ImportsClosureNotInProfileException

public ImportsClosureNotInProfileException(OWLProfile profile)
Method Detail

getProfile

public OWLProfile getProfile()