org.semanticweb.HermiT.model

Class Individual

java.lang.Object

org.semanticweb.HermiT.model.Term

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

Method Summary

Modifier and Type	Method and Description
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()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Method Detail

getIRI

public String getIRI()

Returns:

iri

isAnonymous

public boolean isAnonymous()

Returns:

true if anonymous

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Prefixes prefixes)

Specified by:

toString in class Term

Parameters:

prefixes - prefixes

Returns:

toString

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.

Parameters:

uri - uri

Returns:

individual

createAnonymous

public static Individual createAnonymous(String id)

Parameters:

id - id

Returns:

individual

getAnonymousURI

public static String getAnonymousURI(String id)

Parameters:

id - id

Returns:

anon id