uk.ac.manchester.cs.jfact.datatypes

Class DatatypeNegation<R extends Comparable<R>>

java.lang.Object

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

Type Parameters:

R - type

All Implemented Interfaces:

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

public class DatatypeNegation<R extends Comparable<R>>
extends Object
implements DatatypeExpression<R>, Serializable

datatype negation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DatatypeNegation(Datatype<R> d)

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>	addNonNumericFacet(Facet f, Comparable<?> value) add a new facet value for this datatype expression
DatatypeExpression<R>	addNumericFacet(Facet f, Comparable<?> value)
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)
Datatype<R>	getHostType()
org.semanticweb.owlapi.model.IRI	getIRI()
Map<Facet,Comparable>	getKnownNonNumericFacetValues()
Map<Facet,Comparable>	getKnownNumericFacetValues()
boolean	getNumeric()
Comparable	getNumericFacetValue(Facet f)
ordered	getOrdered()
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)
String	toString()

Methods inherited from class java.lang.Object

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

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

host, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

Constructor Detail

DatatypeNegation

public DatatypeNegation(Datatype<R> d)

Parameters:

d - d

Method Detail

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.

getAncestors

public Collection<Datatype<?>> getAncestors()

Specified by:

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

Returns:

the known ancestors of this datatype

getBounded

public boolean getBounded()

Specified by:

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

Returns:

true if this datatype value space is bounded

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

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

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

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

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

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

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

parseValue

public R parseValue(String s)

Specified by:

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

Parameters:

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

Returns:

value

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.

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

getDatatypeIRI

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

Specified by:

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

Returns:

the datatype IRI

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

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

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

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.

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

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

getHostType

public Datatype<R> getHostType()

Specified by:

getHostType in interface DatatypeExpression<R extends Comparable<R>>

Returns:

the predefined datatype which is host for this expression

addNumericFacet

public DatatypeExpression<R> addNumericFacet(Facet f,
                                             @Nullable
                                             Comparable<?> value)

Specified by:

addNumericFacet in interface DatatypeExpression<R extends Comparable<R>>

Parameters:

f - facet

value - value

Returns:

modified expression

addNonNumericFacet

public DatatypeExpression<R> addNonNumericFacet(Facet f,
                                                @Nullable
                                                Comparable<?> value)

Description copied from interface: DatatypeExpression

add a new facet value for this datatype expression

Specified by:

addNonNumericFacet in interface DatatypeExpression<R extends Comparable<R>>

Parameters:

f - a valid facet for the host datatype

value - the value for the facet

Returns:

modified expression

getIRI

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

Specified by:

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

Specified by:

getIRI in interface Expression