uk.ac.manchester.cs.jfact.datatypes

Interface DatatypeCombination<T,E>

Type Parameters:

T - type

E - element

All Known Implementing Classes:

DatatypeEnumeration, DatatypeIntersection, DatatypeNumericEnumeration, DatatypeUnion

public interface DatatypeCombination<T,E>

Author:

ignazio

Method Summary

Methods

Modifier and Type	Method and Description
T	add(E d)
boolean	emptyValueSpace()
org.semanticweb.owlapi.model.IRI	getDatatypeIRI()
Datatype<?>	getHost()
Iterable<E>	getList()
boolean	isCompatible(Datatype<?> type)
boolean	isCompatible(Literal<?> l)
boolean	isContradictory(Datatype<?> type)

Method Detail

add

T add(E d)

Parameters:

d - d

Returns:

the type

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

getDatatypeIRI

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

Returns:

the datatype uri

getList

Iterable<E> getList()

Returns:

list of elements

emptyValueSpace

boolean emptyValueSpace()

Returns:

true if the value space is empty

getHost

Datatype<?> getHost()

Returns:

the host datatype