User Tools

Site Tools


correct_gellish_english

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
correct_gellish_english [2012/02/07 23:32]
andries [2. Certification]
correct_gellish_english [2018/02/15 12:29] (current)
Line 12: Line 12:
 This implies that each Gellish expression shall only only relate things (individual things and kinds of things or concepts) that are properly defined in one of the following three ways: \\ This implies that each Gellish expression shall only only relate things (individual things and kinds of things or concepts) that are properly defined in one of the following three ways: \\
 1. It is a concept that is already defined in the [[:Gellish English Dictionary]] and is selected from that dictionary (its name or synonym and unique identifier). \\ 1. It is a concept that is already defined in the [[:Gellish English Dictionary]] and is selected from that dictionary (its name or synonym and unique identifier). \\
-2. It is a new concept (kind of thing) that is propertly ​defined ​occording ​to the Gellish [Proper definition of a concept|rules for proper definitions of concepts]]. This includes that the new concept is defined by the specification of an explicit ​specialisation ​relation that defines it as a (proprietary) subtype of one of the concepts that already exist in the Gellish English Dictionary.+2. It is a new concept (kind of thing) that is properly ​defined ​according ​to the Gellish [Proper definition of a concept|rules for proper definitions of concepts]]. This includes that the new concept is defined by the specification of an explicit ​specialization ​relation that defines it as a (proprietary) subtype of one of the concepts that already exist in the Gellish English Dictionary.
  ​Definitions of new concepts can be issued as proposals for inclusion in the Open Source Gellish English dictionary. \\  ​Definitions of new concepts can be issued as proposals for inclusion in the Open Source Gellish English dictionary. \\
  For example: the definition of the concept oak tree as a subtype of tree is specified as follows: \\  For example: the definition of the concept oak tree as a subtype of tree is specified as follows: \\
Line 23: Line 23:
  
 Each relation shall be classified by a kind of relation (relation type) that is selected from the Gellish dictionary. Private extensions of the Gellish Dictionary with additional relation types are allowed, provided that is done \\ Each relation shall be classified by a kind of relation (relation type) that is selected from the Gellish dictionary. Private extensions of the Gellish Dictionary with additional relation types are allowed, provided that is done \\
-For example, for an electronic ​catalogue ​of fasteners it may be requirement that a bolt shall have a length. Such a fact shall be expressed by a relation that is classified by a standard relation type with unique identifier 4956 and shall have as '​name'​ the standard phrase 'shall have as aspect a'. So the Gellish English expression becomes: \\ +For example, for an electronic ​cataloge ​of fasteners it may be requirement that a bolt shall have a length. Such a fact shall be expressed by a relation that is classified by a standard relation type with unique identifier 4956 and shall have as '​name'​ the standard phrase 'shall have as aspect a'. So the Gellish English expression becomes: \\ 
-^UID of left hand object^Name of left hand object^UID of fact^UID of relatiion ​type^Name of relation type^UID of right hand object^Name of right hand object^+^UID of left hand object^Name of left hand object^UID of fact^UID of relation ​type^Name of relation type^UID of right hand object^Name of right hand object^
 | 340016 | bolt | 1 | 4956 | shall have as aspect a | 551353 | length| ​ | 340016 | bolt | 1 | 4956 | shall have as aspect a | 551353 | length| ​
  
Line 32: Line 32:
 //Example 1:// Assume that A is a performer of B. This implies that A shall be a physical object, because the ‘is a performer of’ relation type requires a first role (performer) that can only be played by a physical object. The second role (performed) is a role that can only be played by an occurrence. So B must be an occurrence. \\ //Example 1:// Assume that A is a performer of B. This implies that A shall be a physical object, because the ‘is a performer of’ relation type requires a first role (performer) that can only be played by a physical object. The second role (performed) is a role that can only be played by an occurrence. So B must be an occurrence. \\
 //Example 2:// Assume that C is a specialization of D. This implies that C is a concept (kind of thing), because the ‘is a specialization of’ relation requires a first role that is a subtype, which can only be played by a concept (or a subtype of concept). \\ //Example 2:// Assume that C is a specialization of D. This implies that C is a concept (kind of thing), because the ‘is a specialization of’ relation requires a first role that is a subtype, which can only be played by a concept (or a subtype of concept). \\
-Further guidance and explanation about these requirements is provided in the document ‘Gellish English Dictionary Extension Manual’[[http://​gellish.wiki.sourceforge.net/​page/​edit/​Correct+Gellish+English?​token=a399b45a735edb0ed2e4b801d37b48c4#​_ftn1|[1]]]. ​\\ \\+Further guidance and explanation about these requirements is provided in the document ‘Gellish English Dictionary Extension Manual’ \\ \\
  
 ====== 2. Certification ====== ====== 2. Certification ======
correct_gellish_english.txt · Last modified: 2018/02/15 12:29 (external edit)