Abstract
This paper examines storage and retrieval of conceptual graphs using a directed acyclic graph data structure based on the partial order over conceptual graphs. We show how conceptual graphs in this hierarchy can be compiled into instructions which represent specialized cases of the canonical formation rules. Conceptual graphs are compiled as differences between adjacent graphs in the hierarchy. The differences represent the rules used in deriving the graph from the adjacent graphs. Compilation of conceptual graphs is effected in three ways: removal of redundant data, use of simple instructions which ignore redundant checks when performing matching, and by sharing common processing between graphs.
Part of this work was undertaken while the author was visiting the Department of Computer and Information Sciences, at the University of California, Santa Cruz. Summary
Preview
Unable to display preview. Download preview PDF.
References
John F. Sowa. Conceptual Structures: Information in Mind and Machine. Addison-Wesley, Reading, MA, 1984.
John F. Sowa. Conceptual structures bibliography. In Peter Eklund and Laurie Gerholz, editors, Proceedings of the 5th Annual Conceptual Structures Workshop, 91-7870-718-8, Boston&Stockholm, 1990. Linköping University.
Christoph Walther. A Many-Sorted Calculus Based on Resolution and Paramodulation. Research Notes in Artificial Intelligence. Morgan Kaufmann, 1987.
Nick J. Davies. Schubert's steamroller in a natural deduction theorem prover. In D. S. Moralee, editor, Proceedings of Expert Systems 87, pages 89–102, 1987. Research and Development in Expert Systems IV.
Mark E. Stickel. Schubert's steamroller problem: Formulations and solutions. Automated Reasoning, 2(1):89–101, 1986.
Don D. Roberts. The Existential Graphs of Charles S. Peirce, Mouton, The Hague, 1973.
Robert A. Levinson. A Self-Organizing Retrieval System for Graphs. PhD thesis, University of Texas, May 1985.
Robert A. Levinson. Pattern associativity and the retrieval of semantic networks. Computers and Mathematics with Applications, 1991. To appear in the Special Edition on Semantic Networks.
Brian J. Garner and Eric Tsui. A self-organizing dictionary for conceptual structures. In J. F. Gilmore, editor, Proceedings of the Conference on Applications of Artificial Intelligence, pages 356–363, 1987. SPIE Proc. 784, 18–20th May, Orlando.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ellis, G. (1991). Compiling conceptual graphs. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013520
Download citation
DOI: https://doi.org/10.1007/BFb0013520
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive