org.semanticweb.HermiT.model
Class Individual
java.lang.Object
org.semanticweb.HermiT.model.Term
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
Constructor Summary |
protected |
Individual(java.lang.String uri)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_uri
protected final java.lang.String m_uri
s_interningManager
protected static InterningManager<Individual> s_interningManager
Individual
protected Individual(java.lang.String uri)
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)