Abstract FR:

K est un langage generique interactif dedie a l'implementation d'outils de representation des connaissances. Les structures de donnees sont construites a partir d'un graphe generalise. Kne propose a priori aucune procedure d'interpretation pour celles-ci. Par contre, il fournit un langage formel general, kl, qui permet d'integrer declarativement les modalites d'inmterpretation des donnees