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:

java.io.Serializable

public class FreshEntitiesException
extends OWLReasonerRuntimeException

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009 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.

See Also:

Serialized Form

Constructor Summary

FreshEntitiesException(OWLEntity entity)

FreshEntitiesException(java.util.Set<OWLEntity> entities)

Method Summary

java.util.Set<OWLEntity>	getEntities() Gets the entities
java.lang.String	getMessage() Returns the detail message string of this throwable.

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, 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

FreshEntitiesException

public FreshEntitiesException(java.util.Set<OWLEntity> entities)

FreshEntitiesException

public FreshEntitiesException(OWLEntity entity)

Method Detail

getEntities

public java.util.Set<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 java.lang.String getMessage()

Returns the detail message string of this throwable.

Overrides:

getMessage in class java.lang.Throwable

Returns:

the detail message string of this Throwable instance (which may be null).