org.semanticweb.owlapi.reasoner
Class ImportsClosureNotInProfileException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.semanticweb.owlapi.model.OWLRuntimeException
                  org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
                      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

This exception indicates that the reasoner cannot handle the set of axioms that are in the imports closure of the root ontology because the axioms fall outside of the "largest" OWL profile (i.e. OWL2DL or OWL2EL or OWL2QL or OWL2RL) that the reasoner can handle. The reasoner will indicate in this exception which profile it expects the axioms to be in.

See Also:

Serialized Form

Constructor Summary

ImportsClosureNotInProfileException(OWLProfile profile)

Method Summary

OWLProfile

getProfile() Gets the profile which the reasoner can handle.

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()

Gets the profile which the reasoner can handle.

Returns:

The profile.