Larisa Soldatova
Pance Panov
Saso Dzeroski
Pance Panov
20.06.2018
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.
Ontology of General Purpose Datatypes
2.0
OntoDT_0000003
OntoDT_0000003s
OntoDT_0000003ed
represents
OntoDT_0000009
OntoDT_0000009s
OntoDT_0000009ed
has_datatype_role
is_datatype_role_of
OntoDT_0000012
OntoDT_0000012s
OntoDT_0000012ed
is_quality_of
IAO_0000136
IAO_0000136s
IAO_0000136ed
is-about
IAO_0000219
IAO_0000219s
IAO_0000219ed
denotes
has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
has_attribute
is attribute of is a relation that associates an attribute with an entity where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
attribute_of
has member is a mereological relation between a collection and an item.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
has_member
is member of is a mereological relation between a item and a collection.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
is_member_of
a relation between an entity and an identifier.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
has_identifier
a relation between an identifier and an entity.
http://semanticscience.org/ontology/sio.owl
http://semanticscience.org/ontology/sio.owl
is_identifier_for
OntoDT_0000400
OntoDT_0000400s
OntoDT_0000400ed
has_operation
is_operation_of
is_node_component_of
has_field_component
has_alternative_component
has_edge_component
has_node_component
has_base_datatype
OntoDT_0000240
OntoDT_0000240s
OntoDT_0000240ed
has-value
OntoDT_0000002s
OntoDT_0000002
Datatype Specification Language Representation
OntoDT_0000005s
OntoDT_0000005
list specification
list specification
OntoDT_0000006s
OntoDT_0000006
datatype generator
OntoDT_0000008s
OntoDT_0000008
datatype role
OntoDT_0000013s
OntoDT_0000013
excluding subtype generator
OntoDT_0000014s
OntoDT_0000014
explicit subtype generator
OntoDT_0000015s
OntoDT_0000015
extending subtype generator
OntoDT_0000016s
OntoDT_0000016
range subtype generator
OntoDT_0000017s
OntoDT_0000017
selection subtype generator
OntoDT_0000018s
OntoDT_0000018
size subtype generator
OntoDT_0000019s
OntoDT_0000019
natural number
OntoDT_0000020s
OntoDT_0000020
modulo
OntoDT_0000021s
OntoDT_0000021
bit
OntoDT_0000022s
OntoDT_0000022
bit string
OntoDT_0000023s
OntoDT_0000023
character string
OntoDT_0000024s
OntoDT_0000024
time interval
OntoDT_0000025s
OntoDT_0000025
octet
OntoDT_0000026s
OntoDT_0000026
octet string
OntoDT_0000027s
OntoDT_0000027
private
OntoDT_0000028s
OntoDT_0000028
object identifier
OntoDT_0000029s
OntoDT_0000029
stack
OntoDT_0000030s
OntoDT_0000030
tree
OntoDT_0000031s
OntoDT_0000031
optional
OntoDT_0000032s
OntoDT_0000032
array generator
OntoDT_0000033s
OntoDT_0000033
bag generator
OntoDT_0000034s
OntoDT_0000034
class generator
OntoDT_0000035s
OntoDT_0000035
record generator
OntoDT_0000036s
OntoDT_0000036
sequence generator
OntoDT_0000037s
OntoDT_0000037
set generator
OntoDT_0000038s
OntoDT_0000038
table generator
OntoDT_0000039s
OntoDT_0000039
choice generator
OntoDT_0000040s
OntoDT_0000040
pointer generator
OntoDT_0000041s
OntoDT_0000041
procedure generator
OntoDT_003508s
OntoDT_003508
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.
table datatype
OntoDT_016936s
OntoDT_016936
attribute identifier
OntoDT_017837s
OntoDT_017837
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.
aggregate imposed ordering
OntoDT_018988s
OntoDT_018988
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
primitive datatype
OntoDT_029503s
OntoDT_029503
defined datatype parameter
OntoDT_035818s
OntoDT_035818
parameter identifier
OntoDT_038213s
OntoDT_038213
date-time factor
OntoDT_041544s
OntoDT_041544
graph aggregate component
OntoDT_059114s
OntoDT_059114
datatype which is a parametric datatype to a datatype generator
parametric datatype
datatype on which a datatype generator operates to produce a generated datatype
field component
OntoDT_067375s
OntoDT_067375
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
dyadic operation
OntoDT_079536s
OntoDT_079536
attribute-list
OntoDT_089686s
OntoDT_089686
discrete-value-list
OntoDT_095716s
OntoDT_095716
a value space is the collection of values for a given datatype
ISO/IEC 11404:2007(E)
value space
OntoDT_099378s
OntoDT_099378
tree datatype generator
OntoDT_1000001s
OntoDT_1000001
alternative-type identifier
OntoDT_1000004s
OntoDT_1000004
alternative component
OntoDT_1000005s
OntoDT_1000005
pointer-element-type
OntoDT_1000006s
OntoDT_1000006
procedure-parameter-list
OntoDT_1000007s
OntoDT_1000007
procedure-paremeter declaration
OntoDT_1000008s
OntoDT_1000008
direction
OntoDT_1000009s
OntoDT_1000009
parameter
OntoDT_1000010s
OntoDT_1000010
return-parameter specification
OntoDT_110287s
OntoDT_110287
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.
array datatype
OntoDT_131075s
OntoDT_131075
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.
scaled datatype
OntoDT_150012s
OntoDT_150012
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.
real datatype
OntoDT_153781s
OntoDT_153781
scaled factor
OntoDT_158535s
OntoDT_158535
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.
aggregate-imposed identifier uniqueness
OntoDT_176330s
OntoDT_176330
non-aggregate generator
OntoDT_184436s
OntoDT_184436
identifier
OntoDT_185557s
OntoDT_185557
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
exactness
OntoDT_191754s
OntoDT_191754
A generated datatype is a datatype resulting from an application of a datatype generator.
generated datatype
OntoDT_194081s
OntoDT_194081
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.
numericalness
OntoDT_205502s
OntoDT_205502
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.
homogenity
OntoDT_207563s
OntoDT_207563
vector datatype
OntoDT_210187s
OntoDT_210187
directed labeled graph datatype generator
OntoDT_220858s
OntoDT_220858
maximum-size
OntoDT_233572s
OntoDT_233572
discrete field component
OntoDT_236485s
OntoDT_236485
whose values constitutes a
means of reference to values of another datatype, designated the element datatype. The values of a
pointer datatype are atomic.
pointer datatype
OntoDT_245924s
OntoDT_245924
tree datatype
OntoDT_251157s
OntoDT_251157
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.
agregate size
OntoDT_261649s
OntoDT_261649
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.
uniqueness
OntoDT_267718s
OntoDT_267718
real factor
OntoDT_283020s
OntoDT_283020
aggregate generator property
OntoDT_293023s
OntoDT_293023
index-type
OntoDT_295799s
OntoDT_295799
defined generator parameter
1
OntoDT_296536s
OntoDT_296536
upper bound
OntoDT_310738s
OntoDT_310738
defined datatype
OntoDT_318874s
OntoDT_318874
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.
cardinality
OntoDT_321211s
OntoDT_321211
character is a family of datatypes whose value spaces are character-sets.
character datatype
OntoDT_329404s
OntoDT_329404
defined generator
OntoDT_334619s
OntoDT_334619
enumerated-value identifier
OntoDT_335173s
OntoDT_335173
defined generator parameter-list
OntoDT_339517s
OntoDT_339517
non-directed labeled graph generator
OntoDT_339518s
OntoDT_339518
discrete base type
OntoDT_344884s
OntoDT_344884
select-item specification
OntoDT_360708s
OntoDT_360708
record of boolean datatype
OntoDT_369036s
OntoDT_369036
A datatype is said to be ordered if an order relation is defined on its value space.
order
OntoDT_369421s
OntoDT_369421
date-time unit
OntoDT_372249s
OntoDT_372249
defined datatype parameter-list
OntoDT_377271s
OntoDT_377271
set of discrete datatype
OntoDT_378476s
OntoDT_378476
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.
synonim: structured datatype
aggregate datatype
OntoDT_379444s
OntoDT_379444
enumerated is a family of datatypes, each of which comprises a finite number of distinguished values having an intrinsic order.
synonim: discrete datatype
enumerated datatype
OntoDT_382564s
OntoDT_382564
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.
choice datatype
OntoDT_387093s
OntoDT_387093
datatype property
OntoDT_387565s
OntoDT_387565
real field component
1
OntoDT_390995s
OntoDT_390995
lower bound
OntoDT_393702s
OntoDT_393702
date-time radix
OntoDT_395046s
OntoDT_395046
boolean field component
OntoDT_396145s
OntoDT_396145
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.
boundedness
OntoDT_436502s
OntoDT_436502
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.
ISO/IEC 11404:2007(E)
synonim: datatype constructor
generated datatype generator
OntoDT_442100s
OntoDT_442100
factor
1
OntoDT_447351s
OntoDT_447351
size
OntoDT_459594s
OntoDT_459594
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.
date and time datatype
OntoDT_460533s
OntoDT_460533
complex factor
OntoDT_467794s
OntoDT_467794
discrete-value identifier
OntoDT_470848s
OntoDT_470848
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.
component mandatoriness
OntoDT_471356s
OntoDT_471356
record of real datatype
OntoDT_477213s
OntoDT_477213
extended-value identifier
OntoDT_487147s
OntoDT_487147
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.
set of distinct values, characterized by properties of those values, and by operations on those values
ISO/IEC 11404:2007(E)
datatype
OntoDT_488636s
OntoDT_488636
real base type
1
OntoDT_501513s
OntoDT_501513
index upperbound
OntoDT_521859s
OntoDT_521859
record of primitives datatype
OntoDT_523040s
OntoDT_523040
value expression
OntoDT_576464s
OntoDT_576464
non-directed labeled graph datatype
OntoDT_582224s
OntoDT_582224
complex radix
OntoDT_582642s
OntoDT_582642
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.
complex datatype
OntoDT_589006s
OntoDT_589006
select-list
OntoDT_591397s
OntoDT_591397
labeled graph datatype
OntoDT_595741s
OntoDT_595741
record of discrete datatype
OntoDT_596819s
OntoDT_596819
sequence of discrete datatype
OntoDT_598925s
OntoDT_598925
class datatype
OntoDT_608148s
OntoDT_608148
state is a family of datatypes, each of which comprises a finite number of distinguished but unordered values.
discrete datatype
OntoDT_614962s
OntoDT_614962
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.
structurness
OntoDT_621008s
OntoDT_621008
extended-value-list
OntoDT_645869s
OntoDT_645869
DAG datatype
OntoDT_648082s
OntoDT_648082
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.
sequence datatype
OntoDT_658939s
OntoDT_658939
Niladic operations yield values of the given datatype.
niladic operation
OntoDT_691902s
OntoDT_691902
base type
1
OntoDT_698187s
OntoDT_698187
index lowerbound
OntoDT_699579s
OntoDT_699579
bag datatype
OntoDT_701140s
OntoDT_701140
radix
OntoDT_713630s
OntoDT_713630
index-type list
OntoDT_717333s
OntoDT_717333
range
OntoDT_721277s
OntoDT_721277
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.
procedure datatype
OntoDT_755846s
OntoDT_755846
vector generator
OntoDT_758099s
OntoDT_758099
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.
synonim: aggregate datatype constructor
aggregate generator
OntoDT_758650s
OntoDT_758650
A datatype is said to be recursive if a value of the datatype can contain (or refer to) another value of the
datatype.
recursiveness
OntoDT_775509s
OntoDT_775509
node component
OntoDT_776664s
OntoDT_776664
Monadic operations map a value of the given datatype into a value of the given datatype or into a value of datatype Boolean.
monadic operation
OntoDT_776867s
OntoDT_776867
character-set identifier
OntoDT_814373s
OntoDT_814373
whose value-space is the set of all subsets of
the value space of the element datatype, with operations appropriate to the mathematical set.
set datatype
OntoDT_844136s
OntoDT_844136
minimum-size
OntoDT_856705s
OntoDT_856705
real radix
OntoDT_863955s
OntoDT_863955
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.
characterizing operation
OntoDT_869983s
OntoDT_869983
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.
subtype generator
OntoDT_877338s
OntoDT_877338
non-aggregate datatype
OntoDT_878284s
OntoDT_878284
set of real datatype
OntoDT_886531s
OntoDT_886531
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.
n-adic operation
OntoDT_888670s
OntoDT_888670
The access method for an aggregate datatype is the property which determines how component values can
be extracted from a given aggregate-value.
access type
OntoDT_903401s
OntoDT_903401
edge component
OntoDT_905914s
OntoDT_905914
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.
ISO/IEC 11404:2007
equality
OntoDT_908515s
OntoDT_908515
scaled radix
OntoDT_925110s
OntoDT_925110
attribute component
OntoDT_950419s
OntoDT_950419
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.
synonim: tuple datatype
record (tuple) datatype
OntoDT_959638s
OntoDT_959638
enumerated-value-list
OntoDT_972766s
OntoDT_972766
DAG datatype generator
OntoDT_974622s
OntoDT_974622
sequence of real datatype
OntoDT_inst_293543s
OntoDT_inst_293543
aggregate field component
OntoDT_inst_507131s
OntoDT_inst_507131
field identifier
OntoDT_inst_621884s
OntoDT_inst_621884
primitive field component
OntoDM_419544s
OntoDM_419544
BFO:0000019
quality
IAO_0000009s
IAO_0000009
IAO:0000009
IAO
label
IAO_0000030s
IAO_0000030
IAO:0000030
IAO
IAO_0000033s
IAO_0000033
IAO:0000033
directive information entity
OBI_0000658s
OBI_0000658
OBI:0000658
data representational model
OntoDT_0000001s
OntoDT_0000001
representation
OntoDM_330210s
OntoDM_330210
specification
OntoDM-Viz_00000s
OntoDM-Viz_00000
OntoDM-Viz_00000
Void is the datatype representing an object whose presence is syntactically or semantically required, but carries no information in a given instance.
void datatype
OntoDT_0000001s
OntoDT_0000001
OntoDT_0000001
ordinal datatype
OntoDT_0000002s
OntoDT_0000002
OntoDT_0000002
boolean is the mathematical datatype associated with two-valued logic.
boolean datatype
OntoDT_0000003s
OntoDT_0000003
OntoDT_0000003
integer is the mathematical datatype comprising the exact integral values.
integer datatype
OntoDT_0000004s
OntoDT_0000004
OntoDT_0000004
Rational is the mathematical datatype comprising the “rational numbers”.
rational datatype
OntoDT_0000203s
OntoDT_0000203
OntoDT_0000203
synonym: subtype
extended datatype
OntoDT_0000204s
OntoDT_0000204
OntoDT_0000204
dimensionality
OntoDT_0000208s
OntoDT_0000208
OntoDT_0000208
homogenous aggregate generator
OntoDT_0000209s
OntoDT_0000209
OntoDT_0000209
heterogenous aggregate generator
OntoDT_0000210s
OntoDT_0000210
OntoDT_0000210
homogenous aggregate generator with variable size
OntoDT_0000211s
OntoDT_0000211
OntoDT_0000211
homogenous unordered aggregate generator with variable size
OntoDT_0000212s
OntoDT_0000212
OntoDT_0000212
non-numeric primitive datatype
OntoDT_0000213s
OntoDT_0000213
OntoDT_0000213
numeric primitive datatype
OntoDT_0000214s
OntoDT_0000214
OntoDT_0000214
numeric ordered primitive datatype
OntoDT_0000215s
OntoDT_0000215
OntoDT_0000215
non-numeric unordered primitive datatype
OntoDT_0000216s
OntoDT_0000216
OntoDT_0000216
non-numeric ordered primitive datatype
OntoDT_0000217s
OntoDT_0000217
OntoDT_0000217
homogenous aggregate datatype
OntoDT_0000218s
OntoDT_0000218
OntoDT_0000218
heterogenous aggregate datatype
OntoDT_0000219s
OntoDT_0000219
OntoDT_0000219
homogenous aggregate datatype with variable size
OntoDT_0000220s
OntoDT_0000220
OntoDT_0000220
homogenous unordered aggregate datatype with variable size
OntoDT_0000221s
OntoDT_0000221
OntoDT_0000221
direct access property
OntoDT_0000222s
OntoDT_0000222
OntoDT_0000222
indirect acess property
OntoDT_0000223s
OntoDT_0000223
OntoDT_0000223
add operation
OntoDT_0000224s
OntoDT_0000224
OntoDT_0000224
delete operation
OntoDT_0000225s
OntoDT_0000225
OntoDT_0000225
difference operation
OntoDT_0000226s
OntoDT_0000226
OntoDT_0000226
equal operation
OntoDT_0000227s
OntoDT_0000227
OntoDT_0000227
in order operation
OntoDT_0000228s
OntoDT_0000228
OntoDT_0000228
insert operation
OntoDT_0000229s
OntoDT_0000229
OntoDT_0000229
multiply operation
OntoDT_0000230s
OntoDT_0000230
OntoDT_0000230
dyadic select operation
OntoDT_0000231s
OntoDT_0000231
OntoDT_0000231
isEmpty operation
OntoDT_0000232s
OntoDT_0000232
OntoDT_0000232
negate operation
OntoDT_0000233s
OntoDT_0000233
OntoDT_0000233
nonNegative operation
OntoDT_0000234s
OntoDT_0000234
OntoDT_0000234
promote operation
OntoDT_0000235s
OntoDT_0000235
OntoDT_0000235
reciprocial operation
OntoDT_0000236s
OntoDT_0000236
OntoDT_0000236
round operation
OntoDT_0000237s
OntoDT_0000237
OntoDT_0000237
monadic select operation
OntoDT_0000238s
OntoDT_0000238
OntoDT_0000238
serialize operation
OntoDT_0000239s
OntoDT_0000239
OntoDT_0000239
successor operation
OntoDT_0000241s
OntoDT_0000241
OntoDT_0000241
countable
OntoDT_0000242s
OntoDT_0000242
OntoDT_0000242
finite
OntoDT_0000243s
OntoDT_0000243
OntoDT_0000243
uncountable
OntoDT_0000244s
OntoDT_0000244
OntoDT_0000244
bounded above
OntoDT_0000245s
OntoDT_0000245
OntoDT_0000245
bounded below
OntoDT_0000246s
OntoDT_0000246
OntoDT_0000246
unbounded above
OntoDT_0000247s
OntoDT_0000247
OntoDT_0000247
unbounded below
OntoDT_0000248s
OntoDT_0000248
OntoDT_0000248
bounded
OntoDT_0000249s
OntoDT_0000249
OntoDT_0000249
unbounded
OntoDT_0000250s
OntoDT_0000250
OntoDT_0000250
approximate
OntoDT_0000251s
OntoDT_0000251
OntoDT_0000251
exact
OntoDT_0000252s
OntoDT_0000252
OntoDT_0000252
numeric
OntoDT_0000253s
OntoDT_0000253
OntoDT_0000253
non-numeric
OntoDT_0000254s
OntoDT_0000254
OntoDT_0000254
ordered
OntoDT_0000255s
OntoDT_0000255
OntoDT_0000255
non-ordered
OntoDT_0000256s
OntoDT_0000256
OntoDT_0000256
Add:complex
OntoDT_0000257s
OntoDT_0000257
OntoDT_0000257
Add:integer
OntoDT_0000258s
OntoDT_0000258
OntoDT_0000258
Add:rational
OntoDT_0000259s
OntoDT_0000259
OntoDT_0000259
Add:real
OntoDT_0000260s
OntoDT_0000260
OntoDT_0000260
Add:scaled
OntoDT_0000261s
OntoDT_0000261
OntoDT_0000261
Delete:bag
OntoDT_0000262s
OntoDT_0000262
OntoDT_0000262
Delete:table
OntoDT_0000263s
OntoDT_0000263
OntoDT_0000263
Difference:set
OntoDT_0000264s
OntoDT_0000264
OntoDT_0000264
Difference:time&date
OntoDT_0000265s
OntoDT_0000265
OntoDT_0000265
Select:array
OntoDT_0000266s
OntoDT_0000266
OntoDT_0000266
Select:table
OntoDT_0000267s
OntoDT_0000267
OntoDT_0000267
Equal:array
OntoDT_0000268s
OntoDT_0000268
OntoDT_0000268
Equal:bag
OntoDT_0000269s
OntoDT_0000269
OntoDT_0000269
Equal:boolean
OntoDT_0000270s
OntoDT_0000270
OntoDT_0000270
Equal:character
OntoDT_0000271s
OntoDT_0000271
OntoDT_0000271
Equal:choice
OntoDT_0000272s
OntoDT_0000272
OntoDT_0000272
Equal:class
OntoDT_0000273s
OntoDT_0000273
OntoDT_0000273
Equal:complex
OntoDT_0000274s
OntoDT_0000274
OntoDT_0000274
Equal:enumerated
OntoDT_0000275s
OntoDT_0000275
OntoDT_0000275
Equal:integer
OntoDT_0000276s
OntoDT_0000276
OntoDT_0000276
Equal:ordinal
OntoDT_0000277s
OntoDT_0000277
OntoDT_0000277
Equal:pointer
OntoDT_0000278s
OntoDT_0000278
OntoDT_0000278
Equal:procedure
OntoDT_0000279s
OntoDT_0000279
OntoDT_0000279
Equal:rational
OntoDT_0000280s
OntoDT_0000280
OntoDT_0000280
Equal:real
OntoDT_0000281s
OntoDT_0000281
OntoDT_0000281
Equal:record
OntoDT_0000282s
OntoDT_0000282
OntoDT_0000282
Equal:scaled
OntoDT_0000283s
OntoDT_0000283
OntoDT_0000283
Equal:sequence
OntoDT_0000284s
OntoDT_0000284
OntoDT_0000284
Equal:set
OntoDT_0000285s
OntoDT_0000285
OntoDT_0000285
Equal:discrete
OntoDT_0000286s
OntoDT_0000286
OntoDT_0000286
Equal:table
OntoDT_0000287s
OntoDT_0000287
OntoDT_0000287
Equal:time&date
OntoDT_0000288s
OntoDT_0000288
OntoDT_0000288
Equal:void
OntoDT_0000289s
OntoDT_0000289
OntoDT_0000289
InOrder:enumerated
OntoDT_0000290s
OntoDT_0000290
OntoDT_0000290
InOrder:interger
OntoDT_0000291s
OntoDT_0000291
OntoDT_0000291
InOrder:ordinal
OntoDT_0000292s
OntoDT_0000292
OntoDT_0000292
InOrder:rational
OntoDT_0000293s
OntoDT_0000293
OntoDT_0000293
InOrder:real
OntoDT_0000294s
OntoDT_0000294
OntoDT_0000294
InOrder:scaled
OntoDT_0000295s
OntoDT_0000295
OntoDT_0000295
InOrder:time&date
OntoDT_0000296s
OntoDT_0000296
OntoDT_0000296
Insert:bag
OntoDT_0000297s
OntoDT_0000297
OntoDT_0000297
Insert:table
OntoDT_0000298s
OntoDT_0000298
OntoDT_0000298
Multiply:complex
OntoDT_0000299s
OntoDT_0000299
OntoDT_0000299
Multiply:integer
OntoDT_0000300s
OntoDT_0000300
OntoDT_0000300
Multiply:rational
OntoDT_0000301s
OntoDT_0000301
OntoDT_0000301
Multiply:real
OntoDT_0000302s
OntoDT_0000302
OntoDT_0000302
Multiply:scaled
OntoDT_0000303s
OntoDT_0000303
OntoDT_0000303
And:boolean
OntoDT_0000304s
OntoDT_0000304
OntoDT_0000304
Append:sequence
OntoDT_0000305s
OntoDT_0000305
OntoDT_0000305
AttributeFunctionOverride:class
OntoDT_0000306s
OntoDT_0000306
OntoDT_0000306
AttributeReplace:class
OntoDT_0000307s
OntoDT_0000307
OntoDT_0000307
Divide:scaled
OntoDT_0000308s
OntoDT_0000308
OntoDT_0000308
Fetch:table
OntoDT_0000309s
OntoDT_0000309
OntoDT_0000309
FieldReplace:record
OntoDT_0000310s
OntoDT_0000310
OntoDT_0000310
Intersection:set
OntoDT_0000311s
OntoDT_0000311
OntoDT_0000311
Lsln:set
OntoDT_0000312s
OntoDT_0000312
OntoDT_0000312
Or:boolean
OntoDT_0000313s
OntoDT_0000313
OntoDT_0000313
Subset:set
OntoDT_0000314s
OntoDT_0000314
OntoDT_0000314
Tag:choice
OntoDT_0000315s
OntoDT_0000315
OntoDT_0000315
Union:set
OntoDT_0000316s
OntoDT_0000316
OntoDT_0000316
dyadic aritmetic operation
OntoDT_0000317s
OntoDT_0000317
OntoDT_0000317
dyadic logical operation
OntoDT_0000318s
OntoDT_0000318
OntoDT_0000318
dyadic set operation
OntoDT_0000319s
OntoDT_0000319
OntoDT_0000319
dyadic updating operation
OntoDT_0000320s
OntoDT_0000320
OntoDT_0000320
dyadic comparison operation
OntoDT_0000321s
OntoDT_0000321
OntoDT_0000321
dyadic retrieve operation
OntoDT_0000322s
OntoDT_0000322
OntoDT_0000322
IsEmpty:bag
OntoDT_0000323s
OntoDT_0000323
OntoDT_0000323
IsEmpty:sequence
OntoDT_0000324s
OntoDT_0000324
OntoDT_0000324
IsEmpty:table
OntoDT_0000325s
OntoDT_0000325
OntoDT_0000325
Select:bag
OntoDT_0000326s
OntoDT_0000326
OntoDT_0000326
Select:set
OntoDT_0000327s
OntoDT_0000327
OntoDT_0000327
Negate:complex
OntoDT_0000328s
OntoDT_0000328
OntoDT_0000328
Negate:integer
OntoDT_0000329s
OntoDT_0000329
OntoDT_0000329
Negate:rational
OntoDT_0000330s
OntoDT_0000330
OntoDT_0000330
Negate:real
OntoDT_0000331s
OntoDT_0000331
OntoDT_0000331
Negate:scaled
OntoDT_0000332s
OntoDT_0000332
OntoDT_0000332
NonNegative:integer
OntoDT_0000333s
OntoDT_0000333
OntoDT_0000333
NonNegative:rational
OntoDT_0000334s
OntoDT_0000334
OntoDT_0000334
Promote:complex
OntoDT_0000335s
OntoDT_0000335
OntoDT_0000335
Promote:rational
OntoDT_0000336s
OntoDT_0000336
OntoDT_0000336
Promote:real
OntoDT_0000337s
OntoDT_0000337
OntoDT_0000337
Reciprocal:rational
OntoDT_0000338s
OntoDT_0000338
OntoDT_0000338
Reciprocal:real
OntoDT_0000339s
OntoDT_0000339
OntoDT_0000339
Reciprocal:complex
OntoDT_0000340s
OntoDT_0000340
OntoDT_0000340
Round:scaled
OntoDT_0000341s
OntoDT_0000341
OntoDT_0000341
Round:time&date
OntoDT_0000342s
OntoDT_0000342
OntoDT_0000342
Serialize:bag
OntoDT_0000343s
OntoDT_0000343
OntoDT_0000343
Serialize:table
OntoDT_0000344s
OntoDT_0000344
OntoDT_0000344
Successor:enumerated
OntoDT_0000345s
OntoDT_0000345
OntoDT_0000345
Successor:ordinal
OntoDT_0000346s
OntoDT_0000346
OntoDT_0000346
AttributeFunctionInvocation:class
OntoDT_0000347s
OntoDT_0000347
OntoDT_0000347
AttributeSelect:class
OntoDT_0000348s
OntoDT_0000348
OntoDT_0000348
Cast:choice
OntoDT_0000349s
OntoDT_0000349
OntoDT_0000349
Dereference:pointer
OntoDT_0000350s
OntoDT_0000350
OntoDT_0000350
Discriminant:choice
OntoDT_0000351s
OntoDT_0000351
OntoDT_0000351
Extend:time&date
OntoDT_0000352s
OntoDT_0000352
OntoDT_0000352
FieldSelect:record
OntoDT_0000353s
OntoDT_0000353
OntoDT_0000353
Head:sequence
OntoDT_0000354s
OntoDT_0000354
OntoDT_0000354
Invoke:procedure
OntoDT_0000355s
OntoDT_0000355
OntoDT_0000355
MapToBag:table
OntoDT_0000356s
OntoDT_0000356
OntoDT_0000356
MapToTable:table
OntoDT_0000357s
OntoDT_0000357
OntoDT_0000357
Not:boolean
OntoDT_0000358s
OntoDT_0000358
OntoDT_0000358
SetOf:set
OntoDT_0000359s
OntoDT_0000359
OntoDT_0000359
SquareRoot:complex
OntoDT_0000360s
OntoDT_0000360
OntoDT_0000360
Tail:sequence
OntoDT_0000361s
OntoDT_0000361
OntoDT_0000361
monadic aritmetic operation
OntoDT_0000362s
OntoDT_0000362
OntoDT_0000362
monadic retrive operation
OntoDT_0000363s
OntoDT_0000363
OntoDT_0000363
map operation
OntoDT_0000364s
OntoDT_0000364
OntoDT_0000364
boolean operation
OntoDT_0000365s
OntoDT_0000365
OntoDT_0000365
Replace:array
OntoDT_0000366s
OntoDT_0000366
OntoDT_0000366
Empty:bag
OntoDT_0000367s
OntoDT_0000367
OntoDT_0000367
Empty:sequence
OntoDT_0000368s
OntoDT_0000368
OntoDT_0000368
Empty:set
OntoDT_0000369s
OntoDT_0000369
OntoDT_0000369
Empty:table
OntoDT_0000370s
OntoDT_0000370
OntoDT_0000370
index access
OntoDT_0000371s
OntoDT_0000371
OntoDT_0000371
key access
OntoDT_0000372s
OntoDT_0000372
OntoDT_0000372
access by value
OntoDT_0000373s
OntoDT_0000373
OntoDT_0000373
implementation dependent access
OntoDT_0000374s
OntoDT_0000374
OntoDT_0000374
position access
OntoDT_0000375s
OntoDT_0000375
OntoDT_0000375
ordered aggregate
OntoDT_0000376s
OntoDT_0000376
OntoDT_0000376
unordered aggregate
OntoDT_0000377s
OntoDT_0000377
OntoDT_0000377
identifier not unique
OntoDT_0000378s
OntoDT_0000378
OntoDT_0000378
identifier unique
OntoDT_0000379s
OntoDT_0000379
OntoDT_0000379
fixed size
OntoDT_0000380s
OntoDT_0000380
OntoDT_0000380
variable size
OntoDT_0000381s
OntoDT_0000381
OntoDT_0000381
component mandatory
OntoDT_0000382s
OntoDT_0000382
OntoDT_0000382
component non-mandatory
OntoDT_0000383s
OntoDT_0000383
OntoDT_0000383
one dimensional
OntoDT_0000384s
OntoDT_0000384
OntoDT_0000384
two dimensional
OntoDT_0000385s
OntoDT_0000385
OntoDT_0000385
multi dimensional
OntoDT_0000386s
OntoDT_0000386
OntoDT_0000386
homogenous
OntoDT_0000387s
OntoDT_0000387
OntoDT_0000387
heterogenous
OntoDT_0000388s
OntoDT_0000388
OntoDT_0000388
recursive
OntoDT_0000389s
OntoDT_0000389
OntoDT_0000389
non-recursive
OntoDT_0000390s
OntoDT_0000390
OntoDT_0000390
structured
OntoDT_0000391s
OntoDT_0000391
OntoDT_0000391
unstructured
OntoDT_0000392s
OntoDT_0000392
OntoDT_0000392
semi-structured
OntoDT_0000393s
OntoDT_0000393
OntoDT_0000393
non-unique values
OntoDT_0000394s
OntoDT_0000394
OntoDT_0000394
unique values
OntoDT_0000408s
OntoDT_0000408
OntoDT_0000408
bound
OntoDT_004c390e_eaf3_4960_9918_c02cbd396ea4
tree with named nodes datatype
OntoDT_47a7dfda_6531_4182_b5e7_c275c9861f34
descriptive field component
OntoDT_5512ddf7_aa51_42f2_881c_36d79b91175a
DAG named node component
OntoDT_8c7ab50e_e725_47f8_be3e_b14b257f8bbe
target field component
OntoDT_UC_0000026s
OntoDT_UC_0000026
OntoDT_UC_0000026
set of integer datatype
OntoDT_UC_0000027s
OntoDT_UC_0000027
OntoDT_UC_0000027
integer base datatype
OntoDT_UC_0000030s
OntoDT_UC_0000030
OntoDT_UC_0000030
positive integer
OntoDT_UC_0000031s
OntoDT_UC_0000031
OntoDT_UC_0000031
positive integer range generator
1
OntoDT_ca96378e_c421_454c_9ba6_db5010ce068a
tree named node component
1
OntoDT_cfe27088_b275_4c80_aa9b_76031276226c
tree node component
OntoDT_e2caaa71_5d5b_45bf_b571_5a88c6dbd6c7
DAG node component
OntoDT_fdc29bbe_5fe1_4d0c_87dd_2414b82a13f7
DAG with named nodes datatype
owl:Thing
2.0
BFO
OBI_0000298
OBI_0000298s
OBI_0000298ed
has_quality
Larisa Soldatova
Pance Panov
Saso Dzeroski
Pance Panov
20.06.2018
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.
Ontology of General Purpose Datatypes
2.0