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:

Serializable

public class ImportsClosureNotInProfileException
extends OWLReasonerRuntimeException

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.

Author:

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ImportsClosureNotInProfileException(OWLProfile profile)

Method Summary

Methods

Modifier and Type	Method and Description
OWLProfile	getProfile() Gets the profile which the reasoner can handle.

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 Detail

ImportsClosureNotInProfileException

public ImportsClosureNotInProfileException(OWLProfile profile)

Parameters:

profile - profile

Method Detail

getProfile

public OWLProfile getProfile()

Gets the profile which the reasoner can handle.

Returns:

The profile.