Advertisement

The CORALI project: From conceptual graphs to conceptual graphs via labelled graphs

  • Michel Chein
Keynote Address
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1257)

Abstract

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 1.
    M. Chein, O. Cogis. A Simple Knowledge Representation Scheme with Precise Formal Properties. In Intern. Journal of Systems Research and Information Science, vol. 2, 1988, p. 215–229.Google Scholar
  2. 2.
    M. Chein, J. Bouaud, J.P. Chevallet, R. Dieng, B. Levrat, G. Sabah. Graphes concceptuels. In Actes des 5-ihmes Joumies nationales du PRC-GDR Intelligence Artificielle. Hermès, 1995, p. 179–212.Google Scholar
  3. 3.
    F. Lehmann (edt). Semantic Networks in Artificial Intelligence. Pergamon, 1992.Google Scholar
  4. 4.
    J.F. Sowa. Conceptual Graphs for a Data Base Interface. IBM Journal of Research and Development, vol. 20, 4, 1976, p. 336–357.Google Scholar
  5. 5.
    J.F. Sowa. Conceptual Structures. Information Processing in Mind and Machine. Addison-Wesley, 1984.Google Scholar
  6. 6.
    W.A. Woods. Understanding Subsumption and Taxinomy: A Framework for Progress. In Principles of Semantic Networks, J.F. Sowa (edt), Morgan Kaufmann, 1991, p. 45–94.Google Scholar
  7. 7.
    W.A. Woods, J.G. Schmolze. The KL-ONE Family. In [Lehmann, 1992], p.133–177.Google Scholar
  8. 8.
    P. Zweigenbaum, B. Bachimont, J. Bouaud, J. Charlet, J.F. Boisvieux. Issues in the Structuration and Acquisition of an Ontology for medical language undrstanding. In Natural Language and Medicazl Concept Representation, C. Safran, C. Chute, J.R. Scherrer (edts), Vevey, 1994.Google Scholar

Bibliography of CORALI

  1. 9.
    C. Boksenbaum, B. Carbonneill, O. Haemmerlé, T. Libourel. Conceptual Graphs for Relational Databases. In Proceedings of the 1st International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 1993, LNAI#699, Springer Verlag, p. 142–161.Google Scholar
  2. 10.
    B. Carbonneill, O. Haemmerlé. Proceedings of the 2nd International Workshop on PEIRCE, Quebec City, Canada, August 1993, p. 29–32Google Scholar
  3. 11.
    B. Carbonneill, O. Haemmerlé. Standardizing and Interfacing Relational Databases using Conceptual Graphs. In Proceedings of the 2nd International Conference on Conceptual Structures, ICCS'94, College Park MD, USA, August 94, LNAI #699, Springer Verlag, p. 311–330.Google Scholar
  4. 12.
    B. Carbonneill, O. Haemmerlé. Conceptual Graphs for Relational Databases: Implementation and Perspectives. In Proceedings of the 3rd International Workshop on PEIRCE, College Park MD, USA, August 94, p. 54–66.Google Scholar
  5. 13.
    B. Carbonneill. Vers un système de représentation de connaissances et de raisonnement fondé sur les graphes conceptuels. Ph. D. thesis, University Montpellier 2, 1996.Google Scholar
  6. 14.
    B. Carbonneill, M. Chein, O. Cogis, O. Guinaldo, O. Haemmerlé, E. Salvat, M.L. Mugnier. COnceptualgRaphs At LIrmm. In Proceedings of the 1st CGTOOLS Workshop, Sydney, Australia, August 1996, p. 5–8.Google Scholar
  7. 15.
    M. Chein, M. Leclère. A cooperative program for the construction of a concept type lattice. In Supplement Proceedings of the 2nd International Conference on Conceptual Structures, ICCS'94, Washington, August 94, p. 16–30.Google Scholar
  8. 16.
    M. Chein, M.L. Mugnier. Conceptual Graphs: Fundamental notions. Revue d'intelligence artificielle, 6, 4, 1992, 365–406.Google Scholar
  9. 17.
    M. Chein, M.L. Mugnier. Specialization: where do the Difficulties Occur? In “Conceptual Structures: Theory and Implementation”, Lecture Notes in Artificial Intelligence, #754, pp 19–28, H.D. Pfeiffer and T.E. (eds), Springer-Verlag. Collected papers from the 7th Annual Workshop on Conceptual Structures.Google Scholar
  10. 18.
    M. Chein, M.L. Mugnier. Conceptual Graphs are also Graphs (1995). Actes des. 4èmes journées du LIPN, Villetaneuse, 18–19 septembre 1995, 81–97, and Research Report LIRMM 95-004.Google Scholar
  11. 19.
    M. Chein, M.L. Mugnier. Positive Nested Conceptual Graphs. Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97 (these proceedings).Google Scholar
  12. 20.
    O. Cogis, O. Guinaldo. Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test. In Proceedings of the 3rd International Conference on Conceptual Structures, ICCS'95, Santa Cruz, CA, USA, August 1995. Lecture Notes in AI #954, Springer-Verlag, p. 263–277.Google Scholar
  13. 21.
    D. Genest, M. Chein. An Experiment in Document Retrieval Using Conceptual Graphs Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97 (these proceedings).Google Scholar
  14. 22.
    O. Guinaldo. Étude d'un gestionnaire d'ensembles de graphes conceptuels. Ph. D. thesis, University Montpellier 2, 1996.Google Scholar
  15. 23.
    O. Guinaldo. Filtering and Hashing Techniques for the Search for Isomorphic Conceptual Graphs. In Proceedings of the 4th International Workshop on PEIRCE, Santa Cruz, CA, USA, August 1995, p. 58–69.Google Scholar
  16. 24.
    O. Guinaldo. Techniques d'indexation pour aider la classification dans le modèle des graphes conceptuels.In Actes du 2 ème colloque Langages et Modèles à Objets, Nancy, Octobre 1995, p. 53–66.Google Scholar
  17. 25.
    O. Guinaldo. Conceptual Graphs Isomorphism — Algorithm and Use. In Proceedings of the 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 1996. Lecture Notes in AI #1115, Springer-Verlag, p. 160–174.Google Scholar
  18. 26.
    O. Haemmerlé. CoGITo: Une plate-forme de développement de logiciels sur les graphes conceptuels. Ph. D. thesis, University Montpellier2, 1995.Google Scholar
  19. 27.
    O. Haemmerlé, B. Carbonneill. Interfacing a Relational Database Using Conceptual Graphs. In Proceedings of the 7th International Workshop on Database and Expert Systems Applications, DEXA'96, Zurich, Switzerland, September 1996, p. 499–505.Google Scholar
  20. 28.
    O. Haemmerlé. Implementation of Multi-Agent Systems using Conceptual Graphs for Knowledge and Message Representation: the CoGITo Platform. In Supplement Proceedings of the 3rd International Conference on Conceptual Structures, ICCS'95, Santa Cruz CA, USA, August 95, p. 13–24.Google Scholar
  21. 29.
    G. Kerdiles et E. Salvat. A sound and complete proof procedure for conceptual graphs combining projections with analytic tableaux.In Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97, (these proceedings).Google Scholar
  22. 30.
    M. Leclère. Reasoning with type definitions. In Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97 (these proceedings)Google Scholar
  23. 31.
    M. Leclère. C-CHiC: Construction coopérative de hiérarchies de catégories. Revue d'Intelligence Artificielle, vol. 10, n°1, 1996, p. 57–100.Google Scholar
  24. 32.
    M.L. Mugnier. Contributions algorithmiques pour les graphes d'héritage et les graphes conceptuels. Ph. D. thesis, University Montpellier 2, 1992.Google Scholar
  25. 33.
    M.L. Mugnier, On Specialization/Generalization for Conceptual Graphs. Journal of Experimental and Theoretical Artificial Intelligence, vol. 7, 3, 1995, p. 325–344.Google Scholar
  26. 34.
    M.L. Mugnier, M. Chein, Polynomial algorithms for projection and matching. In Conceptual Structures: Theory and Implementation, Lecture Notes in Artificial Intelligence, #754, 1992, pp 49–58, H.D. Pfeiffer and T.E. Nagle(eds), Springer-Verlag. Collected papers from the 7th Annual Workshop on Conceptual Graphs.Google Scholar
  27. 35.
    M.L. Mugnier, M. Chein, Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. In Proceedings of the First International Conference on Conceptual Structures, ICCS'93, Lecture Notes in Artificial Intelligence, #699, Springer Verlag, 1993, 294–311.Google Scholar
  28. 36.
    M.L. Mugnier, M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle. vol. 10, 1, 1996, 7–56.Google Scholar
  29. 37.
    A. Preller, M.L. Mugnier, M. Chein. A Logic for Nested Graphs. Research Report LIRMM 95-038, Juin 95, to be published in Computational Intelligence (ref. CI 95-02-558).Google Scholar
  30. 38.
    E. Salvat et M.L. Mugnier. Sound and complete forward and backward chainings of graph rules.In Proceedings of the 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 1996. Lecture Notes in AI #1115, Springer-Verlag, p. 248–262.Google Scholar
  31. 39.
    G. Simonet. Une sémantique logique pour les graphes emboités. Research Report, LIRMM 96047, 1996Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Michel Chein
    • 1
  1. 1.LIRMMCNRS & University Montpellier 2France

Personalised recommendations