Semantic Web Architecture

Some definitions about languages

A language consists of a structure definition (called abstract syntax or meta model), a definition of the notation (also called concrete syntax) and semantics. In semantics we distinguish between the static semantics (constraints, typesystem) and the operational semantics (what something means as it is executed).

Symboles terminaux et non-terminaux

En informatique, on appelle symboles terminaux et non-terminaux les symboles utilisés dans les règles de production d'une grammaire formelle. Les symboles terminaux forment les morceaux de chaînes de caractères générés par la grammaire. Les symboles non-terminaux correspondent aux noms des règles de la grammaire, et produisent des séquences de symboles terminaux et non-terminaux.

Par exemple, pour représenter un nombre éventuellement signé, on peut proposer la grammaire suivante (exprimée en notation pseudo-BNF) :

::= ['-'] {}
::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
Dans cette grammaire, les symboles (-,0,1,2,3,4,5,6,7,8,9) sont terminaux ; les symboles et sont non-terminaux.

Synthax versus Semantic

The synthax defines the correctness of a sequence of characters without meaning. Semantic defines the meaning of this sequence of characters.
Example: 34 + 6 = 100 ist syntactic correct but semantic wrong.