uk.ac.manchester.cs.jfact.datatypes

Interface Datatype<R extends Comparable<R>>

Type Parameters:

R - type

All Superinterfaces:

DataExpression, Entity, Expression, org.semanticweb.owlapi.model.HasIRI, Serializable

All Known Subinterfaces:

DatatypeExpression<R>, NumericDatatype<R>

All Known Implementing Classes:

AbstractDatatype, DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration

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

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
DatatypeExpression<R>	asExpression()
NumericDatatype<R>	asNumericDatatype()
OrderedDatatype<R>	asOrderedDatatype()
Literal<R>	buildLiteral(String s)
boolean	emptyValueSpace()
Collection<Datatype<?>>	getAncestors()
boolean	getBounded()
cardinality	getCardinality()
org.semanticweb.owlapi.model.IRI	getDatatypeIRI()
Set<Facet>	getFacets()
Comparable	getFacetValue(Facet f)
Map<Facet,Comparable>	getKnownNonNumericFacetValues()
Map<Facet,Comparable>	getKnownNumericFacetValues()
boolean	getNumeric()
Comparable	getNumericFacetValue(Facet f)
ordered	getOrdered()
default Datatype<R>	host()
boolean	isCompatible(Datatype<?> type)
boolean	isCompatible(Literal<?> l)
boolean	isContradictory(Datatype<?> type)
boolean	isExpression()
boolean	isInValueSpace(R l)
boolean	isNumericDatatype()
boolean	isOrderedDatatype()
boolean	isSubType(Datatype<?> type)
Collection<Literal<R>>	listValues()
R	parseValue(String s)
default DatatypeExpression<R>	wrapAsDatatypeExpression()
default DatatypeExpression<R>	wrapAsNumericExpression()
default DatatypeExpression<R>	wrapAsOrderedExpression()

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

accept, accept, getIRI

Method Detail

isExpression

boolean isExpression()

Returns:

true if this datatype is an expression

asExpression

DatatypeExpression<R> asExpression()

Returns:

this datatype as a datatype expression, if it is an expression.

getAncestors

Collection<Datatype<?>> getAncestors()

Returns:

the known ancestors of this datatype

getBounded

boolean getBounded()

Returns:

true if this datatype value space is bounded

getCardinality

cardinality getCardinality()

Returns:

the cardinality of the value space: finite or countably infinite

getFacets

Set<Facet> getFacets()

Returns:

the available facets for this datatype. The collection is immutable - only specs sanctioned facets allowed

getKnownNumericFacetValues

Map<Facet,Comparable> getKnownNumericFacetValues()

Returns:

the known values for a subset of the available facets

getKnownNonNumericFacetValues

Map<Facet,Comparable> getKnownNonNumericFacetValues()

Returns:

the known values for a subset of the available facets

getFacetValue

@Nullable
Comparable getFacetValue(Facet f)

Parameters:

f - facet

Returns:

known value for f, or null if there is no known value for the facet

getNumericFacetValue

@Nullable
Comparable getNumericFacetValue(Facet f)

Parameters:

f - facet

Returns:

numeric value

getNumeric

boolean getNumeric()

Returns:

true if this datatype is numeric

getOrdered

ordered getOrdered()

Returns:

the kind of ordering: false, partial or total

isCompatible

boolean isCompatible(Datatype<?> type)

Parameters:

type - type

Returns:

true if type\s value space and this datatype's value space have an intersection, e.g., non negative integers and non positive integers intersect at 0

isCompatible

boolean isCompatible(Literal<?> l)

Parameters:

l - literal

Returns:

true if l is a literal with compatible datatype and value included in this datatype value space

isContradictory

boolean isContradictory(Datatype<?> type)

Parameters:

type - type

Returns:

true if the datatype is contradictory, e.g., the two appearing together in a datatype situation cause a clash. e.g., +{"6"} and +{"4"} are not compatible and not contradictory, +{"6"} and -{"6"} are compatible and contradictory

isInValueSpace

boolean isInValueSpace(R l)

Parameters:

l - literal

Returns:

false if this literal representation does not represent a value included in the value space of this datatype; its datatype must be this datatype

emptyValueSpace

boolean emptyValueSpace()

Returns:

true if this datatype expression is limited in such a way that there are no valid values

parseValue

R parseValue(String s)

Parameters:

s - parses a literal form to a value in the datatype value space; for use when building Literals

Returns:

value

buildLiteral

Literal<R> buildLiteral(String s)

Parameters:

s - literal

Returns:

a literal with parseValue(s) as typed value, generic type O equal to the internal class representing the type, and datatype this datatype.

isSubType

boolean isSubType(Datatype<?> type)

Parameters:

type - type

Returns:

true if this datatype has type as an ancestor

getDatatypeIRI

org.semanticweb.owlapi.model.IRI getDatatypeIRI()

Returns:

the datatype IRI

listValues

Collection<Literal<R>> listValues()

Returns:

the list of possible values for this datatype which are compatible with the listed datatypes.

isNumericDatatype

boolean isNumericDatatype()

Returns:

true if the datatype is numeric

asNumericDatatype

NumericDatatype<R> asNumericDatatype()

Returns:

cast as numeric datatype

isOrderedDatatype

boolean isOrderedDatatype()

Returns:

true if ordered

asOrderedDatatype

OrderedDatatype<R> asOrderedDatatype()

Returns:

cast as ordered datatype

wrapAsNumericExpression

default DatatypeExpression<R> wrapAsNumericExpression()

Returns:

a new numeric expression if this is a numeric datatype, otherwise null

wrapAsOrderedExpression

default DatatypeExpression<R> wrapAsOrderedExpression()

Returns:

a new ordered expression if this is ano ordered datatype, otherwise null

wrapAsDatatypeExpression

default DatatypeExpression<R> wrapAsDatatypeExpression()

Returns:

a new datatype expression

host

default Datatype<R> host()

Returns:

host dataype