Abstract
Although the theory of Conceptual Structures is over 10 years old, basic notions (like canonical graphs) are far from settled and are subject to constant extensions and reformulations. However, most of these are done in an informal way, which doesn't help in clarifying the issues involved. It is our hope that this paper will provide a first step towards the complete and rigorous account of Conceptual Structures (CS) Theory, which is needed for ongoing standardization and implementation efforts.
Towards that goal, we present formal definitions of some of the central notions of CS theory (type, referent, concept, relation, conceptual graph, canonical formation rules, canon, and canonical graph) in its simplest form, i.e. no contexts nor coreference links are allowed and referents must be individuals. We thereby introduce higher-order types in order to enable the use of conceptual graphs at the metalevel, the restriction operation of the canonical formation rules is extended to make use of the relation hierarchy, we show the relationship between denotation and conformity relation, and we give a rigorous meaning to the canonical basis, among other things.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. Beierle, U. Hedstück, U. Pletat, P. H. Schmitt, and J. Siekmann. An order-sorted logic for knowledge representation systems. Technical Report 113, IWBS, April 1990.
Michel Chein and Marie-Lanre Mugnier. Conceptual graphs: fundamental notions. Révue d'Intelligence Artificielle, 6(4):365–406, 1992.
B. A. Davey and H. A. Priestley. Introduction to Order and Lattices. Cambridge University Press, 1990.
Gerard Ellis and Robert A. Levinson, editors. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench, Las Cruces, New Mexico, 10 July 1992. Available as University of Queensland Technical Report 241.
John W. Esch. Contexts as white box concepts. In Mineau et al. [10], pages 17–29.
David A. Gardiner, Bosco S. Tjan, and James R. Slagle. Extending conceptual structures: Representation issues and reasoning operations. In Nagle et al. [12], pages 67–85.
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.
Bikash Chandra Ghosh and Vilas Wuwongse. Declarative semantics of conceptual graph semantics. In Robert Levinson and Gerard Ellis, editors, Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench, Quebec, Canada, 7 August 1993. Laval University.
Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. Conceptual Graphs for Knowledge Representation, number 699 in Lecture Notes in Artificial Intelligence, Québec City, Canada, 4–7 August 1993. Springer-Verlag. Proceedings of the First International Conference on Conceptual Structures.
Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. International Conference on Conceptual Structures: Theory and Applications, Québec City, Canada, 4–7 August 1993. Complementary proceedings.
M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In Mineau et al[9], pages 294–311.
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. Ellis Horwood, 1992.
S. Perez and A. Sarris, editors. Information resource dictionary system conceptual schema. Technical Report X3H4/92-003 and ISO/IEC JTC1/SC21 N7486, American National Standards Institute and International Organisation for Standardization, 1993.
Gérard Sabah and Anne Vilnat. Hierarchy of relational types in conceptual graphs to handle natural language parsing. In Mineau et al. [10], pages 198–215.
Jan Schmidt and Pavel Kocura. Generalized referents: a neat interface for the scruffy work. In Mineau et al. [10], pages 1–16.
John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Addison-Wesley Publishing Company, 1984.
John F. Sowa. Conceptual graph summary. In Nagle et al. [12], pages 3–51.
John F. Sowa. Relating diagrams to logic. In Mineau et al. [9], pages 1–35.
Bosco S. Tjan, David A. Gardiner, and James R. Slagle. Representing and reasoning with set referents and numerical quantifiers. In Nagle et al. [12], pages 53–66.
Michel Wermelinger and Alex Bejan. Conceptual structures for modeling in CIM. In Mineau et al. [9], pages 345–360.
Michel Wermelinger and José Gabriel Lopes. An X-Windows toolkit for knowledge acquisition and representation based on conceptual structures. In Heather D. Pfeiffer and Timothy E. Nagle, editors, Conceptual Structures: Theory and Implementation, number 754 in Lecture Notes in Artificial Intelligence, pages 262–271. Springer Verlag, 1993. Proceedings of the Seventh Annual Workshop on Conceptual Graphs, Las Cruces, New Mexico, USA, 8-10 July 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wermeliager, M., Lopes, J.G. (1994). Basic Conceptual Structures Theory. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds) Conceptual Structures: Current Practices. ICCS 1994. Lecture Notes in Computer Science, vol 835. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58328-9_10
Download citation
DOI: https://doi.org/10.1007/3-540-58328-9_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58328-8
Online ISBN: 978-3-540-38675-9
eBook Packages: Springer Book Archive