Sémantique : Sens qui peut être donné par un mécanisme d'interprétation à un ensemble de signes. En informatique, l'interprétation automatique nécessite que cette sémantique soit explicitée sous une forme propre au calcul. C'est ainsi que les procédés de fabrication des expressions à partir d'un alphabet de départ doivent être explicites, tout comme les règles de dérivation du "VRAI" (démonstration de théorème). Chez l'homme, la sémantique est donnée par son interprétation plus ou moins personnelle des signes qu'il "lit". Cette capacité à interpréter des signes s'apprend. Lorsqu'un système informatique exploite des déclarations de connaissances, il est important que la syntaxe affichée de ces déclarations soit facilement interprétable par l'homme, c'est-à-dire ne lui demande pas un effort particulier d'apprentissage à cette occasion. Pour faciliter cette échange, il est utile de passer par des "représentations" graphiques pour communiquer les connaissances déclarées à l'utilisateur.