Abstract:
The paper introduces a language for representing knowledge in a declarative form. With this language it is possible to define knowledge about a certain domain by introducing a number of concepts and by specifying their interrelations.
The paper is meant to be an informal introduction to the language. We present the available constructs, describe their meaning and present a number of examples.
In other papers (currently in preparation) we will give a formal semantics of the language, introduce the interference theory and discuss a possible procedural embedding.
