Abstract
Euler diagrams use topological properties to represent settheoretical concepts and thus are ‘intuitive’ to some people. When reasoning with Euler diagrams, it is essential to have a notion of correspondence among the regions in different diagrams. At the semantic level, two regions correspond when they represent the same set. However, we wish to construct a purely syntactic definition of corresponding regions, so that reasoning can take place entirely at the diagrammatic level. This task is interesting in Euler diagrams because some regions of one diagram may be missing from another. We construct the correspondence relation from ‘zones’ or minimal regions, introducing the concept of ‘zonal regions’ for the case in which labels may differ between diagrams. We show that the relation is an equivalence relation and that it is a generalization of the counterpart relations introduced by Shin and Hammer.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
L. Euler. Lettres a une princesse d’allemagne, 1761.
J. Gil, J. Howse, and S. Kent. Towards a formalization of constraint diagrams. In Proc Symp on Human-Centric Computing.IEEE Press, Sept 2001.
E. Hammer. Logic and Visual Information.CSLI Publications, 1995.
E. Hammer and S-J Shin. Euler’s visual logic. In History and Philosophy of Logic, pages 1–29, 1998.
D. Harel. On visual formalisms. In J. Glasgow, N.H. Narayan, and B. Chandrasekaran, editors, Diagrammatic Reasoning, pages 235–271.MIT Press, 1998.
J. Howse, F. Molina, and J. Taylor. On the completeness and expressiveness of spider diagram systems.In Proceedings of Diagrams 2000, pages 26–41.Springer-Verlag, 2000.
S. Kent and J. Howse. Constraint trees. In A. Clark and J. Warner, editors, Advances in object modelling with ocl. Spinger Verlag, to appear, 2002.
F. Molina. Reasoning with extended Venn-Peirce diagrammatic systems. PhD thesis, University of Brighton, 2001.
OMG. UML specification, version 1.3. Available from http://www.omg.org.
C. Peirce. Collected Papers, volume Vol.4. Harvard Univ.Press, 1933.
S.-J. Shin. The Logical Status of Diagrams. Cam bridge University Press, 1994.
G. Stapleton. Comparing regions in spider diagrams. Available at http://www.it.brighton.ac.uk/research/vmg/papers.html.
J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag, 1880.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Howse, J., Stapleton, G., Flower, J., Taylor, J. (2002). Corresponding Regions in Euler Diagrams. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2002. Lecture Notes in Computer Science(), vol 2317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46037-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-46037-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43561-7
Online ISBN: 978-3-540-46037-4
eBook Packages: Springer Book Archive