uk.ac.manchester.cs.jfact.datatypes

Interface DatatypeExpression<Representation extends Comparable<Representation>>

All Superinterfaces:

DataExpression, Datatype<Representation>, Entity, Expression

All Known Implementing Classes:

DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration

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

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

Method Summary

Methods

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

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

asExpression, asNumericDatatype, asOrderedDatatype, buildLiteral, emptyValueSpace, getAncestors, getBounded, getCardinality, getDatatypeURI, getFacets, getFacetValue, getKnownNonNumericFacetValues, getKnownNumericFacetValues, getNumeric, getNumericFacetValue, getOrdered, isCompatible, isCompatible, isExpression, isInValueSpace, isNumericDatatype, isOrderedDatatype, isSubType, listValues, parseValue

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

accept, accept

Method Detail

getHostType

Datatype<Representation> getHostType()

Returns:

the predefined datatype which is host for this expression

addNonNumericFacet

DatatypeExpression<Representation> addNonNumericFacet(Facet f,
                                                    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

addNumericFacet

DatatypeExpression<Representation> addNumericFacet(Facet f,
                                                 Comparable value)