org.semanticweb.HermiT.model

Class AtomicNegationDataRange

java.lang.Object

org.semanticweb.HermiT.model.DataRange

org.semanticweb.HermiT.model.LiteralDataRange

org.semanticweb.HermiT.model.AtomicNegationDataRange

All Implemented Interfaces:

Serializable, DLPredicate

public class AtomicNegationDataRange
extends LiteralDataRange

Represents a negation of a data range.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static AtomicNegationDataRange	create(AtomicDataRange negatedDataRange)
AtomicDataRange	getNegatedDataRange()
LiteralDataRange	getNegation()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
boolean	isNegatedInternalDatatype()
String	toString(Prefixes prefixes)

Methods inherited from class org.semanticweb.HermiT.model.LiteralDataRange

isInternalDatatype

Methods inherited from class org.semanticweb.HermiT.model.DataRange

getArity, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.HermiT.model.DLPredicate

getArity

Method Detail

getNegatedDataRange

public AtomicDataRange getNegatedDataRange()

Returns:

negated data range

getNegation

public LiteralDataRange getNegation()

Specified by:

getNegation in class LiteralDataRange

Returns:

negation

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class DataRange

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class DataRange

Returns:

true if always false

isNegatedInternalDatatype

public boolean isNegatedInternalDatatype()

Overrides:

isNegatedInternalDatatype in class LiteralDataRange

Returns:

true if negated internal

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class DataRange

Parameters:

prefixes - prefixes

Returns:

toString

create

public static AtomicNegationDataRange create(AtomicDataRange negatedDataRange)

Parameters:

negatedDataRange - negatedDataRange

Returns:

data range