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

Author:

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomNotInProfileException(OWLAxiom axiom, OWLProfile profile)

Method Summary

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

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

AxiomNotInProfileException

public AxiomNotInProfileException(OWLAxiom axiom,
                                  OWLProfile profile)

Parameters:

axiom - wrong axiom

profile - profile

Method Detail

getAxiom

public OWLAxiom getAxiom()

Returns:

wrong axiom

getProfile

public OWLProfile getProfile()

Returns:

profile