Abstract
For many years now on-going discussions, not to say endless discussions, about the intrinsic definition of contexts have been at the center stage of every single meeting of the conceptual graph community. It is our opinion that this lack of consensus about contexts is in direct relation to its lack of a formal definition. As a matter of fact, no formal definition of contexts was given up to this moment, not even in John Sowa's original book. Being a vital issue in conceptual graph theory, this paper addresses the problem of providing formal semantics to the definition of contexts, when used for information packaging. It proposes a definitional framework for contexts, based on formal concept analysis [17], bridging these two research areas. It also presents how querying a knowledge base structured as a lattice of contexts can be done.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Dick, J. P. Using Contexts to Represent Text. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 196–213). Springer-Verlag, 1994.
Esch, J. Contexts and Concepts, Abstraction Duals. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 175–184). Springer-Verlag, 1994.
Esch, J. Contexts, Canons and Coreferent Types. In W.M. Tepfenhart, J.P. Dick & J.F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 185–195). Springer-Verlag, 1994.
Esch, J. W. Contexts as white box concepts. In Proceedings of the 1st Int. Conf. on Conceptual Structures, G.W. Mineau, B. Moulin & J.F. Sowa (Ed.), Université Laval, pp. 17–29, 1993.
Godin, R., Mineau, G., Missaoui, R. & Mili, H. Méthodes de classification conceptuelle basées sur le treillis de Galois et applications. Revue d'Intelligence Artificielle, 9(2), 105–137, 1995.
Godin, R., Mineau, G. W. & Missaoui, R. Incremental Structuring of Knowledge Bases. In Proceedings of the 1st Int. Symposium on Knowledge Retrieval, Use, and Storage for Efficiency (KRUSE), G. Ellis, R. Levinson, A. Fall & V. Dahl (Ed.), Santa Cruz, CA.: Dept. of Computer Science, UCSC, CA., pp. 179–193, 1995.
Lenat, D. B. & Guha, R. V. Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project. Addison-Wesley, 1990.
Mineau, G. W. & Godin, R. Automatic Structuring of Knowledge Bases by Conceptual Clustering. IEEE Transaction on Knowledge and Data Engineering, 7(5), 824–829, 1995.
Moulin, B. The representation of linguistic information in an approach used for modeling temporal knowledge in discourses. In G.W. Mineau, B. Moulin & J.F. Sowa (Eds.), Conceptual Graphs for Knowledge Representation, (pp. 182–204). Springer-Verlag, 1993.
Moulin, B. Discourse Spaces: A Pragmatic Interpretation of Contexts. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 89–104). Springer-Verlag, 1995.
Moulin, B. A Pragmatic Representational Approach of Context and Reference in Discourses. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 105–114). Springer-Verlag, 1995.
Moulin, B. & Dumas, S. The Temporal Structure of a Discourse and Verb Tense Determination. In W. M. Tepfenhart.J. P. Dick, & J. F. Sowa (Eds.), Conceptual Structures: Current Practices, (pp. 45–68). Springer-Verlag, 1994.
Moulin, B. & Mineau, G. W. Factoring Knowledge into Worlds. In Proceedings of the 7th Ann. Workshop on Conceptual Graphs, H. Pfeiffer (Ed.), New Mexico State University, Las Cruces, New Mexico: pp. 119–128, 1992.
Sowa, J. F. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984.
Sowa, J. F. Syntax, Semantics and Pragmatics of Contexts. In G. Ellis, R. Levinson, W. Rich & J.F. Sowa (Eds.), Conceptual Structures: Applications, Implementation and Theory, (pp. 1–15). Springer-Verlag, 1995.
Sowa, J. F. Processes and Participants. In P.W. Eklund, G. Ellis & G. Mann (Eds.), Conceptual Structures: Knowledge Representation as Interlingua, (pp. 1–22). Springer-Verlag, 1996.
Wille, R. Restructuring Lattice Theory: an Approach Based on Hierarchies of Concepts. In I. Rival (Eds.), Ordered Sets, (pp. 445–470). Dordrecht-Boston: Reidel, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mineau, G.W., Gerbé, O. (1997). Contexts: A formal definition of worlds of assertions. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds) Conceptual Structures: Fulfilling Peirce's Dream. ICCS 1997. Lecture Notes in Computer Science, vol 1257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027910
Download citation
DOI: https://doi.org/10.1007/BFb0027910
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63308-2
Online ISBN: 978-3-540-69424-3
eBook Packages: Springer Book Archive