DAG datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DAGDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

access by value

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AccessByValue)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

access type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AccessType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateDatatype)

An aggregate datatype is a generated datatype, each of whose values is, in principle, made up of values of the parametric datatypes. The parametric datatypes of an aggregate datatype or its generator are also called component datatypes. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateDatatypeGenerator)

An aggregate datatype generator generates a datatype by - applying an algorithmic procedure to the value spaces of its component datatypes to yield the value space of the aggregate datatype, and - providing a set of characterizing operations specific to the generator. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate field component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateFieldComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate generator facet

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateGeneratorFacet)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateSize)

The size of an aggregate-value is the number of component values it contains. The size of the aggregate datatype is fixed, if and only if all values in its value space contain the same number of component values. The size is variable, if different values of the aggregate datatype may have different numbers of component values. Variability is the more general case; fixed-size is a constraint. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate-imposed identifier uniqueness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateImposedIdentifierUniqueness)

An aggregate-value has the identifier uniqueness property if and only if no identifier (e.g., label, index) of the element datatype occurs more than once in the aggregate-value. The aggregate datatype has the identifier uniqueness property, if and only if all values in its value space do. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

aggregate-imposed ordering

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AggregateImposedOrdering)

An aggregate datatype has the ordering property, if and only if there is a canonical first element of each nonempty value in its value-space. This ordering is (externally) imposed by the aggregate value, as distinct from the value-space of the element datatype itself being (internally) ordered. It is also distinct from the value-space of the aggregate datatype being ordered. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

alternative component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AlternativeComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

alternative list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AlternativeList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

alternative type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AlternativeType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

approximate

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Approximate)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

array datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ArrayDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

array datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ArrayDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

attribute component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AttributeComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

attribute identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AttributeIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

attribute list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#AttributeList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

bag datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#BagDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

base type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#BaseType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

bit

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Bit)

bit is the datatype representing the finite field of two symbols designated 0, the additive identity, and 1, the multiplicative identity. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

bit string

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#BitString)

bitstring is the datatype of variable-length strings of binary digits. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

boolean datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#BooleanDatatype)

boolean is the mathematical datatype associated with two-valued logic. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

bounded

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Bounded)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

boundedness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Boundedness)

A datatype is said to be bounded above if it is ordered and there is a value U in the value space such that, for all values s in the value space, s ≤ U . The value U is then said to be an upper bound of the value space. Similarly, a datatype is said to be bounded below if it is ordered and there is a value L in the space such that, for all values s in the value space, L ≤ s . The value L is then said to be a lower bound of the value space. A datatype is said to be bounded if its value space has both an upper bound and a lower bound. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

cardinality

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Cardinality)

A value space has the mathematical concept of cardinality: it may be finite, denumerably infinite (countable), or non-denumerably infinite (uncountable). A datatype is said to have the cardinality of its value space. In the computational model, there are three significant cases: - datatypes whose value spaces are finite, - datatypes whose value spaces are exact and denumerably infinite, - datatypes whose value spaces are approximate, and therefore have a finite or denumerably infinite computational model, although the conceptual value space may be non-denumerably infinite. Every conceptually finite datatype is necessarily exact. No computational datatype is non-denumerably infinite. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

character datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#CharacterDatatype)

character is a family of datatypes whose value spaces are character-sets. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

character set identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#CharacterSetIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

character string

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#CharacterString)

character string is a family of datatypes which represent strings of symbols from standard character-sets. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

choice datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ChoiceDatatype)

Choice generates a datatype called a choice datatype, each of whose values is a single value from any of a set of alternative datatypes. The alternative datatypes of a choice datatype are logically distinguished by their correspondence to values of another datatype, called the tag datatype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

choice datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ChoiceDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

class datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ClassDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

class datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ClassDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

complex datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ComplexDatatype)

complex is a family of datatypes, each of which is a computational approximation to the mathematical datatype comprising the “complex numbers”. Specifically, each complex datatype designates a collection of mathematical complex values which are known to certain applications to some finite precision and must be distinguishable to at least that precision in those applications.

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

component mandatoriness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ComponentMandatoriness)

