Conceptual graphs: fundamental notions

Nous definissons precisement les notions de base du modele des graphes conceptuels de Sowa [Sowa 84] et en etudions les proprietes. Nos resultats portent principalement sur la structure de la relation de specialisation, la correspondance entre operations de graphes et operations logiques, et la complexite algorithmique de la mise en œuvre du modele