org.semanticweb.HermiT.model
Class Individual

java.lang.Object
  extended by org.semanticweb.HermiT.model.Term
      extended by org.semanticweb.HermiT.model.Individual
All Implemented Interfaces:
java.io.Serializable

public class Individual
extends Term

Represents an individual in a DL clause.

See Also:
Serialized Form

Field Summary
protected  java.lang.String m_uri
           
protected static InterningManager<Individual> s_interningManager
           
 
Constructor Summary
protected Individual(java.lang.String uri)
           
 
Method Summary
static Individual create(java.lang.String uri)
          Returns an Individual with the given identifier.
static Individual createAnonymous(java.lang.String id)
           
static java.lang.String getAnonymousURI(java.lang.String id)
           
 java.lang.String getIRI()
           
 boolean isAnonymous()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_uri

protected final java.lang.String m_uri

s_interningManager

protected static InterningManager<Individual> s_interningManager
Constructor Detail

Individual

protected Individual(java.lang.String uri)
Method Detail

getIRI

public java.lang.String getIRI()

isAnonymous

public boolean isAnonymous()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

readResolve

protected java.lang.Object readResolve()

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class Term

create

public static Individual create(java.lang.String uri)
Returns an Individual with the given identifier. If this function is called multiple times with the same identifier, then the same object will be returned on each call (allowing for fast equality testing). It is the caller's responsibility to normalize the given URI---this function treats the argument as a raw string.


createAnonymous

public static Individual createAnonymous(java.lang.String id)

getAnonymousURI

public static java.lang.String getAnonymousURI(java.lang.String id)