org.semanticweb.HermiT.model

Class InternalDatatype

java.lang.Object

org.semanticweb.HermiT.model.DataRange

org.semanticweb.HermiT.model.LiteralDataRange

org.semanticweb.HermiT.model.AtomicDataRange

org.semanticweb.HermiT.model.InternalDatatype

All Implemented Interfaces:

Serializable, DLPredicate

public class InternalDatatype
extends AtomicDataRange
implements DLPredicate

Represents an internal datatype. Such objects are used in DL-clauses (e.g., in structural transformation of complex data ranges), but are ignored by the datatype manager.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static InternalDatatype	RDFS_LITERAL Literal.

Method Summary

Modifier and Type	Method and Description
static InternalDatatype	create(String uri)
int	getArity()
String	getIRI()
LiteralDataRange	getNegation()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
boolean	isInternalDatatype()
String	toString(Prefixes prefixes)

Methods inherited from class org.semanticweb.HermiT.model.LiteralDataRange

isNegatedInternalDatatype

Methods inherited from class org.semanticweb.HermiT.model.DataRange

toString

Methods inherited from class java.lang.Object

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

Field Detail

RDFS_LITERAL

public static final InternalDatatype RDFS_LITERAL

Literal.

Method Detail

getIRI

public String getIRI()

Returns:

iri

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Overrides:

getArity in class DataRange

Returns:

arity

getNegation

public LiteralDataRange getNegation()

Specified by:

getNegation in class AtomicDataRange

Returns:

negation

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class DataRange

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class DataRange

Returns:

true if always false

isInternalDatatype

public boolean isInternalDatatype()

Overrides:

isInternalDatatype in class LiteralDataRange

Returns:

true if internal

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class DataRange

Parameters:

prefixes - prefixes

Returns:

toString

create

public static InternalDatatype create(String uri)

Parameters:

uri - iri

Returns:

datatype