uk.ac.manchester.cs.jfact.datatypes

Interface DatatypeExpression<R extends Comparable<R>>

Type Parameters:

R - type

All Superinterfaces:

DataExpression, Datatype<R>, Entity, Expression, org.semanticweb.owlapi.model.HasIRI, Serializable

All Known Implementing Classes:

DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration

@Original
public interface DatatypeExpression<R extends Comparable<R>>
extends Datatype<R>

Represents an extended datatype - intersection, union or further restrictions. All implementations must be immutable

Method Summary

Modifier and Type	Method and Description
DatatypeExpression<R>	addNonNumericFacet(Facet f, Comparable<?> value) add a new facet value for this datatype expression
DatatypeExpression<R>	addNumericFacet(Facet f, Comparable<?> value)
Datatype<R>	getHostType()

Methods inherited from interface uk.ac.manchester.cs.jfact.datatypes.Datatype

asExpression, asNumericDatatype, asOrderedDatatype, buildLiteral, emptyValueSpace, getAncestors, getBounded, getCardinality, getDatatypeIRI, getFacets, getFacetValue, getKnownNonNumericFacetValues, getKnownNumericFacetValues, getNumeric, getNumericFacetValue, getOrdered, host, isCompatible, isCompatible, isContradictory, isExpression, isInValueSpace, isNumericDatatype, isOrderedDatatype, isSubType, listValues, parseValue, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression

accept, accept, getIRI

Method Detail

getHostType

Datatype<R> getHostType()

Returns:

the predefined datatype which is host for this expression

addNonNumericFacet

DatatypeExpression<R> addNonNumericFacet(Facet f,
                                         @Nullable
                                         Comparable<?> value)

add a new facet value for this datatype expression

Parameters:

f - a valid facet for the host datatype

value - the value for the facet

Returns:

modified expression

addNumericFacet

DatatypeExpression<R> addNumericFacet(Facet f,
                                      @Nullable
                                      Comparable<?> value)

Parameters:

f - facet

value - value

Returns:

modified expression