org.semanticweb.HermiT.model

Class AtLeastConcept

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.ExistentialConcept

org.semanticweb.HermiT.model.AtLeast

org.semanticweb.HermiT.model.AtLeastConcept

All Implemented Interfaces:

Serializable, DLPredicate

public class AtLeastConcept
extends AtLeast

Represents at-least concept.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static AtLeastConcept	create(int number, Role onRole, LiteralConcept toConcept)
LiteralConcept	getToConcept()
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

getToConcept

public LiteralConcept getToConcept()

Returns:

literal

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 AtLeastConcept create(int number,
                                    Role onRole,
                                    LiteralConcept toConcept)

Parameters:

number - number

onRole - onRole

toConcept - toConcept

Returns:

at least concept