org.semanticweb.owlapi.reasoner

Class FreshEntitiesException

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

All Implemented Interfaces:

Serializable

public class FreshEntitiesException
extends OWLReasonerRuntimeException

Indicates that a query whose signature contained fresh entities was posed to the reasoner. This exception is only thrown if the fresh entity policy is set appropriately. (See FreshEntityPolicy and OWLReasonerConfiguration.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
FreshEntitiesException(Collection<OWLEntity> entities)
FreshEntitiesException(Collection<OWLEntity> entities, Throwable t)
FreshEntitiesException(OWLEntity entity)
FreshEntitiesException(OWLEntity entity, Throwable t)

Method Summary

Modifier and Type	Method and Description
Collection<OWLEntity>	getEntities() Gets the entities.
String	getMessage()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FreshEntitiesException

public FreshEntitiesException(Collection<OWLEntity> entities)

Parameters:

entities - fresh entities

FreshEntitiesException

public FreshEntitiesException(Collection<OWLEntity> entities,
                              @Nullable
                              Throwable t)

Parameters:

entities - entities

t - cause

FreshEntitiesException

public FreshEntitiesException(OWLEntity entity)

Parameters:

entity - fresh entity

FreshEntitiesException

public FreshEntitiesException(OWLEntity entity,
                              @Nullable
                              Throwable t)

Parameters:

entity - fresh entity

t - cause

Method Detail

getEntities

public Collection<OWLEntity> getEntities()

Gets the entities.

Returns:

The entities, none of which are contained in the signature of the union of a set of ontologies.

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable