User Tools

Site Tools


formalized_languages

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]
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 ​etcare 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 examplea 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