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:

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

Field Summary

Fields

Modifier and Type	Field and Description
static String[]	NO_FACET_URIs no facet uris
static Constant[]	NO_FACET_VALUES no facet values

Constructor Summary

Constructors

Constructor and Description
DatatypeRestriction(String datatypeURI, String[] facetURIs, Constant[] facetValues)

Method Summary

Modifier and Type	Method and Description
static DatatypeRestriction	create(String datatypeURI, String[] facetURIs, Constant[] facetValues)
String	getDatatypeURI()
String	getFacetURI(int index)
Constant	getFacetValue(int index)
LiteralDataRange	getNegation()
int	getNumberOfFacetRestrictions()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
String	toString(Prefixes prefixes)

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

isInternalDatatype, isNegatedInternalDatatype

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

getArity, 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

getArity

Field Detail

NO_FACET_URIs

public static final String[] NO_FACET_URIs

no facet uris

NO_FACET_VALUES

public static final Constant[] NO_FACET_VALUES

no facet values

Constructor Detail

DatatypeRestriction

public DatatypeRestriction(String datatypeURI,
                           String[] facetURIs,
                           Constant[] facetValues)

Parameters:

datatypeURI - datatypeURI

facetURIs - facetURIs

facetValues - facetValues

Method Detail

getDatatypeURI

public String getDatatypeURI()

Returns:

datatype uri

getNumberOfFacetRestrictions

public int getNumberOfFacetRestrictions()

Returns:

number of restrictions

getFacetURI

public String getFacetURI(int index)

Parameters:

index - index

Returns:

facet uri

getFacetValue

public Constant getFacetValue(int index)

Parameters:

index - index

Returns:

facet value

getNegation

public LiteralDataRange getNegation()

Specified by:

getNegation in class AtomicDataRange

Returns:

negation

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class DataRange

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class DataRange

Returns:

true if always false

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class DataRange

Parameters:

prefixes - prefixes

Returns:

toString

create

public static DatatypeRestriction create(String datatypeURI,
                                         String[] facetURIs,
                                         Constant[] facetValues)

Parameters:

datatypeURI - datatypeURI

facetURIs - facetURIs

facetValues - facetValues

Returns:

restriction