Please login


The cart is empty


This website introduces:


- A methodology for Semantic Information Modeling.

- The definition of formalized languages such as Formal English, Formal Dutch and other formalized natural language variants.

The objectives of Semantic Information Modeling are to enable:

  • Interoperability of systems and information integration, through
    • System independent information models.

    • A standardized formal language for expressing information, knowledge, requirements as well as queries and responses.

    • A universal data exchange format.

    • Natural language independency and automated translation.

  • Applying logic reasoning on data, knowledge and requirements, for
    • Enabling intelligent searching by applying logic reasoning.

    • Supporting computer augmented design, fabrication and maintenance.

    • Enabling computer augmented verification of requirements.

Registered users have access to

  • A wiki guide on the development of Semantic Information Models and data exchange messages in formal languages using the Gellish Semantic Modeling Methodology.

The webshop offers:

  • Taxonomic Dictionary-Ontology
    The taxonomic dictionary-ontology of Formal English and Formal Dutch can be purchased and downloaded, together with a search engine application and a user guide. It can be installed on Windows PC's to search for terms and relation types and to navigate through the network of related concepts.
    The database consists of the concepts, vocabulary and definition that defines Formal English or Formal Dutch (Formeel Nederlands).
  • The book 'Taxonomic Dictionary of Relations' provides definitions of kinds of relations and their denoting phrases and inverse phrases. The relation types form the core of the definition of the Gellish Family of Formal Languages. The relation types are also suitable to be used as standard kinds of relations (properties) in RDF/OWL based data exchange (also available in Dutch).
  • The book 'Semantic Information Modeling Methodology' describes a systemetic approach for creating information models, knowledge models, requirements models and definition models, while using formal languages. The book is illustrated with many practical examples.

Support independent publishing: Buy this book on Lulu.   Also available as eBook:Support independent publishing: Buy this e-book on Lulu.

  • Formalized Natural Languages, Definition and Application of Universal Information Modeling Languages (2014). This is the 2nd edition of 'Gellish, a Generic Extensible Ontological Language' (2005); PhD, Delft University of Technology.Support independent publishing: Buy this book on Lulu.
  • Licenses for the Gellish Semantic Modeling Methodology and for the Formal English definition, giving:
    • The latest versions of the basic Ontology and Domain Dictionaries-Taxonomies
    • The protected part of the knowledge base and Wiki
    • Free of charge access to the purchasable documents
    • 10% reduction on the purchasable software
    • Help desk support for a maximum of 10 '10 minute' requests per year
    • Processing of 10 requests for Domain Dictionary-Taxonomy extensions or enhancements per year
  • Guides: