- getValue
- isSatisfiable
- containsAtLeast
Check that the intersection of a collection of _data ranges contains a minimum
number of elements.
- define
Name a _data range (see OWL 2 DatatypeDefinition)
- declare
Declare a named datatype. See #isDeclared(ATermAppl).
- getCanonicalRepresentation
Get the canonical representation of a literal. There is a 1:1 mapping from
elements in a datatype va
- getDefinition
Returns the definition for the given datatype name if it is defined, or null
otherwise.
- getLiteral
Get the canonical ATermAppl literal representation for a value space object
- isDeclared
Check if a specific datatype or named _data range has been declared.
Declaratations can happen by *
- valueIterator
Get an iterator for the values of a finite datarange