Base Canonica
I CG rappresentano asserzioni su un specifico dominio. Esiste perņ anche un altro livello di conoscenza, che riguarda la descrizione di tipi e concetti tipici, la specificazione di informazioni di default sui concetti, vincoli riguardo l'uso di concetti
L'insieme di tali grafi č denominato base canonica del dominio.
Esempi di elementi della base canonica sono i grafi canonici e le definizioni di tipo.
Le operazioni sui grafi (cfr seguito) servono a derivare nuovi grafi dalla base canonica.