Abstract
A major area of development in the field of knowledge representation is the idea of contexts. In a large system a reasoner can't re-examine everything known all the time. To deal with the shear size and complexity of large knowledge bases like CYC, a reasoner must be able to limit its search to some context relevant to the immediate problem at hand.
In the theory of conceptual graphs, Sowa has defined contexts as containers of graphs and canons as well-defined knowledge bases. Others, in particular Guha, have defined other versions of contexts. His most notably use of contexts is as the basis for his microtheories and lifting rules.
This paper reviews the conceptual graph theory of contexts and canons. It shows how canons can be viewed as contexts+types+individuals. It gives examples of two canons having the same type, called type coreference, and formalizes their meaning. Lastly, it gives examples of how higher order logic statements can be made using canons. A companion paper [7] compares and contrasts conceptual graph and microtheory contexts.
Preview
Unable to display preview. Download preview PDF.
References
John F. Sowa, Relating Diagrams to Logic, Conceptual Graphs for Knowledge Representation, First International Conference on Conceptual Structures, ICCS'93, G. W. Mineau & B. Moulin Ed., Quebec City, Canada, 1993.
John F. Sowa, Conceptual Graphs Summary, Conceptual Structures: Current Research and Practice, Ellis Horwood, 1992.
John F. Sowa, Definitional Mechanisms for Restructuring Knowledge Bases, Methodologies for Intelligent Systems, 5, ed. Z. W. Ras, M. Zemankova, & M. L. Emrich, North-Holland Pub. Co., New York, 1990, pp194–211.
John F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley, 1984.
R. V. Guha, Contexts: A Formalization and some Applications, MCC Technical Report ACT-CYC-423-91, November, 1991.
John Esch, Contexts and Concepts: Abstraction Duals, Proceedings of Second International Conference on Conceptual Structures, ICCS94, College Park, Maryland, 1994.
John Esch, Similarities of Microtheory and Conceptual Graph Contexts, Proceedings of Second International Conference on Conceptual Structures, ICCS94, College Park, Maryland, 1994.
John Esch, Contexts as White Box Concepts, Proceedings First International Conference on Conceptual Structures, Quebec City, Canada, 1993.
J. Esch, M. Pagnucco, and M. Wermelinger, LINEAR — Linear Notation Interface, Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench, R. Levinson and G. Ellis (Eds.), Laval University, Quebec, Canada, August 7, 1993.
John Esch The Scope of Coreference in Conceptual Graphs, Conceptual Structures: Theory and Implementation, Ed H. D. Pfeiffer & T. E. Nagle, Springer-Verlag, 1993.
John Esch Graphical Displays and Polymorphism, Conceptual Structures: Current Research and Practice, Ellis Horwood, 1992.
John Esch Linear Forms for Conceptual Structures, Conceptual Structures: Current Research and Practice, Ellis Horwood, 1992.
Esch, Nagle, Yim & Gerholz, Resolving Polymorphism in the Theory of CGs, Fourth Annual Workshop on CGs, August 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esch, J. (1994). Contexts, canons and coreferent types. 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_13
Download citation
DOI: https://doi.org/10.1007/3-540-58328-9_13
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