Difference between revisions of "Edu:Type"
From IAOA Wiki
(Created page with " == Type == # "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this...") |
(→Type: Revised formatting; Added 'Commentary', Moved (previous) first entry to 'Commentary' section, Moved (previous) second entry to 'Discussion' page, added 'Synonym.) |
||
| Line 1: | Line 1: | ||
== Type == | == Type == | ||
| − | + | ||
| − | |||
| − | |||
| + | ''' Commentary ''' | ||
| + | * "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this meaning, it should not be a term for ontological modeling. | ||
| + | ** (different definition of "type" at the concept level. (entry specification suggested from Richard D.) | ||
| + | |||
| + | * In BFO2.0 'Type' is Synonymous with [[Synonym::Edu:Universal]] (See pg. 1 [ [[TermlistReferences#arpetal2015|Arp et al., 2015]] ]) | ||
[[Category:Term|Term]] | [[Category:Term|Term]] | ||
Latest revision as of 22:48, 15 January 2020
Type
Commentary
- "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this meaning, it should not be a term for ontological modeling.
- (different definition of "type" at the concept level. (entry specification suggested from Richard D.)
- In BFO2.0 'Type' is Synonymous with Edu:Universal (See pg. 1 [ Arp et al., 2015 ])
