uk.ac.manchester.cs.jfact.datatypes

Class AbstractDatatype<R extends Comparable<R>>

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype<R>

Type Parameters:

R - type

All Implemented Interfaces:

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

public abstract class AbstractDatatype<R extends Comparable<R>>
extends Object
implements Datatype<R>, Serializable

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AbstractDatatype(org.semanticweb.owlapi.model.HasIRI u, Set<Facet> f, Set<Datatype<?>> ancestors)

Method Summary

Modifier and Type	Method and Description
void	accept(DLExpressionVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLExpressionVisitorEx<O> visitor)
DatatypeExpression<R>	asExpression()
NumericDatatype<R>	asNumericDatatype()
OrderedDatatype<R>	asOrderedDatatype()
Literal<R>	buildLiteral(String s)
boolean	emptyValueSpace()
boolean	equals(Object obj)
Collection<Datatype<?>>	getAncestors()
boolean	getBounded()
cardinality	getCardinality()
org.semanticweb.owlapi.model.IRI	getDatatypeIRI()
Set<Facet>	getFacets()
Comparable	getFacetValue(Facet f)
org.semanticweb.owlapi.model.IRI	getIRI()
Map<Facet,Comparable>	getKnownNonNumericFacetValues()
Map<Facet,Comparable>	getKnownNumericFacetValues()
boolean	getNumeric()
Comparable	getNumericFacetValue(Facet f)
ordered	getOrdered()
int	hashCode()
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()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

host, parseValue, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

Constructor Detail

AbstractDatatype

public AbstractDatatype(org.semanticweb.owlapi.model.HasIRI u,
                        Set<Facet> f,
                        Set<Datatype<?>> ancestors)

Parameters:

u - iri for datatype

f - facets for datatype

ancestors - ancestors for datatype

Method Detail

getDatatypeIRI

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

Specified by:

getDatatypeIRI in interface Datatype<R extends Comparable<R>>

Returns:

the datatype IRI

getIRI

public org.semanticweb.owlapi.model.IRI getIRI()

Specified by:

getIRI in interface org.semanticweb.owlapi.model.HasIRI

Specified by:

getIRI in interface Expression

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

getAncestors

public Collection<Datatype<?>> getAncestors()

Specified by:

getAncestors in interface Datatype<R extends Comparable<R>>

Returns:

the known ancestors of this datatype

getFacets

public Set<Facet> getFacets()

Specified by:

getFacets in interface Datatype<R extends Comparable<R>>

Returns:

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

getKnownNumericFacetValues

public Map<Facet,Comparable> getKnownNumericFacetValues()

Specified by:

getKnownNumericFacetValues in interface Datatype<R extends Comparable<R>>

Returns:

the known values for a subset of the available facets

getKnownNonNumericFacetValues

public Map<Facet,Comparable> getKnownNonNumericFacetValues()

Specified by:

getKnownNonNumericFacetValues in interface Datatype<R extends Comparable<R>>

Returns:

the known values for a subset of the available facets

getFacetValue

@Nullable
public Comparable getFacetValue(Facet f)

Specified by:

getFacetValue in interface Datatype<R extends Comparable<R>>

Parameters:

f - facet

Returns:

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

getNumericFacetValue

@Nullable
public Comparable getNumericFacetValue(Facet f)

Specified by:

getNumericFacetValue in interface Datatype<R extends Comparable<R>>

Parameters:

f - facet

Returns:

numeric value

isSubType

public boolean isSubType(Datatype<?> type)

Specified by:

isSubType in interface Datatype<R extends Comparable<R>>

Parameters:

type - type

Returns:

true if this datatype has type as an ancestor

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

isCompatible

public boolean isCompatible(Datatype<?> type)

Specified by:

isCompatible in interface Datatype<R extends Comparable<R>>

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

public boolean isCompatible(Literal<?> l)

Specified by:

isCompatible in interface Datatype<R extends Comparable<R>>

Parameters:

l - literal

Returns:

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

isContradictory

public boolean isContradictory(Datatype<?> type)

Specified by:

isContradictory in interface Datatype<R extends Comparable<R>>

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

public boolean isInValueSpace(R l)

Specified by:

isInValueSpace in interface Datatype<R extends Comparable<R>>

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

accept

public void accept(DLExpressionVisitor visitor)

Description copied from interface: Expression

accept method for the visitor pattern

Specified by:

accept in interface Expression

Parameters:

visitor - visitor

accept

public <O> O accept(DLExpressionVisitorEx<O> visitor)

Specified by:

accept in interface Expression

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value

isExpression

public boolean isExpression()

Specified by:

isExpression in interface Datatype<R extends Comparable<R>>

Returns:

true if this datatype is an expression

asExpression

public DatatypeExpression<R> asExpression()

Specified by:

asExpression in interface Datatype<R extends Comparable<R>>

Returns:

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

buildLiteral

public Literal<R> buildLiteral(String s)

Specified by:

buildLiteral in interface Datatype<R extends Comparable<R>>

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.

listValues

public Collection<Literal<R>> listValues()

Specified by:

listValues in interface Datatype<R extends Comparable<R>>

Returns:

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

getBounded

public boolean getBounded()

Specified by:

getBounded in interface Datatype<R extends Comparable<R>>

Returns:

true if this datatype value space is bounded

getNumeric

public boolean getNumeric()

Specified by:

getNumeric in interface Datatype<R extends Comparable<R>>

Returns:

true if this datatype is numeric

getOrdered

public ordered getOrdered()

Specified by:

getOrdered in interface Datatype<R extends Comparable<R>>

Returns:

the kind of ordering: false, partial or total

getCardinality

public cardinality getCardinality()

Specified by:

getCardinality in interface Datatype<R extends Comparable<R>>

Returns:

the cardinality of the value space: finite or countably infinite

isNumericDatatype

public boolean isNumericDatatype()

Specified by:

isNumericDatatype in interface Datatype<R extends Comparable<R>>

Returns:

true if the datatype is numeric

asNumericDatatype

public NumericDatatype<R> asNumericDatatype()

Specified by:

asNumericDatatype in interface Datatype<R extends Comparable<R>>

Returns:

cast as numeric datatype

isOrderedDatatype

public boolean isOrderedDatatype()

Specified by:

isOrderedDatatype in interface Datatype<R extends Comparable<R>>

Returns:

true if ordered

asOrderedDatatype

public OrderedDatatype<R> asOrderedDatatype()

Specified by:

asOrderedDatatype in interface Datatype<R extends Comparable<R>>

Returns:

cast as ordered datatype

emptyValueSpace

public boolean emptyValueSpace()

Specified by:

emptyValueSpace in interface Datatype<R extends Comparable<R>>

Returns:

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