fusupo / Gellish

Development of tools for using Formal English and other Gellish Formal Languages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Gellish

Objective: Developing open source tools for supporting the implementation of universal information exchange between systems using a universal language, being Formal English or any other language variant of the Gellish family of formalized natural languages.
I am an information modeler/ontologist with an engineering background and I worked for about 35 years in IT for Shell. Because of Shell's urgent need for data integration, data exchange and interoperability of internal systems and systems of suppliers, I worked for over 20 years on interoperability standards and IM consultancy.
As a result I have developed a family of universal data exchange languages, called Gellish. Formal English is the English variant of that family. Formal English is a formalization of a natural English, which means that Formal English is machine interpretable as well as human readable. Formal English (and Formal Dutch) is widely applicable and is proven to be suitable for modeling the whole life-cycle of all kinds of facilities and infrastructure and their components design and operation, as well as for modeling business processes.

The language definition includes a language defining ontology and taxonomic dictionary, together with a syntax that is called the Gellish Expression Format. The language principles are described in my PhD and its application is documented in various books and documents and a wiki, see: www.gellish.net. The Gellish Syntax is available as pdf-file in this project.

For testing tools and applications the following data is available as CSV (semicolon ";" separated) files, compliant with the above mentioned Gellish Syntax for expressions in Formal English:

  1. A representative subset of the language defining ontology of Formal English (and Formeel Nederlands) is available as TSV (tab separated) files in this project. The full taxonomic dictionary-ontology can be licensed via the Gellish website.
  2. A subset of the UoMs (units of measure) and currencies definitions section of the taxonomic dictionary.
  3. A subset with definitions and knowledge about roads, selected from the Building, civil and furniture section of the taxonomic dictionary and knowledge base.
  4. An example of a product model of a road network, expressed in Formal English.

The Application software allows to select creation of a new database or querying an existing database. On 'n' (new) the programn will (1) first import the 'base_ontology' file, containing the core language definition (subset), in order to enable formulation and interpretation of expressions in the formal language. This enables (2) importing the second and third files (and similar taxonomic dictionary files), because it enables to verify and interpret the relation types and build the taxonomy and object models. Then (3) product and process models, knowledge models and requirements models can be imported, verified and interpreted. The fourth file is an example of a product model (being a model of a simple road network).

About

Development of tools for using Formal English and other Gellish Formal Languages

License:GNU General Public License v3.0


Languages

Language:Python 100.0%