User Tools

Site Tools


dictionary_extension

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
dictionary_extension [2011/10/20 22:59]
peter [2. How to define new concepts]
dictionary_extension [2018/02/15 12:29] (current)
Line 1: Line 1:
-===== 1. Domain Dictionaries and Dictionary ​Extensions ​=====+====== 1. Domain Dictionaries and Dictionary ​Development ======
  
-The general purpose ​technical ​[[:Gellish English Dictionary]] ​may not include all the concepts and definitions that may be required in a particular application domain. ​Therefore, the Gellish language is extensible with additional vocabulary and grammar. The vocabulary can be extended by means of the definition of additional concepts and the grammar and semantics ​can be extended by means of the definition of additional ​relation types. Such additional definitions may be intermingled with other Gellish expressions or they may be collected in a separate amendment. The definition of extensions are themselves also expressed in Gellish.+The general purpose [[:Gellish English ​Dictionary|Gellish Taxonomic ​Dictionary]] ​will never be complete. When it does not contain ​concepts and definitions that are required in a particular application domain ​it should be extendedThe Gellish language is therefore ​extensible with additional vocabulary and grammar, not only centrally, but also on-the-fly whenever users have a need. The vocabulary can be extended by means of the definition of additional concepts and the semantic expression capabilities ​can be extended by means of the definition of additional ​kinds of relations. Such additional definitions may be intermingled with other Gellish expressions or they may be collected in a separate amendment. The definition of extensions are themselves also expressed in Gellish.
  
-Organizations that serve business area, such as branch organizations,​ may wish to develop a complete Domain Dictionary, using the [[:Gellish Modeling Method]]. The concepts in such a Domain Dictionary are also arranged in a Taxonomy (a subtype - supertype hierarchy) so that the top concepts in the Domain Dictionary are subtypes of concepts in the Gellish Dictionary. This is necessary to enable semantic verification of the correctness ​of Gellish expressions when using the concepts from the Domain Dictionary.+High quality taxonomic dictionaries for various domains should satisfy ​number ​of quality criteria.
  
