org.semanticweb.HermiT.model

Class DataRange

java.lang.Object

org.semanticweb.HermiT.model.DataRange

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

LiteralDataRange

public abstract class DataRange
extends Object
implements Serializable

Represents a data range in a DL clause.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DataRange()

Method Summary

Modifier and Type	Method and Description
int	getArity()
abstract boolean	isAlwaysFalse()
abstract boolean	isAlwaysTrue()
String	toString()
abstract String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Constructor Detail

DataRange

public DataRange()

Method Detail

isAlwaysTrue

public abstract boolean isAlwaysTrue()

Returns:

true if always true

isAlwaysFalse

public abstract boolean isAlwaysFalse()

Returns:

true if always false

getArity

public int getArity()

Returns:

arity

toString

public abstract String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object