7.2 Templates

Introduction

A template, in this context, is a configuration of concepts and relations which can be used again and again when formalizing texts.

Here are some benefits of templates:

  • Consistency in formalization. The same thing is formalized in the same way every time.
  • Better searcheability, due to consistency. You can search for something based on its template.

Further notes

If you have formalized a lot of text, you will find that certain configurations recur. It is good to make a portfolio of templates from such experiences, so that you can refer to it again next time the same configuration comes up.

On the following pages, we give examples of templates. Some are from the research of Henrik Schärfe or the work of Ulrik Petersen. Others are in widespread use in the CG community.


PrevLite: 7.1.6 Adding knowledge
NextLite: 7.2.1 Act

Prev: 7.1.6 Adding knowledge
Up: 7 Formalizing texts
Next: 7.2.1 Act