Skip to main content
SpringerLink
Log in
Book cover

Conceptual Structures: Theory and Implementation pp 229–238Cite as

Specialization: Where do the difficulties occur?

  • Conference paper
  • First Online:

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

Abstract

An analytical study of the Sowa's elementary specialization operations is presented in this paper. Each operation is studied independently, then combined with the others. Some complexity results are proven. For instance, the elementary decision problems, related to these operations, are shown to be isomorphic-complete or NP-complete. The main objective of this paper is a better understanding of the reasons of the difficulties occurring in the algorithmic study of these operations.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Chaty, M. Chein, Réductions de graphes et systèmes de Church-Rosser. R.A.I.R.O. Oper. Res., vol.15, n∘2, 1981, 109–117.

    Google Scholar 

  2. M. Chein, S-graphes(1): Notions de base. Res. Rep. CRIM, 87, oct. 1989.

    Google Scholar 

  3. M. Chein, M.L. Mugnier, Conceptual Graphs: Fundamental Notions. Res. Report LIRMM, n∘91-188, Nov 1991, 35p. (submitted to the R.I.A.).

    Google Scholar 

  4. G. Ellis, Compiled Hierarchical Retrieval. 6th Annual Workshop on Conceptual Graphs, 1991, 187–207.

    Google Scholar 

  5. J. Fargues, M.C. Landau, A. Dugourd, L. Catach, Conceptual Graphs for Semantic Information Processing. IBM Journal of Res. and Dev., 30, 1, 1986, 70–79.

    Google Scholar 

  6. Garey, Johnson

    Google Scholar 

  7. M.K. Jackman, Inference and the Conceptual Graph Knowledge Representation Language. In S. Moralee, edt, Research and Development in Expert Systems IV, Cambridge University Press, 1988.

    Google Scholar 

  8. G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems. Journal of A.C.M., vol. 27, 1980, 797–821.

    Google Scholar 

  9. M.L. Mugnier, M. Chein, Polynomial Algorithms for Projection and Matching Problems. 7th Annual Workshop on Conceptual Graphs, New Mexico University, July 1992.

    Google Scholar 

  10. J. Sowa, Conceptual Structures. Information Processing in Mind and Machine. Addison-Wesley, 1984.

    Google Scholar 

  11. M. Willems, Generalization of Conceptual Graphs. 6th Annual Workshop on Conceptual Graphs, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRMM, Université Montpellier and CNRS, 860 rue de Saint-Priest, 34090, Montpellier, France

    M. Chein & M. L. Mugnier

Authors
  1. M. Chein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. L. Mugnier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Heather D. Pfeiffer Timothy E. Nagle

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this paper

Cite this paper

Chein, M., Mugnier, M.L. (1993). Specialization: Where do the difficulties occur?. In: Pfeiffer, H.D., Nagle, T.E. (eds) Conceptual Structures: Theory and Implementation. Lecture Notes in Computer Science, vol 754. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57454-9_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-57454-9_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57454-5

  • Online ISBN: 978-3-540-48189-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation