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:
Serializable

public class Individual
extends Term

Represents an individual in a DL clause.

See Also:
Serialized Form

Field Summary
protected  String m_uri
           
protected static InterningManager<Individual> s_interningManager
           
 
Constructor Summary
protected Individual(String uri)
           
 
Method Summary
static Individual create(String uri)
          Returns an Individual with the given identifier.
static Individual createAnonymous(String id)
           
static String getAnonymousURI(String id)
           
 String getIRI()
           
 boolean isAnonymous()
           
protected  Object readResolve()
           
 String toString()
           
 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 String m_uri

s_interningManager

protected static InterningManager<Individual> s_interningManager
Constructor Detail

Individual

protected Individual(String uri)
Method Detail

getIRI

public String getIRI()

isAnonymous

public boolean isAnonymous()

toString

public String toString()
Overrides:
toString in class Object

readResolve

protected Object readResolve()

toString

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

create

public static Individual create(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(String id)

getAnonymousURI

public static String getAnonymousURI(String id)


Copyright © 2012. All Rights Reserved.