Skip to main content
SpringerLink
Log in

Towards correspondences between Conceptual Graphs and Description Logics

  • Conference paper
  • First Online:
Conceptual Structures: Theory, Tools and Applications (ICCS 1998)

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

Included in the following conference series:

Abstract

We present a formal correspondence between Conceptual Graphs and Description Logics. More precisely, we consider the Simple Conceptual Graphs model provided with type definitions (which we call TSCG) and the ALEOI standard Description Logic. We prove an equivalence between a subset of TSCG and a subset of ALEOI. Based on this equivalence, we suggest extensions of both formalisms while preserving the equivalence. In particular, regarding to standard Description Logics where a concept can be defined by the conjunction of any two concepts, we propose an extension of type definition in CGs allowing type definitions from the “conjunction” of any two types and consequently partial type definitions. Symmetrically, regarding generalization/specialization operations in Conceptual Graphs, we conclude by suggesting how Description Logics could take advantage of these correspondences to improve the explanation of subsumption computation.

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.

References

  1. B. Biébow and G. Chaty. A comparison between conceptual graphs and KL-ONE. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 75–89. Springer-Verlag, Berlin, Québec, Canada, 1993.

    Google Scholar 

  2. R.J. Brachman, D.L. McGuiness, P.F. Patel-Schneider, L.A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks, pages 401–456. Morgan Kaufmann, San Mateo, Cal., 1991.

    Google Scholar 

  3. R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2): 171–216, 1985.

    Article  Google Scholar 

  4. B. Carbonneill and O. Haemmerlé. Standardizing and interfacing relational database using conceptual graphs. In ICCS'94, Second International Conference on Conceptual Structures, LNAI 835, pages 311–330. Springer-Verlag, Berlin, Maryland, USA, 1994.

    Google Scholar 

  5. M. Chein. The CORALI project: from conceptual graphs to conceptual graphs via labelled graphs. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 65–79. Springer-Verlag, Berlin, Seattle, USA, 1997.

    Google Scholar 

  6. M. Chein and M. Leclère. A cooperative program for the construction of a concept type lattice. In supplement proceedings of ICCS'94, Second International Conference on Conceptual Structures, pages 16–30. Maryland, USA, 1994.

    Google Scholar 

  7. M. Chein and M.L. Mugnier. Conceptual graphs: Fundamental notions. Revue d'Intelligence Artificielle, 6(4): 365–406, 1992.

    Article  Google Scholar 

  8. M. Chein and M.L. Mugnier. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1): 7–56, 1996.

    Article  MATH  Google Scholar 

  9. P. Coupey and C. Fouqueré. Extending conceptual definitions with default knowledge. Computational Intelligence Journal, 13(2): 258–299, 1997.

    Article  Google Scholar 

  10. R. Dionne, E. Mays, and F.J. Oles. The equivalence of model-theoretic and structural subsumption description logics. In 13th International Joint Conference on Artificial Intelligence, pages 710–716, Chambéry, France, 1993.

    Google Scholar 

  11. C. Faron and J.G. Ganascia. Representation of defaults and exceptions in conceptual graphs formalism. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 153–167. Springer-Verlag, Berlin, Seattle, USA, 1997.

    Google Scholar 

  12. M. Leclère. Les connaissances du niveau terminologique du modèle des graphes conceptuels: construction et exploitation. University thesis, Université de Montpellier 2, France, 1995.

    Google Scholar 

  13. M. Leclère. Reasonning with type definitions. In ICCS'97, Fith International Conference on Conceptual Structures, LNAI 1257, pages 401–415. Springer-Verlag, Berlin, Seattle, USA, 1997.

    Google Scholar 

  14. D.L. McGuinness and A.T. Borgida. Explaining subsumption in description logics. In 14th International Joint Conference on Artificial Intelligence, pages 816–821, Montreal, Canada, 1995.

    Google Scholar 

  15. M.L. Mugnier. On generalization/specialization for conceptual graphs. Journal of Experimental & Theoretical Artificial Intelligence, 7(3): 325–344, 1995.

    MATH  Google Scholar 

  16. M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 294–311. Springer-Verlag, Berlin, Québec, Canada, 1993.

    Google Scholar 

  17. B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Computer Science. Springer-Verlag, 1990.

    Google Scholar 

  18. A. Schaerf. Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity and Semantics Issues. PhD thesis, Università di Roma “La Sapienza”, Roma, Italy, 1994.

    Google Scholar 

  19. K. Schild. A correspondence theory for terminological logics: Preliminary report. In 12th International Joint Conference on Artificial Intelligence, pages 466–471, Sydney, Australia, 1991.

    Google Scholar 

  20. J.G. Schmolze. Terminological knowledge representation systems supporting nary terms. In J.G. Schmolze, editor, Principles of Knowledge Representation and Reasoning: 1st International Conference, pages 432–443. Toronto, Ont., 1989.

    Google Scholar 

  21. J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN-CNRS UPRESA 7030, Université Paris 13, Av. J.B. Clément, 93430, Villetaneuse, France

    P. Coupey

  2. LIFO, Universtité d'Orléans, rue Léonard de Vinci, BP 6759, 45067, Orléans cedex 2, France

    C. Faron

Authors
  1. P. Coupey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Faron
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marie-Laure Mugnier Michel Chein

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coupey, P., Faron, C. (1998). Towards correspondences between Conceptual Graphs and Description Logics. In: Mugnier, ML., Chein, M. (eds) Conceptual Structures: Theory, Tools and Applications. ICCS 1998. Lecture Notes in Computer Science, vol 1453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054913

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64791-1

  • Online ISBN: 978-3-540-68673-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation