Package org.semanticweb.owlapi.reasoner

Class AxiomNotInProfileException

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

All Implemented Interfaces:

Serializable

public class AxiomNotInProfileException
extends OWLReasonerRuntimeException

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
AxiomNotInProfileException(OWLAxiom axiom, IRI profile)

Method Summary

Modifier and Type	Method	Description
OWLAxiom	getAxiom()
IRI	getProfile()

Methods inherited from class java.lang.Object

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

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Constructor Detail

AxiomNotInProfileException

public AxiomNotInProfileException(OWLAxiom axiom,
                                  IRI profile)

Parameters:

axiom - wrong axiom

profile - profile

Method Detail

getAxiom

public OWLAxiom getAxiom()

Returns:

wrong axiom

getProfile

public IRI getProfile()

Returns:

profile