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
Constructor Summary |
protected |
AtLeast(int number,
Role onRole)
|
m_number
protected final int m_number
m_onRole
protected final Role m_onRole
AtLeast
protected AtLeast(int number,
Role onRole)
getNumber
public int getNumber()
getOnRole
public Role getOnRole()
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
isAlwaysTrue
public boolean isAlwaysTrue()
- Specified by:
isAlwaysTrue
in class Concept
Copyright © 2012. All Rights Reserved.