Ontology of General Purpose Datatypes
type: Ontology
description: This ontology contains entities such as: datatype, datatype generator, datatype qualiy and others giving the possibility to represent arbitrary complex datatypes. The OntoDT ontology is based on and ISO/IEC 11404 (http://www.iso.org/iso/catalogue_detail.htm?csnumber=39479) standard and can be reused used independently by any domain ontology that requires representation and reasoning about general purpose datatypes.
contributor: Larisa Soldatova
contributor: Pance Panov
creator: Pance Panov
version info: 1.0
contributor: Saso Dzeroski
date: 03.12.2014
imports: ontology-metadata.owl

represents
type: ObjectProperty
TV sg: OntoDT_0000003s
TV pl: OntoDT_0000003
TV vbg: OntoDT_0000003ed
sub property of: topObjectProperty

has_role
type: ObjectProperty
TV sg: OntoDT_0000009s
TV vbg: OntoDT_0000009ed
TV pl: OntoDT_0000009
sub property of: topObjectProperty

role_of
type: ObjectProperty
TV sg: OntoDT_0000010s
TV pl: OntoDT_0000010
TV vbg: OntoDT_0000010ed
inverse of: has_role
sub property of: topObjectProperty

is_quality_of
type: ObjectProperty
TV sg: OntoDT_0000012s
TV vbg: OntoDT_0000012ed
TV pl: OntoDT_0000012
inverse of: has_quality

is-about
type: ObjectProperty
TV pl: IAO_0000136
TV vbg: IAO_0000136ed
TV sg: IAO_0000136s
sub property of: topObjectProperty

denotes
type: ObjectProperty
TV sg: IAO_0000219s
TV vbg: IAO_0000219ed
TV pl: IAO_0000219
sub property of: is-about

has_quality
type: ObjectProperty
TV sg: OBI_0000298s
TV vbg: OBI_0000298ed
TV pl: OBI_0000298
sub property of: topObjectProperty

has_operation
type: ObjectProperty
TV vbg: OntoDT_0000400ed
TV pl: OntoDT_0000400
TV sg: OntoDT_0000400s
sub property of: has_attribute

has_attribute
type: ObjectProperty
TV sg: OntoDT_0000401s
TV pl: OntoDT_0000401
TV vbg: OntoDT_0000401ed
sub property of: topObjectProperty

has_identifier
type: ObjectProperty
TV vbg: OntoDT_0000402ed
TV sg: OntoDT_0000402s
TV pl: OntoDT_0000402
sub property of: has_attribute

attribute_of
type: ObjectProperty
TV sg: OntoDT_0000403s
TV vbg: OntoDT_0000403ed
TV pl: OntoDT_0000403

identifier_for
type: ObjectProperty
TV pl: OntoDT_0000404
TV sg: OntoDT_0000404s
TV vbg: OntoDT_0000404ed
inverse of: has_identifier
sub property of: attribute_of

has_member
type: ObjectProperty
TV sg: OntoDT_0000405s
TV vbg: OntoDT_0000405ed
TV pl: OntoDT_0000405
sub property of: has_attribute

is_member_of
type: ObjectProperty
TV pl: OntoDT_0000406
TV sg: OntoDT_0000406s
TV vbg: OntoDT_0000406ed
sub property of: attribute_of
inverse of: has_member

is_operation_of
type: ObjectProperty
TV sg: OntoDT_0000407s
TV pl: OntoDT_0000407
TV vbg: OntoDT_0000407ed
inverse of: has_operation
sub property of: attribute_of

has-value
type: DatatypeProperty
TV vbg: OntoDT_0000240ed
TV sg: OntoDT_0000240s
TV pl: OntoDT_0000240

Datatype Specification Language Representation
type: Class
subclass of: representation
subclass of: Restriction
  on property: represents
  some values from: datatype
CN pl: OntoDT_0000002s
CN sg: OntoDT_0000002

list specification
type: Class
subclass of: specification
CN sg: OntoDT_0000005
CN pl: OntoDT_0000005s

datatype generator
type: Class
subclass of: directive information entity
CN sg: OntoDT_0000006
CN pl: OntoDT_0000006s

datatype role
type: Class
subclass of: role
subclass of: Restriction
  on property: role_of
  some values from: datatype
CN pl: OntoDT_0000008s
CN sg: OntoDT_0000008

excluding subtype generator
type: Class
subclass of: subtype generator
subclass of: Restriction
  on property: has_member
  some values from: select-list
CN pl: OntoDT_0000013s
CN sg: OntoDT_0000013

explicit subtype generator
type: Class
subclass of: subtype generator
CN sg: OntoDT_0000014
CN pl: OntoDT_0000014s

extending subtype generator
type: Class
subclass of: subtype generator
subclass of: Restriction
  on property: has_member
  some values from: extended-value-list
CN pl: OntoDT_0000015s
CN sg: OntoDT_0000015

range subtype generator
type: Class
subclass of: subtype generator
subclass of: Restriction
  on property: has_member
  some values from: range
CN sg: OntoDT_0000016
CN pl: OntoDT_0000016s

selection subtype generator
type: Class
subclass of: subtype generator
subclass of: Restriction
  on property: has_member
  some values from: select-list
CN sg: OntoDT_0000017
CN pl: OntoDT_0000017s

size subtype generator
type: Class
subclass of: subtype generator
subclass of: Restriction
  on property: has_member
  some values from: size
CN sg: OntoDT_0000018
CN pl: OntoDT_0000018s

natural number
type: Class
subclass of: defined datatype
CN pl: OntoDT_0000019s
CN sg: OntoDT_0000019

modulo
type: Class
subclass of: defined datatype
CN pl: OntoDT_0000020s
CN sg: OntoDT_0000020

bit
type: Class
subclass of: defined datatype
CN sg: OntoDT_0000021
CN pl: OntoDT_0000021s

bit string
type: Class
subclass of: defined datatype
CN pl: OntoDT_0000022s
CN sg: OntoDT_0000022

character string
type: Class
subclass of: defined datatype
CN pl: OntoDT_0000023s
CN sg: OntoDT_0000023

time interval
type: Class
subclass of: defined datatype
CN sg: OntoDT_0000024
CN pl: OntoDT_0000024s

octet
type: Class
subclass of: defined datatype
CN sg: OntoDT_0000025
CN pl: OntoDT_0000025s

octet string
type: Class
subclass of: defined datatype
CN sg: OntoDT_0000026
CN pl: OntoDT_0000026s

private
type: Class
subclass of: defined datatype
CN sg: OntoDT_0000027
CN pl: OntoDT_0000027s

object identifier
type: Class
subclass of: defined datatype
CN pl: OntoDT_0000028s
CN sg: OntoDT_0000028

stack
type: Class
subclass of: defined generator
CN sg: OntoDT_0000029
CN pl: OntoDT_0000029s

tree
type: Class
subclass of: defined generator
CN sg: OntoDT_0000030
CN pl: OntoDT_0000030s

optional
type: Class
subclass of: defined generator
CN pl: OntoDT_0000031s
CN sg: OntoDT_0000031

array generator
type: Class
subclass of: homogenous aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: unordered aggregate
subclass of: Restriction
  on property: has_quality
  some values from: fixed size
subclass of: Restriction
  on property: has_quality
  some values from: multi dimensional
subclass of: Restriction
  on property: has_quality
  some values from: index access
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
disjoint with: homogenous aggregate generator with variable size
CN sg: OntoDT_0000032
CN pl: OntoDT_0000032s

bag generator
type: Class
subclass of: homogenous unordered aggregate generator with variable size
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
subclass of: Restriction
  on property: has_quality
  some values from: implementation dependent access
disjoint with: set generator
CN pl: OntoDT_0000033s
CN sg: OntoDT_0000033

class generator
type: Class
subclass of: heterogenous aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: key access
subclass of: Restriction
  on property: has_quality
  some values from: unordered aggregate
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
subclass of: Restriction
  on property: has_quality
  some values from: one dimensional
subclass of: Restriction
  on property: has_quality
  some values from: fixed size
disjoint with: record generator
disjoint with: table generator
CN pl: OntoDT_0000034s
CN sg: OntoDT_0000034

record generator
type: Class
subclass of: heterogenous aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: fixed size
subclass of: Restriction
  on property: has_quality
  some values from: one dimensional
subclass of: Restriction
  on property: has_quality
  some values from: unordered aggregate
subclass of: Restriction
  on property: has_quality
  some values from: key access
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
disjoint with: table datatype
CN sg: OntoDT_0000035
CN pl: OntoDT_0000035s

sequence generator
type: Class
subclass of: homogenous aggregate generator with variable size
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
subclass of: Restriction
  on property: has_quality
  some values from: ordered aggregate
subclass of: Restriction
  on property: has_quality
  some values from: position access
disjoint with: homogenous unordered aggregate generator with variable size
CN sg: OntoDT_0000036
CN pl: OntoDT_0000036s

set generator
type: Class
subclass of: homogenous unordered aggregate generator with variable size
subclass of: Restriction
  on property: has_quality
  some values from: access by value
subclass of: Restriction
  on property: has_quality
  some values from: unique values
CN sg: OntoDT_0000037
CN pl: OntoDT_0000037s

table generator
type: Class
subclass of: heterogenous aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: non-unique values
subclass of: Restriction
  on property: has_quality
  some values from: variable size
subclass of: Restriction
  on property: has_quality
  some values from: unordered aggregate
subclass of: Restriction
  on property: has_quality
  some values from: two dimensional
CN sg: OntoDT_0000038
CN pl: OntoDT_0000038s

choice generator
type: Class
subclass of: non-aggregate generator
subclass of: Restriction
  on property: is_member_of
  some values from: choice datatype
CN pl: OntoDT_0000039s
CN sg: OntoDT_0000039

pointer generator
type: Class
subclass of: non-aggregate generator
subclass of: Restriction
  on property: is_member_of
  some values from: pointer datatype
CN sg: OntoDT_0000040
CN pl: OntoDT_0000040s

procedure generator
type: Class
subclass of: non-aggregate generator
CN sg: OntoDT_0000041
CN pl: OntoDT_0000041s

table datatype
type: Class
subclass of: heterogenous aggregate datatype
subclass of: Restriction
  on property: has_member
  some values from: table generator
subclass of: Restriction
  on property: has_operation
  some values from: IsEmpty:table
subclass of: Restriction
  on property: has_operation
  some values from: MapToBag:table
subclass of: Restriction
  on property: has_operation
  some values from: Insert:table
subclass of: Restriction
  on property: has_operation
  some values from: Select:table
subclass of: Restriction
  on property: has_operation
  some values from: MapToTable:table
subclass of: Restriction
  on property: has_member
  some values from: field-list
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Delete:table
subclass of: Restriction
  on property: has_operation
  some values from: Fetch:table
subclass of: Restriction
  on property: has_operation
  some values from: Serialize:table
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
disjoint with: record (tuple) datatype
CN sg: OntoDT_003508
CN pl: OntoDT_003508s
IAO_0000115: whose values are collections of values in the product space of one or more field datatypes, such that each value in the product space represents an association among the values of its fields. Although the field datatypes may be infinite, any given value of a table datatype contains a finite number of associations.

attribute identifier
type: Class
subclass of: identifier
CN sg: OntoDT_016936
CN pl: OntoDT_016936s

aggregate imposed ordering
type: Class
equivalent class: Class
  union of: ordered aggregate
  union of: unordered aggregate
subclass of: aggregate generator property
disjoint with: aggregate-imposed identifier uniqueness
disjoint with: homogenity
disjoint with: agregate size
disjoint with: uniqueness
disjoint with: component mandatoriness
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN sg: OntoDT_017837
CN pl: OntoDT_017837s
IAO_0000115: 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 (see 6.3.2). It is also distinct from the value-space of the aggregate datatype being ordered.

primitive datatype
type: Class
subclass of: datatype
subclass of: Restriction
  on property: has_quality
  some values from: equality
disjoint with: generated datatype
disjoint with: defined datatype
CN pl: OntoDT_018988s
IAO_0000115: A datatype whose value space is defined either axiomatically or by enumeration is said to be a primitive datatype. identifiable datatype that cannot be decomposed into other identifiable datatypes without loss of all semantics associated with the datatype
CN sg: OntoDT_018988

defined datatype parameter
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: has_identifier
  some values from: parameter identifier
subclass of: Restriction
  on property: is_member_of
  some values from: defined datatype parameter-list
subclass of: Restriction
  on property: role_of
  some values from: datatype
CN sg: OntoDT_029503
CN pl: OntoDT_029503s

real field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: real field component
disjoint with: boolean field-list
disjoint with: discrete field-list
CN pl: OntoDT_032725s
CN sg: OntoDT_032725

parameter identifier
type: Class
subclass of: identifier
CN pl: OntoDT_035818s
CN sg: OntoDT_035818

date-time factor
type: Class
subclass of: factor
CN pl: OntoDT_038213s
CN sg: OntoDT_038213

graph aggregate component
type: Class
subclass of: aggregate field component
CN sg: OntoDT_041544
CN pl: OntoDT_041544s

field component
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
subclass of: Restriction
  on property: has_identifier
  some values from: field identifier
CN pl: OntoDT_059114s
CN sg: OntoDT_059114
IAO_0000115: datatype which is a parametric datatype to a datatype generator parametric datatype datatype on which a datatype generator operates to produce a generated datatype

dyadic operation
type: Class
subclass of: characterizing operation
disjoint with: niladic operation
disjoint with: monadic operation
disjoint with: n-adic operation
CN pl: OntoDT_067375s
CN sg: OntoDT_067375
comment: Dyadic operation maps a pair of values of the given datatype into a value of the given datatype or into a value of datatype Boolean

attribute-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: attribute component
CN pl: OntoDT_079536s
CN sg: OntoDT_079536

discrete-value-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: discrete-value identifier
CN sg: OntoDT_089686
CN pl: OntoDT_089686s

value space
type: Class
subclass of: specification
CN sg: OntoDT_095716
IAO_0000115: a value space is the collection of values for a given datatype
IAO_0000119: ISO/IEC 11404:2007(E)
CN pl: OntoDT_095716s

tree datatype generator
type: Class
subclass of: directed labeled graph datatype generator
disjoint with: DAG datatype generator
CN pl: OntoDT_099378s
CN sg: OntoDT_099378

tag-type
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
CN sg: OntoDT_1000000
CN pl: OntoDT_1000000s

tag-value list
type: Class
subclass of: specification
CN pl: OntoDT_1000001s
CN sg: OntoDT_1000001

alternative-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: alternative component
CN sg: OntoDT_1000002
CN pl: OntoDT_1000002s

alternative-type
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
subclass of: Restriction
  on property: is_member_of
  some values from: alternative component
CN pl: OntoDT_1000003s
CN sg: OntoDT_1000003

alternative component
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: has_member
  some values from: tag-value list
subclass of: Restriction
  on property: has_member
  some values from: alternative-type
CN pl: OntoDT_1000004s
CN sg: OntoDT_1000004

pointer-element-type
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
CN pl: OntoDT_1000005s
CN sg: OntoDT_1000005

procedure-parameter-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: procedure-paremeter declaration
CN pl: OntoDT_1000006s
CN sg: OntoDT_1000006

procedure-paremeter declaration
type: Class
subclass of: specification
subclass of: Restriction
  on property: has_member
  some values from: parameter
subclass of: Restriction
  on property: has_member
  some values from: direction
CN pl: OntoDT_1000007s
CN sg: OntoDT_1000007

direction
type: Class
subclass of: specification
CN sg: OntoDT_1000008
CN pl: OntoDT_1000008s

parameter
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
subclass of: Restriction
  on property: has_identifier
  some values from: parameter identifier
CN pl: OntoDT_1000009s
CN sg: OntoDT_1000009

return-parameter specification
type: Class
subclass of: specification
subclass of: Restriction
  on property: has_member
  some values from: datatype
subclass of: Restriction
  on property: has_identifier
  some values from: parameter identifier
CN pl: OntoDT_1000010s
CN sg: OntoDT_1000010

array datatype
type: Class
subclass of: homogenous aggregate datatype
subclass of: Restriction
  on property: has_operation
  some values from: Select:table
subclass of: Restriction
  on property: has_member
  some values from: index-type list
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Replace:array
subclass of: Restriction
  on property: has_member
  some values from: base type
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_operation
  some values from: Equal:array
subclass of: Restriction
  on property: has_member
  some values from: array generator
disjoint with: homogenous aggregate datatype with variable size
IAO_0000115: whose values are associations between the product space of one or more finite datatypes, designated the index datatypes, and the value space of the element datatype, such that every value in the product space of the index datatypes associates to exactly one value of the element datatype.
CN pl: OntoDT_110287s
CN sg: OntoDT_110287

scaled datatype
type: Class
subclass of: numeric ordered primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: unbounded
subclass of: Restriction
  on property: has_operation
  some values from: Divide:scaled
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:scaled
subclass of: Restriction
  on property: has_operation
  some values from: Multiply:scaled
subclass of: Restriction
  on property: has_member
  some values from: scaled radix
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Negate:scaled
subclass of: Restriction
  on property: has_operation
  some values from: Round:scaled
subclass of: Restriction
  on property: has_operation
  some values from: Add:scaled
subclass of: Restriction
  on property: has_member
  some values from: scaled factor
subclass of: Restriction
  on property: has_operation
  some values from: Equal:scaled
disjoint with: integer datatype
disjoint with: rational datatype
CN sg: OntoDT_131075
CN pl: OntoDT_131075s
IAO_0000115: 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.

real datatype
type: Class
subclass of: numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Multiply:real
subclass of: Restriction
  on property: has_quality
  some values from: approximate
subclass of: Restriction
  on property: has_operation
  some values from: Negate:real
subclass of: Restriction
  on property: has_member
  some values from: real radix
subclass of: Restriction
  on property: has_quality
  some values from: unbounded
subclass of: Restriction
  on property: has_operation
  some values from: Reciprocal:real
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:real
subclass of: Restriction
  on property: has_operation
  some values from: Add:real
subclass of: Restriction
  on property: has_operation
  some values from: Promote:real
subclass of: Restriction
  on property: has_operation
  some values from: Equal:real
subclass of: Restriction
  on property: has_member
  some values from: real factor
disjoint with: integer datatype
disjoint with: rational datatype
IAO_0000115: 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.
CN sg: OntoDT_150012
CN pl: OntoDT_150012s

scaled factor
type: Class
subclass of: factor
CN pl: OntoDT_153781s
CN sg: OntoDT_153781

aggregate-imposed identifier uniqueness
type: Class
equivalent class: Class
  union of: identifier not unique
  union of: identifier unique
subclass of: aggregate generator property
disjoint with: homogenity
disjoint with: agregate size
disjoint with: uniqueness
disjoint with: component mandatoriness
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN pl: OntoDT_158535s
CN sg: OntoDT_158535
IAO_0000115: 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.

non-aggregate generator
type: Class
equivalent class: Class
  union of: choice generator
  union of: pointer generator
  union of: procedure generator
subclass of: generated datatype generator
disjoint with: defined generator
disjoint with: aggregate datatype
disjoint with: aggregate generator
CN sg: OntoDT_176330
CN pl: OntoDT_176330s

identifier
type: Class
subclass of: information artifact entity
CN sg: OntoDT_184436
CN pl: OntoDT_184436s

exactness
type: Class
equivalent class: Class
  union of: approximate
  union of: exact
subclass of: datatype property
disjoint with: numericalness
disjoint with: cardinality
disjoint with: order
disjoint with: boundedness
disjoint with: equality
CN pl: OntoDT_185557s
IAO_0000115: 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
CN sg: OntoDT_185557

generated datatype
type: Class
subclass of: datatype
subclass of: Restriction
  on property: has_member
  some values from: generated datatype generator
disjoint with: defined datatype
CN sg: OntoDT_191754
CN pl: OntoDT_191754s
IAO_0000115: A generated datatype is a datatype resulting from an application of a datatype generator.

numericalness
type: Class
equivalent class: Class
  union of: numeric
  union of: non-numeric
subclass of: datatype property
disjoint with: cardinality
disjoint with: order
disjoint with: boundedness
disjoint with: equality
CN pl: OntoDT_194081s
CN sg: OntoDT_194081
IAO_0000115: 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.

homogenity
type: Class
equivalent class: Class
  union of: homogenous
  union of: heterogenous
subclass of: aggregate generator property
disjoint with: agregate size
disjoint with: uniqueness
disjoint with: component mandatoriness
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN sg: OntoDT_205502
CN pl: OntoDT_205502s
IAO_0000115: 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.

vector datatype
type: Class
subclass of: array datatype
subclass of: Restriction
  on property: has_member
  some values from: vector generator
CN pl: OntoDT_207563s
CN sg: OntoDT_207563

directed labeled graph datatype generator
type: Class
subclass of: defined generator
CN pl: OntoDT_210187s
CN sg: OntoDT_210187

maximum-size
type: Class
subclass of: size
CN pl: OntoDT_220858s
CN sg: OntoDT_220858

discrete field component
type: Class
subclass of: primitive field component
subclass of: Restriction
  on property: role_of
  some values from: discrete datatype
disjoint with: real field component
disjoint with: boolean field component
CN pl: OntoDT_233572s
CN sg: OntoDT_233572

pointer datatype
type: Class
subclass of: non-aggregate datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_member
  some values from: pointer generator
subclass of: Restriction
  on property: has_member
  some values from: pointer-element-type
subclass of: Restriction
  on property: has_operation
  some values from: Equal:pointer
subclass of: Restriction
  on property: has_operation
  some values from: Dereference:pointer
subclass of: Restriction
  on property: has_quality
  some values from: exact
comment: whose values constitutes a means of reference to values of another datatype, designated the element datatype. The values of a pointer datatype are atomic.
CN pl: OntoDT_236485s
CN sg: OntoDT_236485

tree datatype
type: Class
subclass of: labeled graph datatype
subclass of: Restriction
  on property: has_member
  some values from: tree datatype generator
disjoint with: DAG datatype
CN sg: OntoDT_245924
CN pl: OntoDT_245924s

agregate size
type: Class
equivalent class: Class
  union of: fixed size
  union of: variable size
subclass of: aggregate generator property
disjoint with: uniqueness
disjoint with: component mandatoriness
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN pl: OntoDT_251157s
IAO_0000115: 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.
CN sg: OntoDT_251157

uniqueness
type: Class
equivalent class: Class
  union of: non-unique values
  union of: unique values
subclass of: aggregate generator property
disjoint with: component mandatoriness
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN sg: OntoDT_261649
CN pl: OntoDT_261649s
IAO_0000115: 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.

real factor
type: Class
subclass of: factor
CN sg: OntoDT_267718
CN pl: OntoDT_267718s

aggregate generator property
type: Class
subclass of: quality
CN pl: OntoDT_283020s
CN sg: OntoDT_283020

index-type
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: has_member
  some values from: index upperbound
subclass of: Restriction
  on property: is_member_of
  some values from: index-type list
subclass of: Restriction
  on property: role_of
  some values from: datatype
subclass of: Restriction
  on property: has_member
  some values from: index lowerbound
CN pl: OntoDT_293023s
CN sg: OntoDT_293023

defined generator parameter
type: Class
subclass of: specification
subclass of: Restriction
  on property: has_identifier
  some values from: parameter identifier
CN sg: OntoDT_295799
CN pl: OntoDT_295799s

upper bound
type: Class
subclass of: bound
subclass of: Restriction
  on property: has-value
  qualified cardinality: 1
  on data range: integer
CN sg: OntoDT_296536
CN pl: OntoDT_296536s

defined datatype
type: Class
subclass of: datatype
subclass of: Restriction
  on property: has_member
  some values from: defined generator
subclass of: Restriction
  on property: has_member
  some values from: defined datatype parameter-list
CN pl: OntoDT_310738s
CN sg: OntoDT_310738

cardinality
type: Class
equivalent class: Class
  union of: countable
  union of: finite
  union of: uncountable
subclass of: datatype property
disjoint with: order
disjoint with: boundedness
disjoint with: equality
CN pl: OntoDT_318874s
IAO_0000115: 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.
CN sg: OntoDT_318874

character datatype
type: Class
subclass of: non-numeric unordered primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Equal:character
subclass of: Restriction
  on property: has_identifier
  some values from: character-set identifier
disjoint with: discrete datatype
disjoint with: boolean datatype
CN sg: OntoDT_321211
CN pl: OntoDT_321211s
IAO_0000115: character is a family of datatypes whose value spaces are character-sets.

defined generator
type: Class
subclass of: datatype generator
subclass of: Restriction
  on property: is_member_of
  some values from: defined datatype
CN pl: OntoDT_329404s
CN sg: OntoDT_329404

enumerated-value identifier
type: Class
subclass of: identifier
subclass of: Restriction
  on property: has-value
  some values from: Literal
CN sg: OntoDT_334619
CN pl: OntoDT_334619s

defined generator parameter-list
type: Class
subclass of: list specification
CN sg: OntoDT_335173
CN pl: OntoDT_335173s

non-directed labeled graph generator
type: Class
subclass of: defined generator
CN sg: OntoDT_339517
CN pl: OntoDT_339517s

discrete base type
type: Class
subclass of: base type
subclass of: Restriction
  on property: role_of
  some values from: discrete datatype
disjoint with: real base type
CN pl: OntoDT_339518s
CN sg: OntoDT_339518

select-item specification
type: Class
subclass of: specification
CN sg: OntoDT_344884
CN pl: OntoDT_344884s

record of boolean datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  some values from: boolean field-list
disjoint with: record of real datatype
disjoint with: record of discrete datatype
CN pl: OntoDT_360708s
CN sg: OntoDT_360708

order
type: Class
equivalent class: Class
  union of: ordered
  union of: non-ordered
subclass of: datatype property
disjoint with: boundedness
disjoint with: equality
IAO_0000115: A datatype is said to be ordered if an order relation is defined on its value space.
CN sg: OntoDT_369036
CN pl: OntoDT_369036s

date-time unit
type: Class
subclass of: label
CN pl: OntoDT_369421s
CN sg: OntoDT_369421

defined datatype parameter-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: defined datatype parameter
CN pl: OntoDT_372249s
CN sg: OntoDT_372249

boolean field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: boolean field component
disjoint with: discrete field-list
CN sg: OntoDT_377129
CN pl: OntoDT_377129s

set of discrete datatype
type: Class
subclass of: set datatype
subclass of: Restriction
  on property: has_member
  some values from: discrete base type
disjoint with: set of real datatype
CN pl: OntoDT_377271s
CN sg: OntoDT_377271

aggregate datatype
type: Class
subclass of: generated datatype
subclass of: Restriction
  on property: has_member
  some values from: aggregate generator
disjoint with: non-aggregate datatype
CN pl: OntoDT_378476s
IAO_0000115: 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.
CN sg: OntoDT_378476
comment: synonim: structured datatype

enumerated datatype
type: Class
subclass of: non-numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Equal:enumerated
subclass of: Restriction
  on property: has_member
  some values from: enumerated-value-list
subclass of: Restriction
  on property: has_operation
  some values from: Successor:enumerated
subclass of: Restriction
  on property: has_quality
  some values from: bounded
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:enumerated
subclass of: Restriction
  on property: has_quality
  some values from: exact
disjoint with: date and time datatype
disjoint with: ordinal datatype
CN sg: OntoDT_379444
IAO_0000115: enumerated is a family of datatypes, each of which comprises a finite number of distinguished values having an intrinsic order.
CN pl: OntoDT_379444s
comment: synonim: discrete datatype

choice datatype
type: Class
subclass of: non-aggregate datatype
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Discriminant:choice
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_operation
  some values from: Tag:choice
subclass of: Restriction
  on property: has_operation
  some values from: Cast:choice
subclass of: Restriction
  on property: has_operation
  some values from: Equal:choice
subclass of: Restriction
  on property: has_member
  some values from: tag-type
subclass of: Restriction
  on property: has_member
  some values from: alternative-list
subclass of: Restriction
  on property: has_member
  some values from: choice generator
CN pl: OntoDT_382564s
CN sg: OntoDT_382564
comment: 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.

datatype property
type: Class
subclass of: quality
CN pl: OntoDT_387093s
CN sg: OntoDT_387093

real field component
type: Class
subclass of: primitive field component
subclass of: Restriction
  on property: role_of
  some values from: real datatype
disjoint with: boolean field component
CN sg: OntoDT_387565
CN pl: OntoDT_387565s

lower bound
type: Class
subclass of: bound
subclass of: Restriction
  on property: has-value
  qualified cardinality: 1
  on data range: integer
CN sg: OntoDT_390995
CN pl: OntoDT_390995s

date-time radix
type: Class
subclass of: radix
CN sg: OntoDT_393702
CN pl: OntoDT_393702s

boolean field component
type: Class
subclass of: primitive field component
subclass of: Restriction
  on property: role_of
  some values from: boolean datatype
CN pl: OntoDT_395046s
CN sg: OntoDT_395046

boundedness
type: Class
equivalent class: Class
  union of: bounded
  union of: unbounded
subclass of: datatype property
disjoint with: equality
IAO_0000115: 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.
CN sg: OntoDT_396145
CN pl: OntoDT_396145s

generated datatype generator
type: Class
equivalent class: Class
  union of: non-aggregate generator
  union of: aggregate generator
subclass of: datatype generator
subclass of: Restriction
  on property: is_member_of
  some values from: generated datatype
CN pl: OntoDT_436502s
IAO_0000115: A datatype generator is a conceptual operation on one or more datatypes which yields a datatype. A datatype generator operates on datatypes to generate a datatype, rather than on values to generate a value. Specifically, a datatype generator is the combination of: ⎯ a collection of criteria for the number and characteristics of the datatypes to be operated upon, ⎯ a construction procedure which, given a collection of datatypes meeting those criteria, creates a new value space from the value spaces of those datatypes, and ⎯ a collection of characterizing operations which attach to the resulting value space to complete the definition of a new datatype. The application of a datatype generator to a specific collection of datatypes meeting the criteria for the datatype generator forms a generated datatype. The generated datatype is sometimes called the resulting datatype, and the collection of datatypes to which the datatype generator was applied are called its parametric datatypes.
CN sg: OntoDT_436502
comment: synonim: datatype constructor
IAO_0000119: ISO/IEC 11404:2007(E)

factor
type: Class
subclass of: value expression
CN sg: OntoDT_442100
CN pl: OntoDT_442100s

size
type: Class
subclass of: value expression
subclass of: Restriction
  on property: has-value
  qualified cardinality: 1
  on data range: integer
CN sg: OntoDT_447351
CN pl: OntoDT_447351s

date and time datatype
type: Class
subclass of: non-numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Extend:time&date
subclass of: Restriction
  on property: has_operation
  some values from: Equal:time&date
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:time&date
subclass of: Restriction
  on property: has_member
  some values from: date-time unit
subclass of: Restriction
  on property: has_operation
  some values from: Difference:time&date
subclass of: Restriction
  on property: has_quality
  some values from: unbounded
subclass of: Restriction
  on property: has_member
  some values from: date-time radix
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Round:time&date
subclass of: Restriction
  on property: has_member
  some values from: date-time factor
disjoint with: ordinal datatype
CN pl: OntoDT_459594s
CN sg: OntoDT_459594
IAO_0000115: 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.

complex factor
type: Class
subclass of: factor
CN pl: OntoDT_460533s
CN sg: OntoDT_460533

discrete-value identifier
type: Class
subclass of: identifier
subclass of: Restriction
  on property: has-value
  some values from: Literal
CN sg: OntoDT_467794
CN pl: OntoDT_467794s

component mandatoriness
type: Class
equivalent class: Class
  union of: component mandatory
  union of: component non-mandatory
subclass of: aggregate generator property
disjoint with: structurness
disjoint with: recursiveness
disjoint with: access type
CN pl: OntoDT_470848s
IAO_0000115: 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.
CN sg: OntoDT_470848

record of real datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  some values from: real field-list
disjoint with: record of discrete datatype
CN pl: OntoDT_471356s
CN sg: OntoDT_471356

extended-value identifier
type: Class
subclass of: identifier
CN sg: OntoDT_477213
CN pl: OntoDT_477213s

datatype
type: Class
subclass of: data representational model
subclass of: Restriction
  on property: has_quality
  some values from: datatype property
subclass of: Restriction
  on property: has_operation
  some values from: characterizing operation
subclass of: Restriction
  on property: has_attribute
  some values from: value space
IAO_0000115: Since this collection is unbounded, there are four formal methods used in the definition of the datatypes: ⎯ explicit specification of primitive datatypes, which have universal well-defined abstract notions, each independent of any other datatype. ⎯ implicit specification of generated datatypes, which are syntactically and in some ways semantically dependent on other datatypes used in their specification. Generated datatypes are specified implicitly by means of explicit specification of datatype generators, which themselves embody independent abstract notions. ⎯ specification of the means of datatype declaration, which permits the association of additional identifiers and refinements to primitive and generated datatypes and to datatype generators. ⎯ specification of the means of defining subtypes of the datatypes defined by any of the foregoing methods.
CN sg: OntoDT_487147
IAO_0000115: set of distinct values, characterized by properties of those values, and by operations on those values
CN pl: OntoDT_487147s
IAO_0000119: ISO/IEC 11404:2007(E)

real base type
type: Class
subclass of: base type
subclass of: Restriction
  on property: role_of
  some values from: real datatype
CN sg: OntoDT_488636
CN pl: OntoDT_488636s

index upperbound
type: Class
subclass of: bound
subclass of: Restriction
  on property: has-value
  qualified cardinality: 1
  on data range: integer
CN pl: OntoDT_501513s
CN sg: OntoDT_501513

record of primitives datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  some values from: primitive field-list
CN pl: OntoDT_521859s
CN sg: OntoDT_521859

value expression
type: Class
subclass of: information artifact entity
CN pl: OntoDT_523040s
CN sg: OntoDT_523040

non-directed labeled graph datatype
type: Class
subclass of: defined datatype
subclass of: Restriction
  on property: has_member
  some values from: non-directed labeled graph generator
subclass of: Restriction
  on property: has_member
  some values from: graph aggregate component
CN pl: OntoDT_576464s
CN sg: OntoDT_576464

complex radix
type: Class
subclass of: radix
CN sg: OntoDT_582224
CN pl: OntoDT_582224s

complex datatype
type: Class
subclass of: numeric primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Reciprocal:complex
subclass of: Restriction
  on property: has_operation
  some values from: Negate:complex
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_member
  some values from: complex radix
subclass of: Restriction
  on property: has_quality
  some values from: numeric
subclass of: Restriction
  on property: has_operation
  some values from: SquareRoot:complex
subclass of: Restriction
  on property: has_operation
  some values from: Multiply:complex
subclass of: Restriction
  on property: has_operation
  some values from: Add:complex
subclass of: Restriction
  on property: has_quality
  some values from: approximate
subclass of: Restriction
  on property: has_operation
  some values from: Promote:complex
subclass of: Restriction
  on property: has_member
  some values from: complex factor
subclass of: Restriction
  on property: has_operation
  some values from: Equal:complex
disjoint with: numeric ordered primitive datatype
IAO_0000115: 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.
CN sg: OntoDT_582642
CN pl: OntoDT_582642s

select-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: select-item specification
CN sg: OntoDT_589006
CN pl: OntoDT_589006s

labeled graph datatype
type: Class
subclass of: defined datatype
subclass of: Restriction
  on property: has_member
  some values from: directed labeled graph datatype generator
CN sg: OntoDT_591397
CN pl: OntoDT_591397s

record of discrete datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  some values from: discrete field-list
CN sg: OntoDT_595741
CN pl: OntoDT_595741s

sequence of discrete datatype
type: Class
subclass of: sequence datatype
subclass of: Restriction
  on property: has_member
  some values from: discrete base type
CN pl: OntoDT_596819s
CN sg: OntoDT_596819

class datatype
type: Class
subclass of: heterogenous aggregate datatype
subclass of: Restriction
  on property: has_operation
  some values from: AttributeSelect:class
subclass of: Restriction
  on property: has_operation
  some values from: AttributeReplace:class
subclass of: Restriction
  on property: has_operation
  some values from: Equal:class
subclass of: Restriction
  on property: has_member
  some values from: class generator
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_member
  some values from: attribute-list
disjoint with: record (tuple) datatype
CN pl: OntoDT_598925s
CN sg: OntoDT_598925

discrete datatype
type: Class
subclass of: non-numeric unordered primitive datatype
subclass of: Restriction
  on property: has_member
  some values from: discrete-value-list
subclass of: Restriction
  on property: has_operation
  some values from: Equal:discrete
subclass of: Restriction
  on property: has_quality
  some values from: exact
disjoint with: boolean datatype
CN sg: OntoDT_608148
CN pl: OntoDT_608148s
IAO_0000115: state is a family of datatypes, each of which comprises a finite number of distinguished but unordered values.

structurness
type: Class
equivalent class: Class
  union of: structured
  union of: unstructured
  union of: semi-structured
subclass of: aggregate generator property
disjoint with: recursiveness
disjoint with: access type
CN sg: OntoDT_614962
CN pl: OntoDT_614962s
IAO_0000115: Aggregate datatypes are: ⎯ conceptually structured, having both the component datatypes and the access method specified, or ⎯ conceptually semi-structured, having either the component datatypes or the access method specified, but not both, or ⎯ conceptually unstructured, having neither the component datatype nor the access method specified.

extended-value-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_identifier
  some values from: extended-value identifier
CN sg: OntoDT_621008
CN pl: OntoDT_621008s

DAG datatype
type: Class
subclass of: labeled graph datatype
subclass of: Restriction
  on property: has_member
  some values from: DAG datatype generator
CN pl: OntoDT_645869s
CN sg: OntoDT_645869

sequence datatype
type: Class
subclass of: homogenous aggregate datatype with variable size
subclass of: Restriction
  on property: has_operation
  some values from: Equal:sequence
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: IsEmpty:sequence
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_operation
  some values from: Head:sequence
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_member
  some values from: base type
subclass of: Restriction
  on property: has_operation
  some values from: Append:sequence
subclass of: Restriction
  on property: has_operation
  some values from: Tail:sequence
subclass of: Restriction
  on property: has_member
  some values from: sequence generator
disjoint with: homogenous unordered aggregate datatype with variable size
IAO_0000115: 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.
CN pl: OntoDT_648082s
CN sg: OntoDT_648082

niladic operation
type: Class
subclass of: characterizing operation
disjoint with: monadic operation
disjoint with: n-adic operation
CN pl: OntoDT_658939s
comment: Niladic operations yield values of the given datatype.
CN sg: OntoDT_658939

base type
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: role_of
  some values from: datatype
subclass of: Restriction
  on property: is_member_of
  some values from: Class
    union of: array datatype
    union of: sequence datatype
    union of: bag datatype
    union of: set datatype
    union of: extended datatype
CN pl: OntoDT_691902s
CN sg: OntoDT_691902

index lowerbound
type: Class
subclass of: bound
subclass of: Restriction
  on property: has-value
  qualified cardinality: 1
  on data range: integer
CN pl: OntoDT_698187s
CN sg: OntoDT_698187

bag datatype
type: Class
subclass of: homogenous unordered aggregate datatype with variable size
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_operation
  some values from: Select:bag
subclass of: Restriction
  on property: has_operation
  some values from: Insert:bag
subclass of: Restriction
  on property: has_member
  some values from: base type
subclass of: Restriction
  on property: has_operation
  some values from: Delete:bag
subclass of: Restriction
  on property: has_operation
  some values from: IsEmpty:bag
subclass of: Restriction
  on property: has_operation
  some values from: Equal:bag
subclass of: Restriction
  on property: has_member
  some values from: bag generator
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_operation
  some values from: Serialize:bag
subclass of: Restriction
  on property: has_quality
  some values from: exact
disjoint with: set datatype
CN pl: OntoDT_699579s
CN sg: OntoDT_699579

radix
type: Class
subclass of: value expression
CN pl: OntoDT_701140s
CN sg: OntoDT_701140

index-type list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: index-type
CN sg: OntoDT_713630
CN pl: OntoDT_713630s

range
type: Class
subclass of: value expression
subclass of: Restriction
  on property: has_member
  some values from: lower bound
subclass of: Restriction
  on property: has_member
  some values from: upper bound
CN sg: OntoDT_717333
CN pl: OntoDT_717333s

procedure datatype
type: Class
subclass of: non-aggregate datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_member
  some values from: procedure generator
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_member
  some values from: procedure-parameter-list
subclass of: Restriction
  on property: has_member
  some values from: return-parameter specification
subclass of: Restriction
  on property: has_operation
  some values from: Equal:procedure
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_operation
  some values from: Invoke:procedure
CN sg: OntoDT_721277
CN pl: OntoDT_721277s
comment: 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.

vector generator
type: Class
subclass of: defined generator
CN pl: OntoDT_755846s
CN sg: OntoDT_755846

aggregate generator
type: Class
equivalent class: Class
  union of: array generator
  union of: bag generator
  union of: class generator
  union of: record generator
  union of: sequence generator
  union of: set generator
  union of: table generator
subclass of: generated datatype generator
CN pl: OntoDT_758099s
CN sg: OntoDT_758099
comment: synonim: aggregate datatype constructor
IAO_0000115: 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.

recursiveness
type: Class
equivalent class: Class
  union of: recursive
  union of: non-recursive
subclass of: aggregate generator property
disjoint with: access type
CN pl: OntoDT_758650s
CN sg: OntoDT_758650
IAO_0000115: A datatype is said to be recursive if a value of the datatype can contain (or refer to) another value of the datatype.

node component
type: Class
subclass of: graph aggregate component
disjoint with: edge component
CN pl: OntoDT_775509s
CN sg: OntoDT_775509

monadic operation
type: Class
subclass of: characterizing operation
disjoint with: n-adic operation
comment: Monadic operations map a value of the given datatype into a value of the given datatype or into a value of datatype Boolean.
CN sg: OntoDT_776664
CN pl: OntoDT_776664s

character-set identifier
type: Class
subclass of: identifier
CN sg: OntoDT_776867
CN pl: OntoDT_776867s

discrete field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: discrete field component
CN sg: OntoDT_798501
CN pl: OntoDT_798501s

set datatype
type: Class
subclass of: homogenous unordered aggregate datatype with variable size
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_operation
  some values from: Lsln:set
subclass of: Restriction
  on property: has_operation
  some values from: Intersection:set
subclass of: Restriction
  on property: has_member
  some values from: base type
subclass of: Restriction
  on property: has_operation
  some values from: SetOf:set
subclass of: Restriction
  on property: has_member
  some values from: set generator
subclass of: Restriction
  on property: has_operation
  some values from: Select:set
subclass of: Restriction
  on property: has_operation
  some values from: Equal:class
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Empty:set
subclass of: Restriction
  on property: has_operation
  some values from: Difference:set
subclass of: Restriction
  on property: has_operation
  some values from: Union:set
subclass of: Restriction
  on property: has_operation
  some values from: Subset:set
CN sg: OntoDT_814373
IAO_0000115: whose value-space is the set of all subsets of the value space of the element datatype, with operations appropriate to the mathematical set.
CN pl: OntoDT_814373s

minimum-size
type: Class
subclass of: size
CN sg: OntoDT_844136
CN pl: OntoDT_844136s

real radix
type: Class
subclass of: radix
CN sg: OntoDT_856705
CN pl: OntoDT_856705s

characterizing operation
type: Class
subclass of: directive information entity
comment: The set of characterising operations for a datatype comprises those operations on, or yielding values of, the datatype that distinguish this datatype from other datatypes having value spaces which are identical except possibly for substitution of symbols.
CN sg: OntoDT_863955
CN pl: OntoDT_863955s

subtype generator
type: Class
subclass of: datatype generator
CN sg: OntoDT_869983
IAO_0000115: 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.
CN pl: OntoDT_869983s

non-aggregate datatype
type: Class
subclass of: generated datatype
subclass of: Restriction
  on property: has_member
  some values from: non-aggregate generator
CN pl: OntoDT_877338s
CN sg: OntoDT_877338

set of real datatype
type: Class
subclass of: set datatype
subclass of: Restriction
  on property: has_member
  some values from: real base type
CN sg: OntoDT_878284
CN pl: OntoDT_878284s

n-adic operation
type: Class
subclass of: characterizing operation
CN pl: OntoDT_886531s
CN sg: OntoDT_886531
comment: N-adic operations map ordered n-tuples of values, each of whichh is of a specified datatype, which may be the given datatype or a parametric datatype, into values of the given datatype or parametric datatype.

access type
type: Class
equivalent class: Class
  union of: direct access property
  union of: indirect acess property
subclass of: aggregate generator property
CN pl: OntoDT_888670s
IAO_0000115: The access method for an aggregate datatype is the property which determines how component values can be extracted from a given aggregate-value.
CN sg: OntoDT_888670

edge component
type: Class
subclass of: graph aggregate component
CN sg: OntoDT_903401
CN pl: OntoDT_903401s

equality
type: Class
subclass of: datatype property
IAO_0000119: ISO/IEC 11404:2007
CN sg: OntoDT_905914
CN pl: OntoDT_905914s
IAO_0000115: 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.

scaled radix
type: Class
subclass of: radix
CN pl: OntoDT_908515s
CN sg: OntoDT_908515

attribute component
type: Class
subclass of: datatype role
subclass of: Restriction
  on property: has_identifier
  some values from: attribute identifier
CN sg: OntoDT_925110
CN pl: OntoDT_925110s

record (tuple) datatype
type: Class
subclass of: heterogenous aggregate datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_operation
  some values from: FieldSelect:record
subclass of: Restriction
  on property: has_operation
  some values from: Equal:record
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_member
  some values from: record generator
subclass of: Restriction
  on property: has_operation
  some values from: FieldReplace:record
subclass of: Restriction
  on property: has_member
  some values from: field-list
comment: synonim: tuple datatype
IAO_0000115: whose values are heterogeneous aggregations of values of component datatypes, each aggregation having one value for each component datatype, keyed by a fixed field-identifier.
CN pl: OntoDT_950419s
CN sg: OntoDT_950419

enumerated-value-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: enumerated-value identifier
CN pl: OntoDT_959638s
CN sg: OntoDT_959638

DAG datatype generator
type: Class
subclass of: directed labeled graph datatype generator
CN sg: OntoDT_972766
CN pl: OntoDT_972766s

sequence of real datatype
type: Class
subclass of: sequence datatype
subclass of: Restriction
  on property: has_member
  some values from: real base type
CN pl: OntoDT_974622s
CN sg: OntoDT_974622

primitive field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: primitive field component
CN pl: OntoDT_inst_146596s
CN sg: OntoDT_inst_146596

aggregate field component
type: Class
subclass of: field component
subclass of: Restriction
  on property: role_of
  some values from: aggregate datatype
disjoint with: primitive field component
CN sg: OntoDT_inst_293543
CN pl: OntoDT_inst_293543s

field identifier
type: Class
subclass of: identifier
CN sg: OntoDT_inst_507131
CN pl: OntoDT_inst_507131s

primitive field component
type: Class
subclass of: field component
subclass of: Restriction
  on property: role_of
  some values from: primitive datatype
CN pl: OntoDT_inst_621884s
CN sg: OntoDT_inst_621884

field-list
type: Class
subclass of: list specification
subclass of: Restriction
  on property: has_member
  some values from: field component
CN pl: OntoDT_inst_674431s
CN sg: OntoDT_inst_674431

label
type: Class
subclass of: information artifact entity
IAO_0000412: IAO
CN sg: IAO_0000009
CN pl: IAO_0000009s

information artifact entity
type: Class
CN sg: IAO_0000030
CN pl: IAO_0000030s

directive information entity
type: Class
subclass of: information artifact entity
CN pl: IAO_0000033s
CN sg: IAO_0000033

data representational model
type: Class
subclass of: directive information entity
CN pl: OBI_0000658s
CN sg: OBI_0000658

role
type: Class
CN sg: OntoDT_0000011
CN pl: OntoDT_0000011s

representation
type: Class
subclass of: information artifact entity
CN sg: OntoDT_0000001
CN pl: OntoDT_0000001s

specification
type: Class
subclass of: information artifact entity
CN pl: OntoDM_330210s
CN sg: OntoDM_330210

quality
type: Class
CN pl: OntoDM_419544s
CN sg: OntoDM_419544

void datatype
type: Class
subclass of: primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Equal:void
disjoint with: non-numeric primitive datatype
disjoint with: numeric primitive datatype
disjoint with: non-numeric unordered primitive datatype
IAO_0000115: Void is the datatype representing an object whose presence is syntactically or semantically required, but carries no information in a given instance.
CN sg: OntoDM-Viz_00000
CN pl: OntoDM-Viz_00000s

ordinal datatype
type: Class
subclass of: non-numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:ordinal
subclass of: Restriction
  on property: has_quality
  some values from: bounded below
subclass of: Restriction
  on property: has_quality
  some values from: unbounded above
subclass of: Restriction
  on property: has_quality
  some values from: ordered
subclass of: Restriction
  on property: has_operation
  some values from: Successor:ordinal
subclass of: Restriction
  on property: has_operation
  some values from: Equal:ordinal
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_quality
  some values from: exact
CN sg: OntoDT_0000001
CN pl: OntoDT_0000001s

boolean datatype
type: Class
subclass of: non-numeric unordered primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Not:boolean
subclass of: Restriction
  on property: has_operation
  some values from: And:boolean
subclass of: Restriction
  on property: has_operation
  some values from: Or:boolean
subclass of: Restriction
  on property: has_operation
  some values from: Equal:boolean
CN pl: OntoDT_0000002s
CN sg: OntoDT_0000002
IAO_0000115: boolean is the mathematical datatype associated with two-valued logic.

integer datatype
type: Class
subclass of: numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: NonNegative:integer
subclass of: Restriction
  on property: has_quality
  some values from: ordered
subclass of: Restriction
  on property: has_operation
  some values from: Equal:integer
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:interger
subclass of: Restriction
  on property: has_quality
  some values from: numeric
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: Add:integer
subclass of: Restriction
  on property: has_quality
  some values from: unbounded
subclass of: Restriction
  on property: has_operation
  some values from: Multiply:integer
subclass of: Restriction
  on property: has_operation
  some values from: Negate:integer
disjoint with: rational datatype
CN sg: OntoDT_0000003
IAO_0000115: integer is the mathematical datatype comprising the exact integral values.
CN pl: OntoDT_0000003s

rational datatype
type: Class
subclass of: numeric ordered primitive datatype
subclass of: Restriction
  on property: has_operation
  some values from: Multiply:rational
subclass of: Restriction
  on property: has_operation
  some values from: Reciprocal:rational
subclass of: Restriction
  on property: has_quality
  some values from: numeric
subclass of: Restriction
  on property: has_operation
  some values from: NonNegative:rational
subclass of: Restriction
  on property: has_quality
  some values from: ordered
subclass of: Restriction
  on property: has_operation
  some values from: Promote:rational
subclass of: Restriction
  on property: has_operation
  some values from: Equal:rational
subclass of: Restriction
  on property: has_operation
  some values from: Add:rational
subclass of: Restriction
  on property: has_operation
  some values from: Negate:rational
subclass of: Restriction
  on property: has_quality
  some values from: exact
subclass of: Restriction
  on property: has_operation
  some values from: InOrder:rational
subclass of: Restriction
  on property: has_quality
  some values from: unbounded
IAO_0000115: Rational is the mathematical datatype comprising the “rational numbers”.
CN pl: OntoDT_0000004s
CN sg: OntoDT_0000004

labeled dataset record datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  on class: labeled dataset field-list
  qualified cardinality: 1
CN sg: OntoDT_0000049
CN pl: OntoDT_0000049s

extended datatype
type: Class
subclass of: data representational model
subclass of: Restriction
  on property: has_quality
  some values from: datatype property
subclass of: Restriction
  on property: has_member
  some values from: subtype generator
subclass of: Restriction
  on property: has_attribute
  some values from: value space
subclass of: Restriction
  on property: has_member
  some values from: base type
CN pl: OntoDT_0000203s
comment: synonym: subtype
CN sg: OntoDT_0000203

dimensionality
type: Class
equivalent class: Class
  union of: one dimensional
  union of: two dimensional
  union of: multi dimensional
subclass of: aggregate generator property
CN sg: OntoDT_0000204
CN pl: OntoDT_0000204s

homogenous aggregate generator
type: Class
equivalent class: Class
  union of: array generator
  union of: bag generator
  union of: sequence generator
  union of: set generator
subclass of: aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: homogenous
disjoint with: heterogenous aggregate generator
CN sg: OntoDT_0000208
CN pl: OntoDT_0000208s

heterogenous aggregate generator
type: Class
equivalent class: Class
  union of: class generator
  union of: record generator
  union of: table datatype
subclass of: aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: heterogenous
CN pl: OntoDT_0000209s
CN sg: OntoDT_0000209

homogenous aggregate generator with variable size
type: Class
subclass of: homogenous aggregate generator
subclass of: Restriction
  on property: has_quality
  some values from: variable size
CN pl: OntoDT_0000210s
CN sg: OntoDT_0000210

homogenous unordered aggregate generator with variable size
type: Class
equivalent class: Class
  union of: bag generator
  union of: set generator
subclass of: homogenous aggregate generator with variable size
subclass of: Restriction
  on property: has_quality
  some values from: unordered aggregate
CN sg: OntoDT_0000211
CN pl: OntoDT_0000211s

non-numeric primitive datatype
type: Class
subclass of: primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-numeric
disjoint with: numeric primitive datatype
CN pl: OntoDT_0000212s
CN sg: OntoDT_0000212

numeric primitive datatype
type: Class
subclass of: primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: numeric
CN sg: OntoDT_0000213
CN pl: OntoDT_0000213s

numeric ordered primitive datatype
type: Class
subclass of: numeric primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: ordered
CN pl: OntoDT_0000214s
CN sg: OntoDT_0000214

non-numeric unordered primitive datatype
type: Class
subclass of: non-numeric primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: non-ordered
disjoint with: non-numeric ordered primitive datatype
CN sg: OntoDT_0000215
CN pl: OntoDT_0000215s

non-numeric ordered primitive datatype
type: Class
subclass of: non-numeric primitive datatype
subclass of: Restriction
  on property: has_quality
  some values from: ordered
CN sg: OntoDT_0000216
CN pl: OntoDT_0000216s

homogenous aggregate datatype
type: Class
subclass of: aggregate datatype
subclass of: Restriction
  on property: has_member
  some values from: homogenous aggregate generator
disjoint with: heterogenous aggregate datatype
CN pl: OntoDT_0000217s
CN sg: OntoDT_0000217

heterogenous aggregate datatype
type: Class
subclass of: aggregate datatype
subclass of: Restriction
  on property: has_member
  some values from: heterogenous aggregate generator
CN pl: OntoDT_0000218s
CN sg: OntoDT_0000218

homogenous aggregate datatype with variable size
type: Class
subclass of: homogenous aggregate datatype
subclass of: Restriction
  on property: has_member
  some values from: homogenous aggregate generator with variable size
CN sg: OntoDT_0000219
CN pl: OntoDT_0000219s

homogenous unordered aggregate datatype with variable size
type: Class
subclass of: homogenous aggregate datatype with variable size
subclass of: Restriction
  on property: has_member
  some values from: homogenous unordered aggregate generator with variable size
CN sg: OntoDT_0000220
CN pl: OntoDT_0000220s

direct access property
type: Class
equivalent class: Class
  union of: index access
  union of: key access
subclass of: access type
disjoint with: indirect acess property
CN sg: OntoDT_0000221
CN pl: OntoDT_0000221s

indirect acess property
type: Class
equivalent class: Class
  union of: access by value
  union of: implementation dependent access
  union of: position access
subclass of: access type
CN sg: OntoDT_0000222
CN pl: OntoDT_0000222s

add operation
type: Class
subclass of: dyadic aritmetic operation
CN pl: OntoDT_0000223s
CN sg: OntoDT_0000223

delete operation
type: Class
subclass of: dyadic updating operation
CN sg: OntoDT_0000224
CN pl: OntoDT_0000224s

difference operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000225s
CN sg: OntoDT_0000225

equal operation
type: Class
subclass of: dyadic comparison operation
CN sg: OntoDT_0000226
CN pl: OntoDT_0000226s

in order operation
type: Class
subclass of: dyadic comparison operation
CN pl: OntoDT_0000227s
CN sg: OntoDT_0000227

insert operation
type: Class
subclass of: dyadic updating operation
CN sg: OntoDT_0000228
CN pl: OntoDT_0000228s

multiply operation
type: Class
subclass of: dyadic aritmetic operation
CN pl: OntoDT_0000229s
CN sg: OntoDT_0000229

dyadic select operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000230s
CN sg: OntoDT_0000230

isEmpty operation
type: Class
subclass of: boolean operation
CN sg: OntoDT_0000231
CN pl: OntoDT_0000231s

negate operation
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000232s
CN sg: OntoDT_0000232

nonNegative operation
type: Class
subclass of: boolean operation
CN pl: OntoDT_0000233s
CN sg: OntoDT_0000233

promote operation
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000234
CN pl: OntoDT_0000234s

reciprocial operation
type: Class
subclass of: monadic aritmetic operation
CN sg: OntoDT_0000235
CN pl: OntoDT_0000235s

round operation
type: Class
subclass of: monadic aritmetic operation
CN sg: OntoDT_0000236
CN pl: OntoDT_0000236s

monadic select operation
type: Class
subclass of: monadic retrive operation
CN sg: OntoDT_0000237
CN pl: OntoDT_0000237s

serialize operation
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000238s
CN sg: OntoDT_0000238

successor operation
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000239
CN pl: OntoDT_0000239s

countable
type: Class
subclass of: cardinality
CN pl: OntoDT_0000241s
CN sg: OntoDT_0000241

finite
type: Class
subclass of: cardinality
CN sg: OntoDT_0000242
CN pl: OntoDT_0000242s

uncountable
type: Class
subclass of: cardinality
CN pl: OntoDT_0000243s
CN sg: OntoDT_0000243

bounded above
type: Class
subclass of: bounded
disjoint with: bounded below
CN pl: OntoDT_0000244s
CN sg: OntoDT_0000244

bounded below
type: Class
subclass of: bounded
CN sg: OntoDT_0000245
CN pl: OntoDT_0000245s

unbounded above
type: Class
subclass of: unbounded
disjoint with: unbounded below
CN sg: OntoDT_0000246
CN pl: OntoDT_0000246s

unbounded below
type: Class
subclass of: unbounded
CN sg: OntoDT_0000247
CN pl: OntoDT_0000247s

bounded
type: Class
subclass of: boundedness
disjoint with: unbounded
CN sg: OntoDT_0000248
CN pl: OntoDT_0000248s

unbounded
type: Class
subclass of: boundedness
CN pl: OntoDT_0000249s
CN sg: OntoDT_0000249

approximate
type: Class
subclass of: exactness
disjoint with: exact
CN sg: OntoDT_0000250
CN pl: OntoDT_0000250s

exact
type: Class
subclass of: exactness
CN sg: OntoDT_0000251
CN pl: OntoDT_0000251s

numeric
type: Class
subclass of: numericalness
disjoint with: non-numeric
CN pl: OntoDT_0000252s
CN sg: OntoDT_0000252

non-numeric
type: Class
subclass of: numericalness
CN sg: OntoDT_0000253
CN pl: OntoDT_0000253s

ordered
type: Class
subclass of: order
disjoint with: non-ordered
CN pl: OntoDT_0000254s
CN sg: OntoDT_0000254

non-ordered
type: Class
subclass of: order
CN pl: OntoDT_0000255s
CN sg: OntoDT_0000255

Add:complex
type: Class
subclass of: add operation
CN pl: OntoDT_0000256s
CN sg: OntoDT_0000256

Add:integer
type: Class
subclass of: add operation
CN pl: OntoDT_0000257s
CN sg: OntoDT_0000257

Add:rational
type: Class
subclass of: add operation
CN pl: OntoDT_0000258s
CN sg: OntoDT_0000258

Add:real
type: Class
subclass of: add operation
CN sg: OntoDT_0000259
CN pl: OntoDT_0000259s

Add:scaled
type: Class
subclass of: add operation
CN pl: OntoDT_0000260s
CN sg: OntoDT_0000260

Delete:bag
type: Class
subclass of: delete operation
disjoint with: Delete:table
CN pl: OntoDT_0000261s
CN sg: OntoDT_0000261

Delete:table
type: Class
subclass of: delete operation
CN sg: OntoDT_0000262
CN pl: OntoDT_0000262s

Difference:set
type: Class
subclass of: difference operation
disjoint with: Difference:time&date
CN pl: OntoDT_0000263s
CN sg: OntoDT_0000263

Difference:time&date
type: Class
subclass of: difference operation
CN sg: OntoDT_0000264
CN pl: OntoDT_0000264s

Select:array
type: Class
subclass of: dyadic select operation
disjoint with: Select:table
CN pl: OntoDT_0000265s
CN sg: OntoDT_0000265

Select:table
type: Class
subclass of: dyadic select operation
CN pl: OntoDT_0000266s
CN sg: OntoDT_0000266

Equal:array
type: Class
subclass of: equal operation
CN pl: OntoDT_0000267s
CN sg: OntoDT_0000267

Equal:bag
type: Class
subclass of: equal operation
CN pl: OntoDT_0000268s
CN sg: OntoDT_0000268

Equal:boolean
type: Class
subclass of: equal operation
CN pl: OntoDT_0000269s
CN sg: OntoDT_0000269

Equal:character
type: Class
subclass of: equal operation
CN pl: OntoDT_0000270s
CN sg: OntoDT_0000270

Equal:choice
type: Class
subclass of: equal operation
CN pl: OntoDT_0000271s
CN sg: OntoDT_0000271

Equal:class
type: Class
subclass of: equal operation
CN pl: OntoDT_0000272s
CN sg: OntoDT_0000272

Equal:complex
type: Class
subclass of: equal operation
CN sg: OntoDT_0000273
CN pl: OntoDT_0000273s

Equal:enumerated
type: Class
subclass of: equal operation
CN pl: OntoDT_0000274s
CN sg: OntoDT_0000274

Equal:integer
type: Class
subclass of: equal operation
CN sg: OntoDT_0000275
CN pl: OntoDT_0000275s

Equal:ordinal
type: Class
subclass of: equal operation
CN pl: OntoDT_0000276s
CN sg: OntoDT_0000276

Equal:pointer
type: Class
subclass of: equal operation
CN pl: OntoDT_0000277s
CN sg: OntoDT_0000277

Equal:procedure
type: Class
subclass of: equal operation
CN pl: OntoDT_0000278s
CN sg: OntoDT_0000278

Equal:rational
type: Class
subclass of: equal operation
CN pl: OntoDT_0000279s
CN sg: OntoDT_0000279

Equal:real
type: Class
subclass of: equal operation
CN pl: OntoDT_0000280s
CN sg: OntoDT_0000280

Equal:record
type: Class
subclass of: equal operation
CN pl: OntoDT_0000281s
CN sg: OntoDT_0000281

Equal:scaled
type: Class
subclass of: equal operation
CN sg: OntoDT_0000282
CN pl: OntoDT_0000282s

Equal:sequence
type: Class
subclass of: equal operation
CN pl: OntoDT_0000283s
CN sg: OntoDT_0000283

Equal:set
type: Class
subclass of: equal operation
CN sg: OntoDT_0000284
CN pl: OntoDT_0000284s

Equal:discrete
type: Class
subclass of: equal operation
CN pl: OntoDT_0000285s
CN sg: OntoDT_0000285

Equal:table
type: Class
subclass of: equal operation
CN sg: OntoDT_0000286
CN pl: OntoDT_0000286s

Equal:time&date
type: Class
subclass of: equal operation
CN pl: OntoDT_0000287s
CN sg: OntoDT_0000287

Equal:void
type: Class
subclass of: equal operation
CN pl: OntoDT_0000288s
CN sg: OntoDT_0000288

InOrder:enumerated
type: Class
subclass of: in order operation
CN pl: OntoDT_0000289s
CN sg: OntoDT_0000289

InOrder:interger
type: Class
subclass of: in order operation
CN pl: OntoDT_0000290s
CN sg: OntoDT_0000290

InOrder:ordinal
type: Class
subclass of: in order operation
CN pl: OntoDT_0000291s
CN sg: OntoDT_0000291

InOrder:rational
type: Class
subclass of: in order operation
CN sg: OntoDT_0000292
CN pl: OntoDT_0000292s

InOrder:real
type: Class
subclass of: in order operation
CN pl: OntoDT_0000293s
CN sg: OntoDT_0000293

InOrder:scaled
type: Class
subclass of: in order operation
CN pl: OntoDT_0000294s
CN sg: OntoDT_0000294

InOrder:time&date
type: Class
subclass of: in order operation
CN sg: OntoDT_0000295
CN pl: OntoDT_0000295s

Insert:bag
type: Class
subclass of: insert operation
disjoint with: Insert:table
CN pl: OntoDT_0000296s
CN sg: OntoDT_0000296

Insert:table
type: Class
subclass of: insert operation
CN sg: OntoDT_0000297
CN pl: OntoDT_0000297s

Multiply:complex
type: Class
subclass of: multiply operation
CN pl: OntoDT_0000298s
CN sg: OntoDT_0000298

Multiply:integer
type: Class
subclass of: multiply operation
CN pl: OntoDT_0000299s
CN sg: OntoDT_0000299

Multiply:rational
type: Class
subclass of: multiply operation
CN pl: OntoDT_0000300s
CN sg: OntoDT_0000300

Multiply:real
type: Class
subclass of: multiply operation
CN sg: OntoDT_0000301
CN pl: OntoDT_0000301s

Multiply:scaled
type: Class
subclass of: multiply operation
CN pl: OntoDT_0000302s
CN sg: OntoDT_0000302

And:boolean
type: Class
subclass of: dyadic logical operation
CN sg: OntoDT_0000303
CN pl: OntoDT_0000303s

Append:sequence
type: Class
subclass of: dyadic updating operation
CN pl: OntoDT_0000304s
CN sg: OntoDT_0000304

AttributeFunctionOverride:class
type: Class
subclass of: dyadic updating operation
CN sg: OntoDT_0000305
CN pl: OntoDT_0000305s

AttributeReplace:class
type: Class
subclass of: dyadic updating operation
CN pl: OntoDT_0000306s
CN sg: OntoDT_0000306

Divide:scaled
type: Class
subclass of: dyadic aritmetic operation
CN pl: OntoDT_0000307s
CN sg: OntoDT_0000307

Fetch:table
type: Class
subclass of: dyadic retrieve operation
CN pl: OntoDT_0000308s
CN sg: OntoDT_0000308

FieldReplace:record
type: Class
subclass of: dyadic updating operation
CN pl: OntoDT_0000309s
CN sg: OntoDT_0000309

Intersection:set
type: Class
subclass of: dyadic set operation
CN pl: OntoDT_0000310s
CN sg: OntoDT_0000310

Lsln:set
type: Class
subclass of: dyadic set operation
CN pl: OntoDT_0000311s
CN sg: OntoDT_0000311

Or:boolean
type: Class
subclass of: dyadic logical operation
CN sg: OntoDT_0000312
CN pl: OntoDT_0000312s

Subset:set
type: Class
subclass of: dyadic set operation
CN pl: OntoDT_0000313s
CN sg: OntoDT_0000313

Tag:choice
type: Class
subclass of: dyadic retrieve operation
CN sg: OntoDT_0000314
CN pl: OntoDT_0000314s

Union:set
type: Class
subclass of: dyadic set operation
CN pl: OntoDT_0000315s
CN sg: OntoDT_0000315

dyadic aritmetic operation
type: Class
subclass of: dyadic operation
CN sg: OntoDT_0000316
CN pl: OntoDT_0000316s

dyadic logical operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000317s
CN sg: OntoDT_0000317

dyadic set operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000318s
CN sg: OntoDT_0000318

dyadic updating operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000319s
CN sg: OntoDT_0000319

dyadic comparison operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000320s
CN sg: OntoDT_0000320

dyadic retrieve operation
type: Class
subclass of: dyadic operation
CN pl: OntoDT_0000321s
CN sg: OntoDT_0000321

IsEmpty:bag
type: Class
subclass of: isEmpty operation
CN sg: OntoDT_0000322
CN pl: OntoDT_0000322s

IsEmpty:sequence
type: Class
subclass of: isEmpty operation
CN pl: OntoDT_0000323s
CN sg: OntoDT_0000323

IsEmpty:table
type: Class
subclass of: isEmpty operation
CN pl: OntoDT_0000324s
CN sg: OntoDT_0000324

Select:bag
type: Class
subclass of: monadic select operation
disjoint with: Select:set
CN sg: OntoDT_0000325
CN pl: OntoDT_0000325s

Select:set
type: Class
subclass of: monadic select operation
CN pl: OntoDT_0000326s
CN sg: OntoDT_0000326

Negate:complex
type: Class
subclass of: negate operation
CN sg: OntoDT_0000327
CN pl: OntoDT_0000327s

Negate:integer
type: Class
subclass of: negate operation
CN pl: OntoDT_0000328s
CN sg: OntoDT_0000328

Negate:rational
type: Class
subclass of: negate operation
CN pl: OntoDT_0000329s
CN sg: OntoDT_0000329

Negate:real
type: Class
subclass of: negate operation
CN sg: OntoDT_0000330
CN pl: OntoDT_0000330s

Negate:scaled
type: Class
subclass of: negate operation
CN pl: OntoDT_0000331s
CN sg: OntoDT_0000331

NonNegative:integer
type: Class
subclass of: nonNegative operation
disjoint with: NonNegative:rational
CN sg: OntoDT_0000332
CN pl: OntoDT_0000332s

NonNegative:rational
type: Class
subclass of: nonNegative operation
CN sg: OntoDT_0000333
CN pl: OntoDT_0000333s

Promote:complex
type: Class
subclass of: promote operation
CN pl: OntoDT_0000334s
CN sg: OntoDT_0000334

Promote:rational
type: Class
subclass of: promote operation
CN pl: OntoDT_0000335s
CN sg: OntoDT_0000335

Promote:real
type: Class
subclass of: promote operation
CN sg: OntoDT_0000336
CN pl: OntoDT_0000336s

Reciprocal:rational
type: Class
subclass of: reciprocial operation
CN pl: OntoDT_0000337s
CN sg: OntoDT_0000337

Reciprocal:real
type: Class
subclass of: reciprocial operation
CN sg: OntoDT_0000338
CN pl: OntoDT_0000338s

Reciprocal:complex
type: Class
subclass of: reciprocial operation
CN pl: OntoDT_0000339s
CN sg: OntoDT_0000339

Round:scaled
type: Class
subclass of: round operation
disjoint with: Round:time&date
CN sg: OntoDT_0000340
CN pl: OntoDT_0000340s

Round:time&date
type: Class
subclass of: round operation
CN pl: OntoDT_0000341s
CN sg: OntoDT_0000341

Serialize:bag
type: Class
subclass of: serialize operation
disjoint with: Serialize:table
CN pl: OntoDT_0000342s
CN sg: OntoDT_0000342

Serialize:table
type: Class
subclass of: serialize operation
CN pl: OntoDT_0000343s
CN sg: OntoDT_0000343

Successor:enumerated
type: Class
subclass of: successor operation
disjoint with: Successor:ordinal
CN sg: OntoDT_0000344
CN pl: OntoDT_0000344s

Successor:ordinal
type: Class
subclass of: successor operation
CN pl: OntoDT_0000345s
CN sg: OntoDT_0000345

AttributeFunctionInvocation:class
type: Class
subclass of: monadic retrive operation
CN sg: OntoDT_0000346
CN pl: OntoDT_0000346s

AttributeSelect:class
type: Class
subclass of: monadic retrive operation
CN sg: OntoDT_0000347
CN pl: OntoDT_0000347s

Cast:choice
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000348
CN pl: OntoDT_0000348s

Dereference:pointer
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000349s
CN sg: OntoDT_0000349

Discriminant:choice
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000350
CN pl: OntoDT_0000350s

Extend:time&date
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000351
CN pl: OntoDT_0000351s

FieldSelect:record
type: Class
subclass of: monadic retrive operation
CN pl: OntoDT_0000352s
CN sg: OntoDT_0000352

Head:sequence
type: Class
subclass of: monadic retrive operation
CN pl: OntoDT_0000353s
CN sg: OntoDT_0000353

Invoke:procedure
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000354s
CN sg: OntoDT_0000354

MapToBag:table
type: Class
subclass of: map operation
CN sg: OntoDT_0000355
CN pl: OntoDT_0000355s

MapToTable:table
type: Class
subclass of: map operation
CN pl: OntoDT_0000356s
CN sg: OntoDT_0000356

Not:boolean
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000357
CN pl: OntoDT_0000357s

SetOf:set
type: Class
subclass of: boolean operation
CN sg: OntoDT_0000358
CN pl: OntoDT_0000358s

SquareRoot:complex
type: Class
subclass of: monadic aritmetic operation
CN sg: OntoDT_0000359
CN pl: OntoDT_0000359s

Tail:sequence
type: Class
subclass of: monadic retrive operation
CN sg: OntoDT_0000360
CN pl: OntoDT_0000360s

monadic aritmetic operation
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000361
CN pl: OntoDT_0000361s

monadic retrive operation
type: Class
subclass of: monadic operation
CN sg: OntoDT_0000362
CN pl: OntoDT_0000362s

map operation
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000363s
CN sg: OntoDT_0000363

boolean operation
type: Class
subclass of: monadic operation
CN pl: OntoDT_0000364s
CN sg: OntoDT_0000364

Replace:array
type: Class
subclass of: n-adic operation
CN pl: OntoDT_0000365s
CN sg: OntoDT_0000365

Empty:bag
type: Class
subclass of: niladic operation
CN sg: OntoDT_0000366
CN pl: OntoDT_0000366s

Empty:sequence
type: Class
subclass of: niladic operation
CN pl: OntoDT_0000367s
CN sg: OntoDT_0000367

Empty:set
type: Class
subclass of: niladic operation
CN sg: OntoDT_0000368
CN pl: OntoDT_0000368s

Empty:table
type: Class
subclass of: niladic operation
CN sg: OntoDT_0000369
CN pl: OntoDT_0000369s

index access
type: Class
subclass of: direct access property
disjoint with: key access
CN pl: OntoDT_0000370s
CN sg: OntoDT_0000370

key access
type: Class
subclass of: direct access property
CN sg: OntoDT_0000371
CN pl: OntoDT_0000371s

access by value
type: Class
subclass of: indirect acess property
CN sg: OntoDT_0000372
CN pl: OntoDT_0000372s

implementation dependent access
type: Class
subclass of: indirect acess property
CN sg: OntoDT_0000373
CN pl: OntoDT_0000373s

position access
type: Class
subclass of: indirect acess property
CN sg: OntoDT_0000374
CN pl: OntoDT_0000374s

ordered aggregate
type: Class
subclass of: aggregate imposed ordering
disjoint with: unordered aggregate
CN sg: OntoDT_0000375
CN pl: OntoDT_0000375s

unordered aggregate
type: Class
subclass of: aggregate imposed ordering
CN pl: OntoDT_0000376s
CN sg: OntoDT_0000376

identifier not unique
type: Class
subclass of: aggregate-imposed identifier uniqueness
disjoint with: identifier unique
CN sg: OntoDT_0000377
CN pl: OntoDT_0000377s

identifier unique
type: Class
subclass of: aggregate-imposed identifier uniqueness
CN pl: OntoDT_0000378s
CN sg: OntoDT_0000378

fixed size
type: Class
subclass of: agregate size
disjoint with: variable size
CN sg: OntoDT_0000379
CN pl: OntoDT_0000379s

variable size
type: Class
subclass of: agregate size
CN sg: OntoDT_0000380
CN pl: OntoDT_0000380s

component mandatory
type: Class
subclass of: component mandatoriness
disjoint with: component non-mandatory
CN pl: OntoDT_0000381s
CN sg: OntoDT_0000381

component non-mandatory
type: Class
subclass of: component mandatoriness
CN sg: OntoDT_0000382
CN pl: OntoDT_0000382s

one dimensional
type: Class
subclass of: dimensionality
CN sg: OntoDT_0000383
CN pl: OntoDT_0000383s

two dimensional
type: Class
subclass of: dimensionality
CN sg: OntoDT_0000384
CN pl: OntoDT_0000384s

multi dimensional
type: Class
subclass of: dimensionality
CN sg: OntoDT_0000385
CN pl: OntoDT_0000385s

homogenous
type: Class
subclass of: homogenity
disjoint with: heterogenous
CN pl: OntoDT_0000386s
CN sg: OntoDT_0000386

heterogenous
type: Class
subclass of: homogenity
CN pl: OntoDT_0000387s
CN sg: OntoDT_0000387

recursive
type: Class
subclass of: recursiveness
disjoint with: non-recursive
CN sg: OntoDT_0000388
CN pl: OntoDT_0000388s

non-recursive
type: Class
subclass of: recursiveness
CN sg: OntoDT_0000389
CN pl: OntoDT_0000389s

structured
type: Class
subclass of: structurness
CN pl: OntoDT_0000390s
CN sg: OntoDT_0000390

unstructured
type: Class
subclass of: structurness
CN sg: OntoDT_0000391
CN pl: OntoDT_0000391s

semi-structured
type: Class
subclass of: structurness
CN sg: OntoDT_0000392
CN pl: OntoDT_0000392s

non-unique values
type: Class
subclass of: uniqueness
disjoint with: unique values
CN sg: OntoDT_0000393
CN pl: OntoDT_0000393s

unique values
type: Class
subclass of: uniqueness
CN pl: OntoDT_0000394s
CN sg: OntoDT_0000394

labeled dataset field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: labeled dataset target field component
subclass of: Restriction
  on property: has_member
  some values from: labeled dataset descriptive field component
CN sg: OntoDT_0000395
CN pl: OntoDT_0000395s

labeled dataset descriptive field component
type: Class
subclass of: field component
CN pl: OntoDT_0000396s
CN sg: OntoDT_0000396

labeled dataset target field component
type: Class
subclass of: field component
CN sg: OntoDT_0000397
CN pl: OntoDT_0000397s

descriptive field identifier
type: Class
subclass of: field identifier
disjoint with: target field identifier
CN pl: OntoDT_0000398s
CN sg: OntoDT_0000398

target field identifier
type: Class
subclass of: field identifier
CN sg: OntoDT_0000399
CN pl: OntoDT_0000399s

bound
type: Class
subclass of: value expression
CN pl: OntoDT_0000408s
CN sg: OntoDT_0000408

target primitive field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: Class
    union of: real datatype
    union of: discrete datatype
    union of: boolean datatype
CN pl: OntoDT_UC_0000006s
CN sg: OntoDT_UC_0000006

target boolean field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: boolean datatype
CN sg: OntoDT_UC_0000007
CN pl: OntoDT_UC_0000007s

target discrete field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: discrete datatype
CN sg: OntoDT_UC_0000008
CN pl: OntoDT_UC_0000008s

target real field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: real datatype
CN pl: OntoDT_UC_0000009s
CN sg: OntoDT_UC_0000009

target sequence of real field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: sequence of real datatype
CN sg: OntoDT_UC_0000010
CN pl: OntoDT_UC_0000010s

target hierarchical field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: Class
    union of: tree datatype
    union of: DAG datatype
CN sg: OntoDT_UC_0000011
CN pl: OntoDT_UC_0000011s

target DAG field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: DAG datatype
CN pl: OntoDT_UC_0000012s
CN sg: OntoDT_UC_0000012

target tree field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: tree datatype
CN sg: OntoDT_UC_0000013
CN pl: OntoDT_UC_0000013s

target set of discrete field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: set of discrete datatype
CN pl: OntoDT_UC_0000014s
CN sg: OntoDT_UC_0000014

target record of primitives field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: record of primitives datatype
CN sg: OntoDT_UC_0000015
CN pl: OntoDT_UC_0000015s

target record of boolean field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: record of boolean datatype
CN pl: OntoDT_UC_0000016s
CN sg: OntoDT_UC_0000016

target record of discrete field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: record of discrete datatype
CN pl: OntoDT_UC_0000017s
CN sg: OntoDT_UC_0000017

target record of reals field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: record of real datatype
CN sg: OntoDT_UC_0000018
CN pl: OntoDT_UC_0000018s

target structured field component
type: Class
subclass of: labeled dataset target field component
subclass of: Restriction
  on property: role_of
  some values from: Class
    union of: table datatype
    union of: array datatype
    union of: class datatype
    union of: sequence datatype
    union of: bag datatype
    union of: set datatype
CN sg: OntoDT_UC_0000019
CN pl: OntoDT_UC_0000019s

descriptive record of primitives field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: record of primitives datatype
CN pl: OntoDT_UC_0000020s
CN sg: OntoDT_UC_0000020

descriptive record of reals field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: record of real datatype
CN sg: OntoDT_UC_0000021
CN pl: OntoDT_UC_0000021s

descriptive record of boolean field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: record of boolean datatype
CN sg: OntoDT_UC_0000022
CN pl: OntoDT_UC_0000022s

descriptive record of discrete field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: record of discrete datatype
CN pl: OntoDT_UC_0000023s
CN sg: OntoDT_UC_0000023

descriptive set of integer field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: set of integer datatype
CN sg: OntoDT_UC_0000024
CN pl: OntoDT_UC_0000024s

descriptive strucured field component
type: Class
subclass of: labeled dataset descriptive field component
subclass of: Restriction
  on property: role_of
  some values from: Class
    union of: array datatype
    union of: class datatype
    union of: sequence datatype
    union of: bag datatype
    union of: set datatype
CN pl: OntoDT_UC_0000025s
CN sg: OntoDT_UC_0000025

set of integer datatype
type: Class
subclass of: set datatype
subclass of: Restriction
  on property: has_member
  some values from: integer base datatype
CN sg: OntoDT_UC_0000026
CN pl: OntoDT_UC_0000026s

integer base datatype
type: Class
subclass of: base type
subclass of: Restriction
  on property: role_of
  some values from: integer datatype
CN sg: OntoDT_UC_0000027
CN pl: OntoDT_UC_0000027s

unlabeled dataset record datatype
type: Class
subclass of: record (tuple) datatype
subclass of: Restriction
  on property: has_member
  some values from: unlabeled dataset field-list
CN pl: OntoDT_UC_0000028s
CN sg: OntoDT_UC_0000028

unlabeled dataset field-list
type: Class
subclass of: field-list
subclass of: Restriction
  on property: has_member
  some values from: labeled dataset descriptive field component
CN sg: OntoDT_UC_0000029
CN pl: OntoDT_UC_0000029s

positive integer
type: Class
subclass of: extended datatype
CN sg: OntoDT_UC_0000030
CN pl: OntoDT_UC_0000030s

positive integer range generator
type: Class
subclass of: range subtype generator
CN sg: OntoDT_UC_0000031
CN pl: OntoDT_UC_0000031s