uk.ac.manchester.cs.jfact.datatypes

Class DatatypeIntersection<T extends Comparable<T>>

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection<T>

Type Parameters:

T - type

All Implemented Interfaces:

DatatypeCombination<DatatypeIntersection<T>,Datatype<T>>

public class DatatypeIntersection<T extends Comparable<T>>
extends Object
implements DatatypeCombination<DatatypeIntersection<T>,Datatype<T>>

Author:

ignazio

Constructor Summary

Constructors

Constructor and Description
DatatypeIntersection(Datatype<T> host)
DatatypeIntersection(Datatype<T> host, Iterable<Datatype<T>> list)

Method Summary

Modifier and Type	Method and Description
DatatypeIntersection<T>	add(Datatype<T> d)
boolean	emptyValueSpace()
org.semanticweb.owlapi.model.IRI	getDatatypeIRI()
Datatype<?>	getHost()
static Datatype<?>	getHostDatatype(List<Datatype<?>> collection)
Iterable<Datatype<T>>	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

DatatypeIntersection

public DatatypeIntersection(Datatype<T> host)

Parameters:

host - host

DatatypeIntersection

public DatatypeIntersection(Datatype<T> host,
                            Iterable<Datatype<T>> list)

Parameters:

host - host

list - list

Method Detail

getHostDatatype

@Nullable
public static Datatype<?> getHostDatatype(List<Datatype<?>> collection)

Parameters:

collection - collection

Returns:

datatype host for a set of datatypes

getHost

public Datatype<?> getHost()

Specified by:

getHost in interface DatatypeCombination<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

Returns:

the host datatype

getList

public Iterable<Datatype<T>> getList()

Specified by:

getList in interface DatatypeCombination<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

Returns:

list of elements

add

public DatatypeIntersection<T> add(Datatype<T> d)

Specified by:

add in interface DatatypeCombination<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

Parameters:

d - d

Returns:

the type

isCompatible

public boolean isCompatible(Literal<?> l)

Specified by:

isCompatible in interface DatatypeCombination<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

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<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

Returns:

the datatype uri

isCompatible

public boolean isCompatible(Datatype<?> type)

Specified by:

isCompatible in interface DatatypeCombination<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

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<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

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<DatatypeIntersection<T extends Comparable<T>>,Datatype<T extends Comparable<T>>>

Returns:

true if the value space is empty

toString

public String toString()

Overrides:

toString in class Object