Euler Diagram Visualisation (Prof. Andrew Fish)
From ISISlab
03-06-2008, ore 15:00
Dipartimento di Informatica ed Applicazioni, Università di Salerno
Aula P 19 (plesso di facoltà , ultimo piano)
Abstract:
Euler diagrams form the basis of many diagrammatic notations used to represent set theoretic relationships in a wide range of contexts including: file system information, statistical data representation, object-oriented modelling, logical specification and reasoning systems, and database search queries. We provide an overview of some of these modern applications and consider a problem essential to these applications - the Euler Diagram Generation Problem. That is, given an abstract description of a diagram can we automatically produce an appropriate diagram? Many factors can impinge on this question, such as which topological or geometric constraints are to be imposed on the diagrams (e.g. whether multiple curves can intersect at one point, whether curves are allowed to be concurrent, etc), and further extensions to the setup include adding requirements that the regions satisfy area proportionality constraints, for example. We discuss these issues and provide a solution to an instance of the Euler Diagram Generation Problem.
