Package 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.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ImportsClosureNotInProfileException(IRI profile)

Method Summary

Modifier and Type	Method	Description
IRI	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

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

Constructor Details

ImportsClosureNotInProfileException

public ImportsClosureNotInProfileException(IRI profile)

Parameters:

profile - profile

Method Details

getProfile

public IRI getProfile()

Gets the profile which the reasoner can handle.

Returns:

The profile.