The components of an aggregate datatype may not all be required to have a valid value of the datatype, i.e., the actual value space of the datatype may include values for which some of the component values are unspecified. When a component of the datatype is required to have a valid value in order for the aggregate value to be a valid value of the datatype, the component is said to be a mandatory component. When a component of the datatype is not required to have a valid value in order for the aggregate value to be a valid value of the datatype, the component is said to be an optional component. [ISO 11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

component mandatory

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ComponentMandatory)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

component optional

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ComponentOptional)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

countable

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Countable)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Datatype)

set of distinct values, characterized by properties of those values, and by operations on those values. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

datatype facet

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DatatypeFacet)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DatatypeGenerator)

Operation on datatypes, as objects distinct from their values, that generates new datatypes. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

datatype role

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DatatypeRole)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

date and time datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DateAndTimeDatatype)

Time is a family of datatypes whose values are points in time to various common resolutions: year, month, day, hour, minute, second, and fractions thereof. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedDatatype)

Datatype defined by a type-declaration. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined datatype parameter

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedDatatypeParameter)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined datatype parameter list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedDatatypeParameterList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined generator parameter

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedGeneratorParameter)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

defined generator parameter list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DefinedGeneratorParameterList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

descriptive field identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DescriptiveFieldIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

dimensionality

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Dimensionality)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

direct access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DirectAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

directed acyclic graph datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DAGDatatype)

synonyms: DAG datatype

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

directed labeled graph datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DirectedLabeledGraphDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

direction

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Direction)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

direction in

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DirectionIn)

synonyms: in

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

direction out

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DirectionOut)

synonyms: out

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

edge component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#EdgeComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

enumerated datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#EnumeratedDatatype)

enumerated is a family of datatypes, each of which comprises a finite number of distinguished values having an intrinsic order. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

enumerated value identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#EnumeratedValueIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

enumerated value list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#EnumeratedValueList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

equality

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Equality)

In every value space there is a notion of equality, for which the following rules hold: - for any two instances (a, b) of values from the value space, either a is equal to b, denoted a = b , or a is not equal to b, denoted a ≠ b ; - there is no pair of instances (a, b) of values from the value space such that both a = b and a ≠ b ; - for every value a from the value space, a = a ; - for any two instances (a, b) of values from the value space, a = b if and only if b = a ; - for any three instances (a, b, c) of values from the value space, if a = b and b = c , then a = c . On every datatype, the operation Equal is defined in terms of the equality property of the value space, by: - for any values a, b drawn from the value space, Equal(a,b) is true if a = b , and false otherwise. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

exact

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Exact)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

exactness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Exactness)

The computational model of a datatype may limit the degree to which values of the datatype can be distinguished. If every value in the value space of the conceptual datatype is distinguishable in the computational model from every other value in the value space, then the datatype is said to be exact. Certain mathematical datatypes having values which do not have finite representations are said to be approximate, in the following sense: Let M be the mathematical datatype and C be the corresponding computational datatype, and let P be the mapping from the value space of M to the value space of C . Then for every value v' in C , there is a corresponding value v in M and a real value h such that P(x) = v' for all x in M such that v − x < h . That is, v' is the approximation in C to all values in M which are “within distance h of value v ”. Furthermore, for at least one value v' in C , there is more than one value y in M such that P( y) = v' . And thus C is not an exact model of M . In this International Standard, all approximate datatypes have computational models which specify, via parametric values, a degree of approximation, that is, they require a certain minimum set of values of the mathematical datatype to be distinguishable in the computational datatype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

excluding subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExcludingSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

explict subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExplicitSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

extended datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExtendedDatatype)

synonyms: subtype

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

extended value identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExtendedValueIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

extended value list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExtendedValueList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

extending subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ExtendingSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

field component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#FieldComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

field identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#FieldIdentifierRole)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

field list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#FieldList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

finite

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Finite)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

fixed size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#FixedSize)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

generated datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#GeneratedDatatype)

Datatype defined by the application of a datatype generator to one or more previously-defined datatypes. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

generated datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#GeneratedDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

graph aggregate component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#GraphAggregateFieldComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

heterogenous

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Heterogenous)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

heterogenous aggregate datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HeterogenousAggregateDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

heterogenous aggregate datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HeterogenousAggregateDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenity

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Homogenity)

