public class ImportsClosureNotInProfileException extends OWLReasonerRuntimeException
Constructor and Description |
---|
ImportsClosureNotInProfileException(OWLProfile profile) |
Modifier and Type | Method and Description |
---|---|
OWLProfile |
getProfile()
Gets the profile which the reasoner can handle.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public ImportsClosureNotInProfileException(OWLProfile profile)
profile
- profilepublic OWLProfile getProfile()
Copyright © 2017 The University of Manchester. All Rights Reserved.