2.0 20.06.2018 Saso Dzeroski 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. Pance Panov Pance Panov Larisa Soldatova Ontology of General Purpose Datatypes 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 OBI_0000298 OBI_0000298s OBI_0000298ed has_quality 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 quality IAO_0000009s IAO_0000009 IAO label IAO_0000030s IAO_0000030 IAO IAO_0000033s IAO_0000033 directive information entity OBI_0000658s OBI_0000658 data representational model OntoDT_0000001s OntoDT_0000001 representation OntoDM_330210s OntoDM_330210 specification OntoDM-Viz_00000s 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 ordinal datatype OntoDT_0000002s OntoDT_0000002 boolean is the mathematical datatype associated with two-valued logic. boolean datatype OntoDT_0000003s OntoDT_0000003 integer is the mathematical datatype comprising the exact integral values. integer datatype OntoDT_0000004s OntoDT_0000004 Rational is the mathematical datatype comprising the “rational numbers”. rational datatype OntoDT_0000203s OntoDT_0000203 synonym: subtype extended datatype OntoDT_0000204s OntoDT_0000204 dimensionality OntoDT_0000208s OntoDT_0000208 homogenous aggregate generator OntoDT_0000209s OntoDT_0000209 heterogenous aggregate generator OntoDT_0000210s OntoDT_0000210 homogenous aggregate generator with variable size OntoDT_0000211s OntoDT_0000211 homogenous unordered aggregate generator with variable size OntoDT_0000212s OntoDT_0000212 non-numeric primitive datatype OntoDT_0000213s OntoDT_0000213 numeric primitive datatype OntoDT_0000214s OntoDT_0000214 numeric ordered primitive datatype OntoDT_0000215s OntoDT_0000215 non-numeric unordered primitive datatype OntoDT_0000216s OntoDT_0000216 non-numeric ordered primitive datatype OntoDT_0000217s OntoDT_0000217 homogenous aggregate datatype OntoDT_0000218s OntoDT_0000218 heterogenous aggregate datatype OntoDT_0000219s OntoDT_0000219 homogenous aggregate datatype with variable size OntoDT_0000220s OntoDT_0000220 homogenous unordered aggregate datatype with variable size OntoDT_0000221s OntoDT_0000221 direct access property OntoDT_0000222s OntoDT_0000222 indirect acess property OntoDT_0000223s OntoDT_0000223 add operation OntoDT_0000224s OntoDT_0000224 delete operation OntoDT_0000225s OntoDT_0000225 difference operation OntoDT_0000226s OntoDT_0000226 equal operation OntoDT_0000227s OntoDT_0000227 in order operation OntoDT_0000228s OntoDT_0000228 insert operation OntoDT_0000229s OntoDT_0000229 multiply operation OntoDT_0000230s OntoDT_0000230 dyadic select operation OntoDT_0000231s OntoDT_0000231 isEmpty operation OntoDT_0000232s OntoDT_0000232 negate operation OntoDT_0000233s OntoDT_0000233 nonNegative operation OntoDT_0000234s OntoDT_0000234 promote operation OntoDT_0000235s OntoDT_0000235 reciprocial operation OntoDT_0000236s OntoDT_0000236 round operation OntoDT_0000237s OntoDT_0000237 monadic select operation OntoDT_0000238s OntoDT_0000238 serialize operation OntoDT_0000239s OntoDT_0000239 successor operation OntoDT_0000241s OntoDT_0000241 countable OntoDT_0000242s OntoDT_0000242 finite OntoDT_0000243s OntoDT_0000243 uncountable OntoDT_0000244s OntoDT_0000244 bounded above OntoDT_0000245s OntoDT_0000245 bounded below OntoDT_0000246s OntoDT_0000246 unbounded above OntoDT_0000247s OntoDT_0000247 unbounded below OntoDT_0000248s OntoDT_0000248 bounded OntoDT_0000249s OntoDT_0000249 unbounded OntoDT_0000250s OntoDT_0000250 approximate OntoDT_0000251s OntoDT_0000251 exact OntoDT_0000252s OntoDT_0000252 numeric OntoDT_0000253s OntoDT_0000253 non-numeric OntoDT_0000254s OntoDT_0000254 ordered OntoDT_0000255s OntoDT_0000255 non-ordered OntoDT_0000256s OntoDT_0000256 Add:complex OntoDT_0000257s OntoDT_0000257 Add:integer OntoDT_0000258s OntoDT_0000258 Add:rational OntoDT_0000259s OntoDT_0000259 Add:real OntoDT_0000260s OntoDT_0000260 Add:scaled OntoDT_0000261s OntoDT_0000261 Delete:bag OntoDT_0000262s OntoDT_0000262 Delete:table OntoDT_0000263s OntoDT_0000263 Difference:set OntoDT_0000264s OntoDT_0000264 Difference:time&date OntoDT_0000265s OntoDT_0000265 Select:array OntoDT_0000266s OntoDT_0000266 Select:table OntoDT_0000267s OntoDT_0000267 Equal:array OntoDT_0000268s OntoDT_0000268 Equal:bag OntoDT_0000269s OntoDT_0000269 Equal:boolean OntoDT_0000270s OntoDT_0000270 Equal:character OntoDT_0000271s OntoDT_0000271 Equal:choice OntoDT_0000272s OntoDT_0000272 Equal:class OntoDT_0000273s OntoDT_0000273 Equal:complex OntoDT_0000274s OntoDT_0000274 Equal:enumerated OntoDT_0000275s OntoDT_0000275 Equal:integer OntoDT_0000276s OntoDT_0000276 Equal:ordinal OntoDT_0000277s OntoDT_0000277 Equal:pointer OntoDT_0000278s OntoDT_0000278 Equal:procedure OntoDT_0000279s OntoDT_0000279 Equal:rational OntoDT_0000280s OntoDT_0000280 Equal:real OntoDT_0000281s OntoDT_0000281 Equal:record OntoDT_0000282s OntoDT_0000282 Equal:scaled OntoDT_0000283s OntoDT_0000283 Equal:sequence OntoDT_0000284s OntoDT_0000284 Equal:set OntoDT_0000285s OntoDT_0000285 Equal:discrete OntoDT_0000286s OntoDT_0000286 Equal:table OntoDT_0000287s OntoDT_0000287 Equal:time&date OntoDT_0000288s OntoDT_0000288 Equal:void OntoDT_0000289s OntoDT_0000289 InOrder:enumerated OntoDT_0000290s OntoDT_0000290 InOrder:interger OntoDT_0000291s OntoDT_0000291 InOrder:ordinal OntoDT_0000292s OntoDT_0000292 InOrder:rational OntoDT_0000293s OntoDT_0000293 InOrder:real OntoDT_0000294s OntoDT_0000294 InOrder:scaled OntoDT_0000295s OntoDT_0000295 InOrder:time&date OntoDT_0000296s OntoDT_0000296 Insert:bag OntoDT_0000297s OntoDT_0000297 Insert:table OntoDT_0000298s OntoDT_0000298 Multiply:complex OntoDT_0000299s OntoDT_0000299 Multiply:integer OntoDT_0000300s OntoDT_0000300 Multiply:rational OntoDT_0000301s OntoDT_0000301 Multiply:real OntoDT_0000302s OntoDT_0000302 Multiply:scaled OntoDT_0000303s OntoDT_0000303 And:boolean OntoDT_0000304s OntoDT_0000304 Append:sequence OntoDT_0000305s OntoDT_0000305 AttributeFunctionOverride:class OntoDT_0000306s OntoDT_0000306 AttributeReplace:class OntoDT_0000307s OntoDT_0000307 Divide:scaled OntoDT_0000308s OntoDT_0000308 Fetch:table OntoDT_0000309s OntoDT_0000309 FieldReplace:record OntoDT_0000310s OntoDT_0000310 Intersection:set OntoDT_0000311s OntoDT_0000311 Lsln:set OntoDT_0000312s OntoDT_0000312 Or:boolean OntoDT_0000313s OntoDT_0000313 Subset:set OntoDT_0000314s OntoDT_0000314 Tag:choice OntoDT_0000315s OntoDT_0000315 Union:set OntoDT_0000316s OntoDT_0000316 dyadic aritmetic operation OntoDT_0000317s OntoDT_0000317 dyadic logical operation OntoDT_0000318s OntoDT_0000318 dyadic set operation OntoDT_0000319s OntoDT_0000319 dyadic updating operation OntoDT_0000320s OntoDT_0000320 dyadic comparison operation OntoDT_0000321s OntoDT_0000321 dyadic retrieve operation OntoDT_0000322s OntoDT_0000322 IsEmpty:bag OntoDT_0000323s OntoDT_0000323 IsEmpty:sequence OntoDT_0000324s OntoDT_0000324 IsEmpty:table OntoDT_0000325s OntoDT_0000325 Select:bag OntoDT_0000326s OntoDT_0000326 Select:set OntoDT_0000327s OntoDT_0000327 Negate:complex OntoDT_0000328s OntoDT_0000328 Negate:integer OntoDT_0000329s OntoDT_0000329 Negate:rational OntoDT_0000330s OntoDT_0000330 Negate:real OntoDT_0000331s OntoDT_0000331 Negate:scaled OntoDT_0000332s OntoDT_0000332 NonNegative:integer OntoDT_0000333s OntoDT_0000333 NonNegative:rational OntoDT_0000334s OntoDT_0000334 Promote:complex OntoDT_0000335s OntoDT_0000335 Promote:rational OntoDT_0000336s OntoDT_0000336 Promote:real OntoDT_0000337s OntoDT_0000337 Reciprocal:rational OntoDT_0000338s OntoDT_0000338 Reciprocal:real OntoDT_0000339s OntoDT_0000339 Reciprocal:complex OntoDT_0000340s OntoDT_0000340 Round:scaled OntoDT_0000341s OntoDT_0000341 Round:time&date OntoDT_0000342s OntoDT_0000342 Serialize:bag OntoDT_0000343s OntoDT_0000343 Serialize:table OntoDT_0000344s OntoDT_0000344 Successor:enumerated OntoDT_0000345s OntoDT_0000345 Successor:ordinal OntoDT_0000346s OntoDT_0000346 AttributeFunctionInvocation:class OntoDT_0000347s OntoDT_0000347 AttributeSelect:class OntoDT_0000348s OntoDT_0000348 Cast:choice OntoDT_0000349s OntoDT_0000349 Dereference:pointer OntoDT_0000350s OntoDT_0000350 Discriminant:choice OntoDT_0000351s OntoDT_0000351 Extend:time&date OntoDT_0000352s OntoDT_0000352 FieldSelect:record OntoDT_0000353s OntoDT_0000353 Head:sequence OntoDT_0000354s OntoDT_0000354 Invoke:procedure OntoDT_0000355s OntoDT_0000355 MapToBag:table OntoDT_0000356s OntoDT_0000356 MapToTable:table OntoDT_0000357s OntoDT_0000357 Not:boolean OntoDT_0000358s OntoDT_0000358 SetOf:set OntoDT_0000359s OntoDT_0000359 SquareRoot:complex OntoDT_0000360s OntoDT_0000360 Tail:sequence OntoDT_0000361s OntoDT_0000361 monadic aritmetic operation OntoDT_0000362s OntoDT_0000362 monadic retrive operation OntoDT_0000363s OntoDT_0000363 map operation OntoDT_0000364s OntoDT_0000364 boolean operation OntoDT_0000365s OntoDT_0000365 Replace:array OntoDT_0000366s OntoDT_0000366 Empty:bag OntoDT_0000367s OntoDT_0000367 Empty:sequence OntoDT_0000368s OntoDT_0000368 Empty:set OntoDT_0000369s OntoDT_0000369 Empty:table OntoDT_0000370s OntoDT_0000370 index access OntoDT_0000371s OntoDT_0000371 key access OntoDT_0000372s OntoDT_0000372 access by value OntoDT_0000373s OntoDT_0000373 implementation dependent access OntoDT_0000374s OntoDT_0000374 position access OntoDT_0000375s OntoDT_0000375 ordered aggregate OntoDT_0000376s OntoDT_0000376 unordered aggregate OntoDT_0000377s OntoDT_0000377 identifier not unique OntoDT_0000378s OntoDT_0000378 identifier unique OntoDT_0000379s OntoDT_0000379 fixed size OntoDT_0000380s OntoDT_0000380 variable size OntoDT_0000381s OntoDT_0000381 component mandatory OntoDT_0000382s OntoDT_0000382 component non-mandatory OntoDT_0000383s OntoDT_0000383 one dimensional OntoDT_0000384s OntoDT_0000384 two dimensional OntoDT_0000385s OntoDT_0000385 multi dimensional OntoDT_0000386s OntoDT_0000386 homogenous OntoDT_0000387s OntoDT_0000387 heterogenous OntoDT_0000388s OntoDT_0000388 recursive OntoDT_0000389s OntoDT_0000389 non-recursive OntoDT_0000390s OntoDT_0000390 structured OntoDT_0000391s OntoDT_0000391 unstructured OntoDT_0000392s OntoDT_0000392 semi-structured OntoDT_0000393s OntoDT_0000393 non-unique values OntoDT_0000394s OntoDT_0000394 unique values OntoDT_0000408s OntoDT_0000408 bound tree with named nodes datatype descriptive field component DAG named node component target field component OntoDT_UC_0000026s OntoDT_UC_0000026 set of integer datatype OntoDT_UC_0000027s OntoDT_UC_0000027 integer base datatype OntoDT_UC_0000030s OntoDT_UC_0000030 positive integer OntoDT_UC_0000031s OntoDT_UC_0000031 positive integer range generator 1 tree named node component 1 tree node component DAG node component DAG with named nodes datatype BFO