org.semanticweb.HermiT.model
Class DatatypeRestriction
java.lang.Object
org.semanticweb.HermiT.model.DataRange
org.semanticweb.HermiT.model.LiteralDataRange
org.semanticweb.HermiT.model.AtomicDataRange
org.semanticweb.HermiT.model.DatatypeRestriction
- All Implemented Interfaces:
- java.io.Serializable, DLPredicate
public class DatatypeRestriction
- extends AtomicDataRange
A data range consisting of a datatype URI and a number of facet restrictions.
NOTE: RDFS_LITERAL is treated as InternalDatatype due to implemetnation side-effects.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NO_FACET_URIs
public static final java.lang.String[] NO_FACET_URIs
NO_FACET_VALUES
public static final Constant[] NO_FACET_VALUES
m_datatypeURI
protected final java.lang.String m_datatypeURI
m_facetURIs
protected final java.lang.String[] m_facetURIs
m_facetValues
protected final Constant[] m_facetValues
s_interningManager
protected static InterningManager<DatatypeRestriction> s_interningManager
DatatypeRestriction
public DatatypeRestriction(java.lang.String datatypeURI,
java.lang.String[] facetURIs,
Constant[] facetValues)
getDatatypeURI
public java.lang.String getDatatypeURI()
getNumberOfFacetRestrictions
public int getNumberOfFacetRestrictions()
getFacetURI
public java.lang.String getFacetURI(int index)
getFacetValue
public Constant getFacetValue(int index)
getNegation
public LiteralDataRange getNegation()
- Specified by:
getNegation
in class AtomicDataRange
isAlwaysTrue
public boolean isAlwaysTrue()
- Specified by:
isAlwaysTrue
in class DataRange
isAlwaysFalse
public boolean isAlwaysFalse()
- Specified by:
isAlwaysFalse
in class DataRange
toString
public java.lang.String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
- Specified by:
toString
in class DataRange
readResolve
protected java.lang.Object readResolve()
create
public static DatatypeRestriction create(java.lang.String datatypeURI,
java.lang.String[] facetURIs,
Constant[] facetValues)