loading...| Preferred Name |
datatype |
|
| Synonyms |
|
|
| Definitions |
set of distinct values, characterized by properties of those values, and by operations on those values 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. |
|
| ID |
http://ontodm.com/OntoDT#OntoDT_487147 |
|
| CN_pl |
OntoDT_487147s |
|
| CN_sg |
OntoDT_487147 |
|
| definition |
set of distinct values, characterized by properties of those values, and by operations on those values 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. |
|
| definition source |
ISO/IEC 11404:2007(E) |
|
| has_quality | ||
| label |
datatype |
|
| prefLabel |
datatype |
|
| subClassOf |