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
m_toDataRange
protected final LiteralDataRange m_toDataRange
s_interningManager
protected static InterningManager<AtLeastDataRange> s_interningManager
AtLeastDataRange
protected AtLeastDataRange(int number,
Role onRole,
LiteralDataRange toConcept)
getToDataRange
public LiteralDataRange getToDataRange()
isAlwaysFalse
public boolean isAlwaysFalse()
- Specified by:
isAlwaysFalse
in class Concept
readResolve
protected Object readResolve()
toString
public String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
- Specified by:
toString
in class Concept
create
public static AtLeastDataRange create(int number,
Role onRole,
LiteralDataRange toDataRange)
Copyright © 2012. All Rights Reserved.