Logic and Visual Information
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Diagram processing: computing with diagrams
Artificial Intelligence
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Abstractions of Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Speedith: a diagrammatic reasoner for spider diagrams
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Twelve years of diagrams research
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
Euler diagrams use topological properties to represent set-theoretical 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.