org.semanticweb.HermiT.model

Class AtLeast

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.ExistentialConcept

org.semanticweb.HermiT.model.AtLeast

All Implemented Interfaces:

Serializable, DLPredicate

Direct Known Subclasses:

AtLeastConcept, AtLeastDataRange

public abstract class AtLeast
extends ExistentialConcept
implements DLPredicate

Represents at-least concepts, either for data ranges or concepts.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
int	getArity()
int	getNumber()
Role	getOnRole()
boolean	isAlwaysTrue()

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

isAlwaysFalse, toString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.HermiT.model.DLPredicate

toString

Method Detail

getNumber

public int getNumber()

Returns:

number

getOnRole

public Role getOnRole()

Returns:

role

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class Concept

Returns:

true if always true