We briefly present our point of view about conceptual graphs: graphs with ordered labels - for representing knowledge - with graph operations - for reasoning. We propose a formalism for simple conceptual graphs which generalizes the usually considered model, and preserves its fundamental properties. Links with important combinatorial notions (graph morphism, Constraint Satisfaction Problems) are established. Finally a notion of nested conceptual graph is fonnally defined, which significantly extends the simple model.

@article{mugnier1996reprsenter, author = {Mugnier, Marie-Laure and Chein, Michel}, title = {Représenter des connaissances et raisonner avec des graphes}, series = {1}, journal = {Revue d'Intelligence Artificielle}, address = {Lavoisier}, year = {1996}, volume = {10}, number = {1}, pages = {7-56}, keywords = {Représenter, avec, connaissances, des, et, graphes, raisonner}, abstract = {We briefly present our point of view about conceptual graphs: graphs with ordered labels - for representing knowledge - with graph operations - for reasoning. We propose a formalism for simple conceptual graphs which generalizes the usually considered model, and preserves its fundamental properties. Links with important combinatorial notions (graph morphism, Constraint Satisfaction Problems) are established. Finally a notion of nested conceptual graph is fonnally defined, which significantly extends the simple model. } }

%0 = article %A = Mugnier, Marie-Laure and Chein, Michel %C = Lavoisier %D = 1996 %T = Représenter des connaissances et raisonner avec des graphes