An aggregate datatype is homogeneous, if and only if all components must belong to a single datatype. If different components may belong to different datatypes, the aggregate datatype is said to be heterogeneous. The component datatype of a homogeneous aggregate is also called the element datatype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Homogenous)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous aggregate datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HomogenousAggregateDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous aggregate datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HomogenousAggregateDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous aggregate datatype generator with variable size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HomogenousAggregateDatatypeGeneratorWithVariableSize)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous aggregate datatype with variable size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HomogenousAggregateDatatypeWithVariableSize)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

homogenous unordered aggregate datatype generator with variable size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#HomogenousUnorderedAggregateDatatypeGeneratorWithVariableSize)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

identifier not unique

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IdentifierNotUnique)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

identifier unique

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IdentifierUnique)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

implementation dependent access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ImplementationDependentAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

index access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IndexAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

index type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IndexType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

index type list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IndexTypeList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

indirect access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IndirectAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

integer base type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IntegerBaseType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

integer datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#IntegerDatatype)

integer is the mathematical datatype comprising the exact integral values. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

key access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#KeyAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

labeled dataset record datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#LabeledDatasetRecordDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

labeled graph datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#LabeledGraphDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

list specification

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ListSpecification)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

modulo

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Modulo)

modulo is a family of datatypes derived from Integer by replacing the operations with arithmetic operations using the modulus characteristic. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

multidimensional

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#MultiDimensional)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

natural number

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NaturalNumber)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

node component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NodeComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-aggregate datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonAggregateDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-aggregate datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonAggregateDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-directed labeled graph datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonDirectedLabeledGraphDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-directed labeled graph generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonDirectedLabeledGraphGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-numeric

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonNumeric)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-numeric ordered primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonNumericOrderedPrimitiveDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-numeric primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonNumericPrimitiveDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-numeric unordered primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonNumericUnorderedPrimitiveDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-ordered

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonOrdered)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-recursive

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonRecursive)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

non-unique values

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NonUniqueValues)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

numeric

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Numeric)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

numeric ordered primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NumericOrderedPrimitiveDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

numeric primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#NumericPrimitiveDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

numericalness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Numericalness)

A datatype is said to be numeric if its values are conceptually quantities (in some mathematical number system). A datatype whose values do not have this property is said to be non-numeric. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

object identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ObjectIdentifier)

object identifier is the datatype of “object identifiers”, i.e. values which uniquely identify objects in a (Open Systems Interconnection) communications protocol, using the formal structure defined by Abstract Syntax Notation One (ISO/IEC 8824). [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

octet

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Octet)

octet is the datatype of 8-bit codes, as used for character-sets and private encodings. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

octet string

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#OctetString)

octet string is the datatype of variable-length encodings using 8-bit codes. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

one dimensional

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#OneDimensional)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

optional generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#OptionalGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

order

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Order)

A value space is said to be ordered if there exists for the value space an order relation, denoted ≤, with the following rules: - for every pair of values (a, b) from the value space, either a ≤ b or b ≤ a , or both; - for any two values (a, b) from the value space, if a ≤ b and b ≤ a , then a = b ; - for any three values (a, b, c) from the value space, if a ≤ b and b ≤ c , then a ≤ c . For convenience, the notation a < b is used herein to denote the simultaneous relationships: a ≤ b and a ≠ b . A datatype is said to be ordered if an order relation is defined on its value space. A corresponding characterizing operation, called InOrder, is then defined by: - for any two values (a, b) from the value space, InOrder(a, b) is true if a ≤ b , and false otherwise. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

ordered

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Ordered)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

ordered aggregate

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#OrderedAggregate)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

ordinal datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#OrdinalType)

ordinal is the datatype of the ordinal numbers, as distinct from the quantifying numbers (datatype integer). ordinal is the infinite enumerated datatype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

parameter

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Parameter)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

parameter identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ParameterIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

pointer datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PointerDatatype)

pointer generates a datatype, called a pointer datatype, each of whose values constitutes a means of reference to values of another datatype, designated the element datatype. The values of a pointer datatype are atomic. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

pointer datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PointerDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

pointer element type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PointerElementType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

position access

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PositionAccess)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

positive integer datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PositiveIntegerDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

positive integer range subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PositiveIntegerRangeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

primitive datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PrimitiveDatatype)

