Conceptual graphs: fundamental notions
Michel Chein, Marie-Laure Mugnier · 1992
. We state precise definitions of the basic notions of Sowa's framework [Sowa 84] and provide related results. These results mainly concern the structure of the specialization relation, correspondence between graph operations and logical operations, and algorithmic complexity of the model handling. RESUME. Nous dfinissons prcisment les notions de base du modle des graphes conceptuels de Sowa [Sowa 84] et en tudions les proprits. Nos rsultats portent principalement sur la structure de la relation de spcialisation, la correspondance entre oprations de graphes et oprations logiques, et la complexit algorithmique de la mise en oeuvre du modle. KEY WORDS : Knowledge representation, conceptual graphs, Sowa's graphs, semantic networks, specialization / generalization, graphs, pattern matching, first order logic, algorithmic complexity. MOTS-CLES : reprsentation de connaissances, graphes conceptuels, graphes de Sowa, rseaux smantiques, spcialisation / gnralisation, graphes, appariement, log...