-To facilitate increase world-wide use of a common language it is strongly recommended to propose extensions ​to the general [[http://​opensource.org/​docs/​os|Open Source]] ​and public domain ​Gellish English Dictionary ​via this website.+The prime quality rule is that each concept shall be defined as being a subtype ​of  at least one other concept, which is called its supertype concept. Such subtype-supertype relation implies that the definition of the supertype concept ​is also applicable ​to all its subtype concepts, whereas ​the subtype concept is further defined by additional relations (that express constraints)It also means that definitions,​ knowledge ​and requirements about concepts are "​inherited"​ to all their subtype concepts along the hierarchy. For example, when the Gellish English ​Taxonomic ​Dictionary ​contains that a motorway is a subtype of road, then software can conclude that government rules for roads in general) are also applicable for motorways. This enables that the taxonomy implies that it is superfluous to respecify the applicability of those rules for the subtypes of road again. Furthermore rules that only apply to motorways should be related to the concept motorway (and not to road). Also characteristics and possibilities are inherited, unless possibilities are constrained for the subtypes.
  
-===== 2. How to define new concepts ​=====+Organizations that serve a business area, such as branch organizations,​ may wish to develop a complete Domain Taxonomic Dictionary, using the [[:Gellish Modeling Method|Gellish Modeling Methodology]]. The concepts ​in such a Domain Dictionary should then also be arranged as a Taxonomy (a subtype - supertype hierarchy) in such a way that the top concepts in the Domain Dictionary are subtypes of concepts in the Gellish Taxonomic Dictionary. This is necessary for enabling semantic verification of the correctness of Gellish expressions when using the concepts from the Domain Dictionary.
  
-== 2.1 Allocate a Unique identifier (UID) ==+To facilitate increased world-wide development and use of a common language it is strongly recommended that required extensions are proposed as extensions of the general Gellish English Taxonomic Dictionary via this website. 
 + 
 +====== 2. How to define new concepts ====== 
 + 
 +==== 2.1 Allocate a Unique identifier (UID) ====
  
 Any new concept that is added to a Gellish Dictionary or a proprietary or public Domain Dictionary shall be denoted by a new unique Gellish identifier (UID). The concepts shall be referenced in Gellish expressions by those UID's. A new UID shall be selected from available slots in a proprietary range that can be requested from the Gellish language manager or from a range that is outside the reserved range. The range 1-1000 is free for testing and querying purposes and the range 1000 - 300.000.000 is reserved. Any new concept that is added to a Gellish Dictionary or a proprietary or public Domain Dictionary shall be denoted by a new unique Gellish identifier (UID). The concepts shall be referenced in Gellish expressions by those UID's. A new UID shall be selected from available slots in a proprietary range that can be requested from the Gellish language manager or from a range that is outside the reserved range. The range 1-1000 is free for testing and querying purposes and the range 1000 - 300.000.000 is reserved.
  
  
-== 2.2 Provide proper definitions ==+==== 2.2 Provide proper definitions ​====
  
 A new concept is properly defined and added to the Gellish language by completion of a single line in a Gellish Table. That line shall contain the following information (that express a main fact and auxiliary facts): A new concept is properly defined and added to the Gellish language by completion of a single line in a Gellish Table. That line shall contain the following information (that express a main fact and auxiliary facts):
Line 33: Line 37:
 Note that the unique identifiers 1, 2 and 3 are selected from a private range. When formally added to the Gellish Dictionary they are allocated by the Gellish language manager. The number 1146 is an example of an identifier that formally identifies the Gellish phrase 'is a specialization of' and that is part of the Gellish language. Note that the unique identifiers 1, 2 and 3 are selected from a private range. When formally added to the Gellish Dictionary they are allocated by the Gellish language manager. The number 1146 is an example of an identifier that formally identifies the Gellish phrase 'is a specialization of' and that is part of the Gellish language.
  
-== 2.3 Create Definition Models (optional) ==+==== 2.3 Create Definition Models (optional) ​====
  
 Definitions can be extended with the explicit modeling of facts that are by definition true for any object of such a kind. A definition model is defined as the collection of the facts about a concept (kind of thing) that are by definition true. For example, a pipe has by definition as aspect a diameter and a centrifugal pump has by definition as part an impeller. These facts are expressed in Gellish as follows (ignoring the UID'​s):​ Definitions can be extended with the explicit modeling of facts that are by definition true for any object of such a kind. A definition model is defined as the collection of the facts about a concept (kind of thing) that are by definition true. For example, a pipe has by definition as aspect a diameter and a centrifugal pump has by definition as part an impeller. These facts are expressed in Gellish as follows (ignoring the UID'​s):​
Line 41: Line 45:
 | centrifugal pump | has by definition as part a | impeller| | centrifugal pump | has by definition as part a | impeller|
  
-== 2.4 Define roles of physical objects ==+==== 2.4 Define roles of physical objects ​====
  
-Often a concept is not really a kind of a physical object, but a kind of role, such as a kind of usage or a kind of location of a physical object. For example, the concept '​driver'​ is a role for which some kinds of physical objects can be used and a 'front end bearing'​ is not a kind of bearing, but a bearing that is located at a front end (of a shaft). In such cases the concept shall be defined as a subtype of role or one of its subtypes (such as '​usage'​ or '​located physical object'​. ​[[br]]+Often a concept is not really a kind of a physical object, but a kind of role, such as a kind of usage or a kind of location of a physical object. For example, the concept '​driver'​ is a role for which some kinds of physical objects can be used and a 'front end bearing'​ is not a kind of bearing, but a bearing that is located at a front end (of a shaft). In such cases the concept shall be defined as a subtype of role or one of its subtypes (such as '​usage'​ or '​located physical object'​. ​\\
 So, such a concept shall be defined by a specialization relation with role. If such a role is by definition fulfilled by a particular kind of physical object, then that fact shall be specified as well. \\ So, such a concept shall be defined by a specialization relation with role. If such a role is by definition fulfilled by a particular kind of physical object, then that fact shall be specified as well. \\
 For example, the concept front end bearing is defined in a Gellish Table as follows (ignoring the unique identifiers and the auxiliary facts): For example, the concept front end bearing is defined in a Gellish Table as follows (ignoring the unique identifiers and the auxiliary facts):
Line 51: Line 55:
 | front end bearing | is by definition a role of a | bearing || | front end bearing | is by definition a role of a | bearing ||
  
-== 2.5 Define roles of aspects ==+==== 2.5 Define roles of aspects ​====
  
 If the name of a kind of aspect contains a name of a kind of physical object, then the kind aspect is normally by definition possessed by that particular kind of physical object. For example, the concept '​impeller diameter'​ is a diameter that is by definition possessed by an impeller. This means that '​impeller diameter'​ is not really a kind of aspect, but a kind of '​possessed aspect',​ (which is a role of an aspect) in a relation with an impeller. If you nevertheless want to add such a concept to the Gellish Dictionary, then you should not only define the concept by a specialization relation with possessed aspect, but you should also specify that it is by definition a possessed aspect of a true aspect and that it is by definition a possessed aspect of a particular kind of physical object. For example: If the name of a kind of aspect contains a name of a kind of physical object, then the kind aspect is normally by definition possessed by that particular kind of physical object. For example, the concept '​impeller diameter'​ is a diameter that is by definition possessed by an impeller. This means that '​impeller diameter'​ is not really a kind of aspect, but a kind of '​possessed aspect',​ (which is a role of an aspect) in a relation with an impeller. If you nevertheless want to add such a concept to the Gellish Dictionary, then you should not only define the concept by a specialization relation with possessed aspect, but you should also specify that it is by definition a possessed aspect of a true aspect and that it is by definition a possessed aspect of a particular kind of physical object. For example:
Line 61: Line 65:
 Note: By defining such a concept in this way the Gellish language enables computers to verify the consistency of two ways of specification:​ one without decomposition of assemblies and another with decomposition of assemblies. For example, a facility owner may require that a for a centrifugal pump it shall be specified what its impeller diameter is, or which value it shall have, whereas a manufacturer may specify that a delivered centrifugal pump has an impeller and that the impeller has a particular diameter (value). The above specification enables a computer to verify whether the requirement is satisfied, because it can match an impeller diameter of a pump with a diameter of an impeller that is a part of that pump. Note: By defining such a concept in this way the Gellish language enables computers to verify the consistency of two ways of specification:​ one without decomposition of assemblies and another with decomposition of assemblies. For example, a facility owner may require that a for a centrifugal pump it shall be specified what its impeller diameter is, or which value it shall have, whereas a manufacturer may specify that a delivered centrifugal pump has an impeller and that the impeller has a particular diameter (value). The above specification enables a computer to verify whether the requirement is satisfied, because it can match an impeller diameter of a pump with a diameter of an impeller that is a part of that pump.
  
-== 2.6 Define qualitative aspects ==+==== 2.6 Define qualitative aspects ​====
  
 Conceptual aspects (qualities and properties) such as colour, diameter, material of construction and information shall be distinguished from qualitative aspects, such as red, 6", stainless steel and standard information. A conceptual aspect shall be defined in the same way as any other concept, such as a kind of physical object: by a specialization relation with its direct supertype. A qualitative aspect shall be defined by an <is a qualification of> relation with the conceptual aspect of which it is a qualification or with a more general qualitative aspect. \\ Conceptual aspects (qualities and properties) such as colour, diameter, material of construction and information shall be distinguished from qualitative aspects, such as red, 6", stainless steel and standard information. A conceptual aspect shall be defined in the same way as any other concept, such as a kind of physical object: by a specialization relation with its direct supertype. A qualitative aspect shall be defined by an <is a qualification of> relation with the conceptual aspect of which it is a qualification or with a more general qualitative aspect. \\
dictionary_extension.1319144398.txt.gz · Last modified: 2018/02/15 12:29 (external edit)