formalized_languages
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
formalized_languages [2018/11/12 16:12] andries [3. Categories of kinds of relations] |
formalized_languages [2018/11/12 16:23] (current) andries [3. Categories of kinds of relations] |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| For creating high quality Gellish expressions skills are required in **'Semantic Modeling'**, which primarily includes expressing information in the form of collections of binary relations conform a consistent methodology. It also includes using the proper kinds of relations for expressing particular meanings. \\ | For creating high quality Gellish expressions skills are required in **'Semantic Modeling'**, which primarily includes expressing information in the form of collections of binary relations conform a consistent methodology. It also includes using the proper kinds of relations for expressing particular meanings. \\ | ||
| - | The search for the proper kinds of relations is supported by two mechanisms: 1) The fact that kinds of relations are denoted by phrases that apply logical naming conventions and 2) The fact that the kinds of relations are arranged in a taxonomy. A method for finding the required kinds of relations is described further in the taxonomy description of the Gellish wiki. | + | The search for the proper kinds of relations is supported by two mechanisms: 1) The fact that kinds of relations are denoted by phrases that apply logical naming conventions and 2) The fact that the kinds of relations are arranged in a taxonomy. A method for finding the required kinds of relations is described further in [[http://wiki.gellish.net/gellish_english_dictionary|the taxonomic dictionary section of this wiki]]. |
| === 3.1 Phrases === | === 3.1 Phrases === | ||
| Line 42: | Line 42: | ||
| Apart from the multiple phrases for denoting a kind of relation, each kind of relation is identified by a unique identifier (its Gellish UID). For example, the concept 'part-whole relation' has UID 1260. Thus all aliases, synonyms, abbreviations and translations of phrases that denote a particular kind of relation share the same UID. | Apart from the multiple phrases for denoting a kind of relation, each kind of relation is identified by a unique identifier (its Gellish UID). For example, the concept 'part-whole relation' has UID 1260. Thus all aliases, synonyms, abbreviations and translations of phrases that denote a particular kind of relation share the same UID. | ||
| - | === 3.3 The taxonomy - the hierarchy of kinds of relations | + | === 3.3 The taxonomy - the hierarchy of kinds of relations === |
| The kinds of relations together form a taxonomy, being a subtype-supertype hierarchy of kinds of relations. This implies that all kinds of relations are subtypes of one concept, called **relation**. The first subtypes of 'relation' are the concepts //binary relation// and //higher order or variable order relation//. The binary relations have the following branches in the hierarchy: | The kinds of relations together form a taxonomy, being a subtype-supertype hierarchy of kinds of relations. This implies that all kinds of relations are subtypes of one concept, called **relation**. The first subtypes of 'relation' are the concepts //binary relation// and //higher order or variable order relation//. The binary relations have the following branches in the hierarchy: | ||
| Line 53: | Line 53: | ||
| - | Kinds of higher order relations include kinds that represent kinds of occurrences, such as processes, activities and events and kinds that represent correlations, such as for physical laws or geometric and mathematical formula. The expressions that specify which and how objects are involved in occurrences etc. are related to the higher order relations using kinds of binary //involvement relations//. An example of a kind of activity is //project//, and an example of an expression that specifies an involvement as a manager is:\\ | + | Kinds of higher order relations include kinds that represent kinds of occurrences, such as processes, activities and events and kinds that represent correlations, such as for physical laws or geometric and mathematical formula. For specification of a higher order relation such as an occurrence, it is required to specify which and how objects are involved in the occurrences. This done by relating the occurrence to the involved objects by relations of kinds that are subtypes of binary //involvement relation//. For example, a kind of activity is //project//, and specifying an involvement of John as a manager of Project X is expressed as follows:\\ |
| * John //is manager of// Project X | * John //is manager of// Project X | ||
| - | + | The definition of a [[http://gellish.net/index.php/downloads/file/54-gellish-english.html|base collection of kinds of relations]] is free available in Gellish expression format in CSV via the download section of this website. | |
| - | For different application area's different kinds of relations are applicable. | + | |
| - | The definition of a [[http://gellish.net/index.php/downloads/file/54-gellish-english.html|collection of kinds of relations]] is free available in Gellish expression format in CSV via the download section of this website. | + | |
| //Continue with:// [[http://wiki.gellish.net/outline_of_gellish|Outline of Gellish]] | //Continue with:// [[http://wiki.gellish.net/outline_of_gellish|Outline of Gellish]] | ||
formalized_languages.txt · Last modified: 2018/11/12 16:23 by andries
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
