Conceptual graphs and first-order logic

  • Michel Wermelinger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 954)


Conceptual Structures (CS) Theory is a logic-based knowledge representation formalism. To show that conceptual graphs have the power of first-order logic, it is necessary to have a mapping between both formalisms. A proof system, i.e. axioms and inference rules, for conceptual graphs is also useful. It must be sound (no false statement is derived from a true one) and complete (all possible tautologies can be derived from the axioms). This paper shows that Sowa's original definition of the mapping is incomplete, incorrect, inconsistent, and unintuitive, and the proof system is incomplete too. To overcome these problems a new translation algorithm is given and a complete proof system is presented. Furthermore, the framework is extended for higher-order types.

Key phrases

logical foundations of Conceptual Structures φ operator inference rules logical axioms higher-order types meta-level reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Genesereth and Fikes, 1992]
    Michael R. Genesereth and Richard E. Fikes. Knowledge interchange format version 3.0 reference manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, June 1992. “Living document” of the Interlingua Working Group of the DARPA Knowledge Sharing Effort.Google Scholar
  2. [Hamilton, 1988]
    A. G. Hamilton. Logic for Mathematicians. Cambridge University Press, 1988. Revised edition.Google Scholar
  3. [Sowa, 1984]
    John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Addison-Wesley Publishing Company, 1984.Google Scholar
  4. [Sowa, 1992]
    John F. Sowa. Conceptual graph summary. In Timothy E. Nagle, Janice A. Nagle, Laurie L. Gerholz, and Peter W. Eklund, editors, Conceptual Structures: Current Research and Practice, Ellis Horwood Series in Workshops, pages 3–51. Ellis Horwood, 1992Google Scholar
  5. [Wermelinger and Lopes, 1994]
    Michel Wermelinger and José Gabriel Lopes. Basic conceptual structures theory. In William M. Tepfenhart, Judith P. Dick, and John F. Sowa, editors, Conceptual Structures: Current Practices-Proceedings of the Second International Conference on Conceptual Structures, Number 835 in Lecture Notes in Artificial Intelligence, pages 144–159, College Park MD, USA, 16–19 August 1994. University of Maryland, Springer-Verlag.Google Scholar
  6. [Wermelinger, 1995]
    Michel Wermelinger. Teoria Básica das Estruturas Conceptuais. Master's thesis, Universidade Nova de Lisboa, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Michel Wermelinger
    • 1
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaMonte da CaparicaPortugal

Personalised recommendations