Skip to main content
SpringerLink
Log in

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

  • Keynote Address
  • Conference paper
  • First Online:
Conceptual Structures: Fulfilling Peirce's Dream (ICCS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1257))

Included in the following conference series:

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  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. 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. F. Lehmann (edt). Semantic Networks in Artificial Intelligence. Pergamon, 1992.

    Google Scholar 

  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. J.F. Sowa. Conceptual Structures. Information Processing in Mind and Machine. Addison-Wesley, 1984.

    Google Scholar 

  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. W.A. Woods, J.G. Schmolze. The KL-ONE Family. In [Lehmann, 1992], p.133–177.

    Google Scholar 

  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. 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. B. Carbonneill, O. Haemmerlé. Proceedings of the 2nd International Workshop on PEIRCE, Quebec City, Canada, August 1993, p. 29–32

    Google Scholar 

  3. 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. 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. 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. 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. 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. M. Chein, M.L. Mugnier. Conceptual Graphs: Fundamental notions. Revue d'intelligence artificielle, 6, 4, 1992, 365–406.

    Google Scholar 

  9. 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. 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. 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. 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. 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. O. Guinaldo. Étude d'un gestionnaire d'ensembles de graphes conceptuels. Ph. D. thesis, University Montpellier 2, 1996.

    Google Scholar 

  15. 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. 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. 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. O. Haemmerlé. CoGITo: Une plate-forme de développement de logiciels sur les graphes conceptuels. Ph. D. thesis, University Montpellier2, 1995.

    Google Scholar 

  19. 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. 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. 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. M. Leclère. Reasoning with type definitions. In Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97 (these proceedings)

    Google Scholar 

  23. 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. 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. 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. 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. 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. 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. 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. 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. G. Simonet. Une sémantique logique pour les graphes emboités. Research Report, LIRMM 96047, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRMM, CNRS & University Montpellier 2, France

    Michel Chein

Authors
  1. Michel Chein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dickson Lukose Harry Delugach Mary Keeler Leroy Searle John Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chein, M. (1997). The CORALI project: From conceptual graphs to conceptual graphs via labelled graphs. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds) Conceptual Structures: Fulfilling Peirce's Dream. ICCS 1997. Lecture Notes in Computer Science, vol 1257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027909

Download citation

  • DOI: https://doi.org/10.1007/BFb0027909

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63308-2

  • Online ISBN: 978-3-540-69424-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation