org.semanticweb.HermiT.model

Class AtLeastDataRange

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.ExistentialConcept

org.semanticweb.HermiT.model.AtLeast

org.semanticweb.HermiT.model.AtLeastDataRange

All Implemented Interfaces:

Serializable, DLPredicate

public class AtLeastDataRange
extends AtLeast

Represents at-least concept.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static AtLeastDataRange	create(int number, Role onRole, LiteralDataRange toDataRange)
LiteralDataRange	getToDataRange()
boolean	isAlwaysFalse()
String	toString(Prefixes prefixes)

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

getArity, getNumber, getOnRole, isAlwaysTrue

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

toString

Methods inherited from class java.lang.Object

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

Method Detail

getToDataRange

public LiteralDataRange getToDataRange()

Returns:

top data range

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class Concept

Returns:

true if always false

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class Concept

Parameters:

prefixes - prefixes

Returns:

toString

create

public static AtLeastDataRange create(int number,
                                      Role onRole,
                                      LiteralDataRange toDataRange)

Parameters:

number - number

onRole - onRole

toDataRange - toDataRange

Returns:

at least data range