Identifiable datatype that cannot be decomposed into other identifiable datatypes without loss of all semantics associated with the datatype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

primitive field component

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#PrimitiveFieldComponent)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

private

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Private)

A private datatype represents an application-defined value-space and operation set which are intentionally concealed from certain processing entities. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

procedure datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ProcedureDatatype)

procedure generates a datatype, called a procedure datatype, each of whose values is an operation on values of other datatypes, designated the parameter datatypes. That is, a procedure datatype comprises the set of all operations on values of a particular collection of datatypes. All values of a procedure datatype are conceptually atomic. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

procedure datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ProcedureDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

procedure parameter declaration

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ProcedureParameterDeclaration)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

procedure parameter list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ProcedureParameterList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

range subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RangeSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

rational datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RationalDatatype)

Rational is the mathematical datatype comprising the “rational numbers”. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

real base type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RealBaseType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

real datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RealDatatype)

real is a family of datatypes which are computational approximations to the mathematical datatype comprising the “real numbers”. Specifically, each real datatype designates a collection of mathematical real values which are expressed to some finite precision and must be distinguishable to at least that precision. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

record datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RecordDatatype)

synonyms: tuple datatype

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

record datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#RecordDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

recursive

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Recursive)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

recursiveness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Recursiveness)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

return parameter specification

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ReturnParameterSpecification)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

scaled datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ScaledDatatype)

Scaled is a family of datatypes whose value spaces are subsets of the rational value space, each individual datatype having a fixed denominator, but the scaled datatypes possess the concept of approximate value. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

select item specification

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SelectItemSpecification)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

select list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SelectList)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

selection subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SelectionSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

semi-structured

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SemiStructured)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

sequence datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SequenceDatatype)

Sequence generates a datatype, called a sequence datatype, whose values are ordered sequences of values from the element datatype. The ordering is imposed on the values and not intrinsic in the underlying datatype; the same value may occur more than once in a given sequence. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

sequence datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SequenceDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

set datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SetDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

size subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SizeSubtypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

stack generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#StackGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

state base type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#DiscreteBaseType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

state datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#StateDatatype)

State is a family of datatypes, each of which comprises a finite number of distinguished but unordered values. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

state value identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#StateValueIdentifier)

synonyms: discrete value identifier

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

state value list

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#StateValueList)

synonyms: discrete value list

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

structured

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Structured)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

structuredness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Structuredness)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

subtype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#SubtypeGenerator)

A subtype is a datatype derived from an existing datatype, designated the base datatype, by restricting the value space to a subset of that of the base datatype whilst maintaining all characterizing operations. Subtypes are created by a kind of datatype generator which is unusual in that its only function is to define the relationship between the value spaces of the base datatype and the subtype. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

table datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TableDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

table datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TableDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

tag type

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TagType)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

target field identifier

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TargetFieldIdentifier)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

time interval

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TimeInterval)

timeinterval is a family of datatypes representing elapsed time in seconds or fractions of a second (as opposed to Date-and-time, which represents a point in time). It is a generated datatype derived from a scaled datatype by limiting the operations. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

tree datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TreeDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

tree datatype generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TreeDatatypeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

tree generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TreeGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

two dimensional

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#TwoDimensional)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

unbounded

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Unbounded)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

uncountable

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Uncountable)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

unique values

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#UniqueValues)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

uniqueness

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Uniqueness)

An aggregate-value has the uniqueness property if and only if no value of the element datatype occurs more than once in the aggregate-value. The aggregate datatype has the uniqueness property, if and only if all values in its value space do. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

unlabeled dataset record datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#UnlabeledDatasetRecordDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

unordered aggregate

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#UnorderedAggregate)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

unstructured

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#Unstructured)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

value space

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#ValueSpace)

a value space is the collection of values for a given datatype

sources:
  • ISO/IEC 11404:2007(E)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

variable size

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#VariableSize)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

vector datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#VectorDatatype)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

vector generator

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#VectorGenerator)

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in:

void datatype

(http://purl.allotrope.org/ontologies/afo/domain/datatype-submission#VoidDatatype)

void is the datatype representing an object whose presence is syntactically or semantically required, but carries no information in a given instance. [ISO11404]

© Allotrope

Creative Commons Attribution 4.0 International Public License

defined in: