Abstract
This paper gives the extensional semantics definitions associated with simple conceptual graphs (CG) under a simple paradigm closely related to relational database (RDB) theory. We believe that by providing such definitions, the implementation of a CG system using this paradigm would be greatly facilitated. Considering the nature of CGs, existentially quantified assertions, the use of a RDB at the implementation level becomes attractive for applications with huge volume of data (like with deductive databases). Furthermore, RDB theory provides years of experience, stability and on-going support of the many tools that the industry offers today. These advantages become prerequisite when choosing a technological platform for a large scale industrial project. This paper provides a formal basis for understanding the deep semantics of the CG notation, including the compositional semantics of the canonical formation operators. It also provides a simple procedure that performs model c hecking of graphs in a CG system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mugnier, M.-L., Chein, M.: Représenter des connaissances et raisonner avec des graphes. Revue d’Intelligence Artificielle 10-1, 7–56 (1996)
Prediger, S.: Simple Concept Graphs: A Logic Approach. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 225–239. Springer, Heidelberg (1998)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d’Intelligence Artificielle 6-4, 365–406 (1992)
Mineau, G.W., Missaoui, R.: The Representation of Semantic Constraints in CG Systems. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 138–152. Springer, Heidelberg (1997)
Mineau, G.W., Missaoui, R.: Semantic Constraints in Conceptual Graph Systems. DMR Consulting Group, R&D Division. Report #960611A (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mineau, G.W. (2000). The Extensional Semantics of the Conceptual Graph Formalism. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_15
Download citation
DOI: https://doi.org/10.1007/10722280_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67859-5
Online ISBN: 978-3-540-44663-7
eBook Packages: Springer Book Archive