The CORALI Project: From Conceptual Graphs to Conceptual Graphs via Labelled Graphs

The scientific objectives of the “Conceptual gRAphs at LIrmm” project and the method used to reach these objectives are presented.

[1]  Boris Carbonneill,et al.  Interfacing a relational database using conceptual graphs , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

[2]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[3]  Marie-Laure Mugnier,et al.  Characterization and Algorithmic Recognition of Canonical Conceptual Graphs , 1993, ICCS.

[4]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[5]  Marie-Laure Mugnier,et al.  Specialization: Where Do the Difficulties Occur? , 1992, Workshop on Conceptual Graphs.

[6]  Sharon C. Salveter.  Review of Conceptual structures: information processing in mind and machine by John F. Sowa. Addison-Wesley 1984. , 1986 .

[7]  John F. Sowa,et al.  Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..

[8]  Olivier Guinaldo.  Etude d'un gestionnaire d'ensembles de graphes conceptuels , 1996 .

[9]  Marie-Laure Mugnier,et al.  Polynomial Algorithms for Projection and Matching , 1992, Workshop on Conceptual Graphs.

[10]  Marie-Laure Mugnier.  Contributions algorithmiques pour les graphes d'héritage et les graphes conceptuels , 1992 .

[11]  Marie-Laure Mugnier,et al.  Logic for Nested Graphs , 1998, Comput. Intell..

[12]  Ollivier Haemmerlé,et al.  Conceptual Graphs for Relational Databases , 1993, ICCS.

[13]  M. Mugnier,et al.  Représenter des connaissances et raisonner avec des graphes , 1996 .

[14]  M. Leclere.  C-CHiC : construction coopérative de hiérarchies de catégories , 1996 .

[15]  Pierre Zweigenbaum,et al.  Issues in the Structuring and Acquisition of an Ontology for Medical Language Understanding , 1995, Methods of Information in Medicine.

[16]  M. Leclère,et al.  Reasoning with Type Definitions , 1997, ICCS.

[17]  Eric Salvat,et al.  A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux , 1997, ICCS.

[18]  Ollivier Haemmerlé,et al.  Standardizing and Interfacing Relational Databases Using Conceptual Graphs , 1994, ICCS.

[19]  Marie-Laure Mugnier,et al.  Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.

[20]  Marie-Laure Mugnier,et al.  On generalization/specialization for conceptual graphs , 1995, J. Exp. Theor. Artif. Intell..

[21]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[22]  Olivier Guinaldo.  Techniques d'indexation pour aider à la classification dans le modèle des graphes conceptuels , 1995, LMO.

[23]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[24]  Boris Carbonneill.  Vers un système de représentation de connaissances et de raisonnement fondé sur les graphes conceptuels , 1996 .

[25]  F. Lehmann,et al.  Semantic Networks in Artificial Intelligence , 1992 .

[26]  Michel Chein,et al.  An Experiment in Document Retrieval Using Conceptual Graphs , 1997, ICCS.

[27]  William A. Woods,et al.  Understanding Subsumption and Taxonomy: A Framework for Progress , 1991, Principles of Semantic Networks.

[28]  Olivier Guinaldo,et al.  A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test , 1995, ICCS.

[29]  Heather D. Pfeiffer,et al.  Conceptual Structures: Theory and Implementation , 1993, Lecture Notes in Computer Science.

[30]  Olivier Guinaldo,et al.  Conceptual Graphs Isomorphism: Algorithm and Use , 1996, ICCS.