uk.ac.manchester.cs.jfact.datatypes

Class DatatypeUnion

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion

All Implemented Interfaces:

DatatypeCombination<DatatypeUnion,Datatype<?>>

public class DatatypeUnion
extends Object
implements DatatypeCombination<DatatypeUnion,Datatype<?>>

datatype union

Constructor Summary

Constructors

Constructor and Description
DatatypeUnion(Datatype<?> host)
DatatypeUnion(Datatype<?> host, Collection<Datatype<?>> list)

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DatatypeUnion

public DatatypeUnion(Datatype<?> host,
                     Collection<Datatype<?>> list)

Parameters:

host - host

list - list

DatatypeUnion

public DatatypeUnion(Datatype<?> host)

Parameters:

host - host

Method Detail

getHost

public Datatype<?> getHost()

Specified by:

getHost in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Returns:

the host datatype

getList

public Iterable<Datatype<?>> getList()

Specified by:

getList in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Returns:

list of elements

add

public DatatypeUnion add(Datatype<?> d)

Specified by:

add in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Parameters:

d - d

Returns:

the type

isCompatible

public boolean isCompatible(Literal<?> l)

Specified by:

isCompatible in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Parameters:

l - literal

Returns:

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

getDatatypeIRI

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

Specified by:

getDatatypeIRI in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Returns:

the datatype uri

isCompatible

public boolean isCompatible(Datatype<?> type)

Specified by:

isCompatible in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

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

isContradictory

public boolean isContradictory(Datatype<?> type)

Specified by:

isContradictory in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

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

emptyValueSpace

public boolean emptyValueSpace()

Specified by:

emptyValueSpace in interface DatatypeCombination<DatatypeUnion,Datatype<?>>

Returns:

true if the value space is empty

toString

public String toString()

Overrides:

toString in class Object