Skip to main content
  • Methodology article
  • Open access
  • Published:

VennMaster: Area-proportional Euler diagrams for functional GO analysis of microarrays



Microarray experiments generate vast amounts of data. The functional context of differentially expressed genes can be assessed by querying the Gene Ontology (GO) database via GoMiner. Directed acyclic graph representations, which are used to depict GO categories enriched with differentially expressed genes, are difficult to interpret and, depending on the particular analysis, may not be well suited for formulating new hypotheses. Additional graphical methods are therefore needed to augment the GO graphical representation.


We present an alternative visualization approach, area-proportional Euler diagrams, showing set relationships with semi-quantitative size information in a single diagram to support biological hypothesis formulation. The cardinalities of sets and intersection sets are represented by area-proportional Euler diagrams and their corresponding graphical (circular or polygonal) intersection areas. Optimally proportional representations are obtained using swarm and evolutionary optimization algorithms.


VennMaster's area-proportional Euler diagrams effectively structure and visualize the results of a GO analysis by indicating to what extent flagged genes are shared by different categories. In addition to reducing the complexity of the output, the visualizations facilitate generation of novel hypotheses from the analysis of seemingly unrelated categories that share differentially expressed genes.


A major goal, as well as a major challenge, of transcriptome analyses is the interpretation of results in a biological context. In many comparative studies, the primary results of the analyses are lists of genes expressed differentially between different groups of samples. The identification of underlying biological themes (e.g. alterations of specific pathways, triggering of complex cellular responses, activation of specific transcriptional programs) is usually not straightforward. By providing a controlled and structured vocabulary for the functional description of gene products, the Gene Ontology (GO) database [1] represents a useful resource for comprehensive functional annotation of gene lists. Moreover, GO categories that are significantly enriched in the differentially expressed genes can be identified, providing clues to the biological causes and consequences of observed transcriptome changes. Since genes and gene products are usually associated with several GO terms, such an analysis tends to increase, rather than reduce, the information load. Methods are therefore needed to structure and adequately visualize the results of a GO analysis (e.g., by indicating to what extent genes are shared by different categories). In addition to simply reducing the complexity of the output, such visualizations may facilitate the generation of novel hypotheses from observation of seemingly unrelated categories that share differentially expressed genes.

Diagrammatic notations involving circles and other closed curves have been used to represent classical syllogisms since the Middle Ages [2]. In the 18th century the mathematician Leonhard Euler introduced the notation that is now called the "Euler diagram" to illustrate relationships among sets. That notation uses the topological properties of enclosure, exclusion, and partial overlap to represent the set-theoretic concepts of containment, disjointness, and intersection. Another notation was invented by John Venn in the 19th century. A Venn diagram contains n closed curves representing n sets, in which all sets must intersect. Those diagrams rarely provide a useful visual representation if five or more sets are involved (in general using non-oval contours). Moreover, it can be shown that Venn diagrams with circles are not generally possible for more than three sets. Here, we relax the requirement of total intersection of all curves, limit ourselves to circles, but impose the additional requirement that area must be as nearly as possible proportional to set size. The last restriction enables us to visualize the set relationships at least semi-quantitatively. The problem of proportional areas is in general not perfectly solvable (i.e. fulfilling all requirements of containment, disjointness, and intersection with set size proportional to the corresponding area). Rather, the aim is to construct approximate solutions. A preliminary report [3] described a basic implementation of those ideas. We now describe how the analytical ideas can be used to construct Euler/Venn diagrams, together with full, seamless integration into GoMiner.

Finding interesting intersections

The Gene Ontology (GO) database imposes three hierarchically structured ontologies, or classification systems, on gene products:

  • Molecular function – an activity at the molecular level (e.g. catalytic/transporter activity or binding).

  • Biological process – a series of molecular functions (e.g. signal transduction).

  • Cellular component – an anatomical structure (e.g. rough endoplasmic reticulum or nucleus) or a gene product macromolecular structure (e.g. ribosome, proteasome or a protein dimer).

Because each GO category may have more than one parent, the hierarchy takes the form of a directed acyclic graph (DAG), with edges pointing from a parent (a more general category) to children (more specific categories). The three major ontologies share no nodes and are therefore independent DAGs. Each gene product is associated with one or more categories. The root subsumes all three ontologies and is therefore associated with all categorized gene products in the database.

GoMiner [46] evaluates the significance of each GO category by a Fisher's exact p-value and a false discovery rate (FDR) to detect differentially expressed genes of a microarray assay that are significantly over-represented in a certain GO category.

One analytical approach is to select from the GO DAG an interesting subset of categories that meet two filtering criteria:

  • the p-value or the FDR does not exceed a threshold, and

  • the number of genes in a category lies in a pre-specified range of interest, since categories that are too small (containing only a few genes) or too large (such as the whole ontology) may be considered uninformative.

The subset of nodes selected from the DAG according to those criteria may be unconnected, the result being a forest of DAGs. The observation of two or more significant categories for which a direct path exists – so that they are in a child/parent relationship of a certain degree may be less surprising than the same observation for a more distant (e.g., cousin) relationship such as the intersection of A and D in Figure 1. In a subsequent step, the set structure of the differentially expressed genes can be analyzed for the previously selected nodes. That is an impractical task for more than two gene sets. The area-proportional Euler diagram approach was developed for that type of analysis. Every category is represented by a circle (polygon) with an area approximately proportional to the number of elements in the set. Intersection, non-intersection, and containment relationships among sets are easily readable with Euler diagrams, but the number of categories in the Euler diagram has to be limited since showing more than about 10 categories in a single diagram is computationally and visually infeasible.

Figure 1
figure 1

DAG vs Euler diagram representation: Non-trivial set relations. Comparison of a directed acylic graph (DAG) representation (left diagram) and an area-proportional Euler diagram visualization (right diagram) of the same set family. From the (hypothetical) Gene Ontology DAG on the left side the following set relations can be inferred: C A, D B, E B, F D, F E, and DE since the two nodes have at least the elements of F in common. The Euler diagram representation reveals, in addition to the approximate visualization of the set cardinalities, further set relations (AB, CB = , DA, EA = , and FA = ) that are not specified in the DAG representation.

Reasoning with area-proportional Euler diagrams

Basic set relations such as inclusion, exclusion, and containment can easily be visualized with Euler diagrams in a topologically rigorous way allowing for the inference of secondary information from otherwise complex set relations (see Figure 2, compare [[7], Ch. 2]). This situation is demonstrated in the following example:

Figure 2
figure 2

Reasoning with area-proportional Euler diagrams. List of possible inferences for two sets.

The scenario of Figure 1 (right) could be described by the following syllogisms:

(a1) All C s are A s

(a2) No C s are B s

(a3) Some A s are B s

(a4) All D s and E s are B s

(a5) All F s are E s and D s

(a6) Some E s are D s

(a7) No E s are A s

(a8) Some D s are A s

¿From the Euler diagram representation or the previously defined rule set the following relations can be inferred:

(a5) + (a4) + (a7) (b1) No F s are A s

(a2) + (a4) + (a5) (b2) No F s are C s

(a2) + (a4) (b2) No D s are C s

In addition, the (approximate) area-proportionality enables assessment of the number of elements in the sets, and leads to the following inferences:

(c1) |A||B|

(c2) |E||D|

(c3) |C| <|E| and |C| <|D|

(c4) |F| <|C|

(c5') |DB| < |AB|

In the last conclusion (c5') has to be verified by observing the exact cardinalities as the overlaps need not to be strictly proportional to the area, as the visualization depends on the concrete set family and the parameters of the cost functional. It is important to control the existence of missing intersections if the Euler arrangement is not able to express fully all set relations. However, missing intersections occurred for GO data.


Visualization results

The study in Figure 3 used 23000 feature 'whole genome' arrays to identify genes differentially expressed between stellate cells (specialized mesenchymal cells) and normal skin fibroblasts. The list of differentially expressed genes was compared with the list of all genes exceeding a minimum expression threshold (normalized expression value greater 0.5 in at least one of the sample sets) to identify GO categories significantly enriched with differentially expressed genes [8]. Since the tree representation was complex, we visualized the results of the analysis with an Euler diagram. It shows the overlap of genes in different GO categories resulting from the association of genes with multiple GO categories (see Figure 3). The principal GO categories identified as significantly enriched with differentially expressed genes in the GoMiner analysis included very diverse and seemingly unrelated GO terms such as 'structural molecule activity', 'cell adhesion' and 'protein catabolism'. The Euler/Venn visualization approach, however, revealed that those categories strongly overlapped and fell within a single cluster of categories connected by their mutual content of cell surface and extracellular matrix genes. That observation led to the conclusion that the largest difference between the cell types under investigation is their distinct and highly specialized contribution to the production of connective tissue [8].

Figure 3
figure 3

Euler diagram of results from a microarray experiment comparing stellate cells with fibroblasts. A visualization of gene sets differentially expressed between specialized mesenchymal cells (stellate cells) and normal skin fibroblasts (minimum total number of genes per category: 100; max p-value: 0.025) is shown [8]. Although a total of 8 ontology categories were reported to be significantly enriched among the changed genes, the analysis revealed that those categories strongly overlap and form a single large cluster of cell surface/extracellular matrix-related categories. The corresponding directed acyclic graph is not shown. None of the categories (except for extracellular space/matrix as a descendant of extracellular) form direct or indirect parent/child relationships.

Simulation results

Generally, the requirement of area being proportional to set size cannot be fulfilled for all configurations. The deviation from optimality is measured by an error function (see Methods section). The proposed error function evaluates the goodness of the graphical Euler arrangement by putting different weights on the (contradictory) constraints. Since an arrangement may become unconnected, a compactness term was used (as part of the cost function) to weight compact solutions more strongly. To show that in many cases the compactness term leads to a better convergence (lower original error term E), we computed Euler diagrams for 10 artificial random data sets (see supplementary information [9]) and the data set from Buchholz & Kestler et al. [8] (see Figure 4; GO filter settings: minimum total: 40; maximum total: 140; max p-value: 0.05 – the complete data are available at [9].

Figure 4
figure 4

Particle swarm optimization vs evolutionary strategy. To compare the two optimization strategies and to show that the non-compactness penalty (d, see Section Cost function) leads in many cases to a better convergence (lower original error term E), we computed Euler diagrams for one previously published gene expression dataset containing genes differentially expressed between a specialized mesenchymal cell type (stellate cells) and normal skin fibroblasts (filter settings: minimum total: 40; maximum total: 140; max p-value: 0.05). For different delta values (= weight of the pressure term) the cost functional E is shown for the two optimization strategies. The number of optimization steps until the stop criterion (maximum number of constant steps = 50, maximum number of steps = 500) is met is shown on the right side. Min/max (light color), interquartile range (dark color), and median value (black line) over n = 20 runs and 20 different delta parameter settings (x-axis) ranging from 0 to 2000 are shown.

We also compared the two biologically inspired optimization strategies, evolutionary optimization (EO) and particle swarm optimization (PSO). The quality of the solution was assessed by the cost function term ("E" see Methods section) and the number of optimization steps required to reach a stable solution. Toward that end, we varied the parameters of two different optimization algorithms. We used 20 different settings for the compactness term (delta parameter; see Methods), equally spaced in the range [0, 2000], with 20 runs (using different seed values for the random number generator) for each data set. Further, the number of individuals (EO) or particles (for the PSO) was set to 50 with a maximum of 500 iterations. If the best individuals/particles could not improve the cost function within 50 iterations the optimization was stopped.

For the stellate cell data set (import parameters: minimum category size 40, maximum category size 140, maximum p-Value of 0.05) the evaluation resulted in a total of 400 simulations for each of the two optimization strategies (EO versus PSO). An unpaired one-sided Wilcoxon rank sum test revealed significantly lower cost function values (p < 2.2 · 10-16) and a significantly lower number of iteration steps (p < 2.2 · 10-16).

In addition to testing of the real world data set, we performed simulations on 10 random set families (a total of 4000 simulations for each algorithm, details of performing the simulations are given in the supplementary information [9]). Each of those 10 families consisted of 5 sets. The pooled results (for both algorithms) gave a p-value of 4.567 · 10-10 for the value of the cost function, and a p-value below 2.2 · 10-16 for the number of iteration steps (both unpaired one-sided Wilcoxon rank test).

Discussion and Conclusion

Analyzing functional annotations of genes and gene products is becoming increasingly important in the comprehensive GO analysis of microarray data. Identification of functional interrelations between differentially expressed genes detected by GoMiner contributes substantially to uncovering fundamental biological programs and superordinate pathways reflected in the transcriptional differences. Displaying the results of such analyses has remained challenging.

We have introduced a new method for visualizing annotated gene sets as overlapping circles in the plane. The approach is loosely related to other procedures such as Venny [10] (4-set Venn diagrams, no area proportionality) and Tree-EASE [11, 12], (which uses hierarchical clustering), or GoMiner to find functionally related genes, which are then annotated. Our focus is on a semi-quantitative visualization that could be performed after such analyses. Although there is in general no perfect solution for these area-proportional Euler diagrams using circles or regular polygons, the proposed approach leads to easily interpretable visualizations.

We draw diagrams with zero size zones that are shaded, in accord with the original visualization of Venn diagrams [13]. The proposed type of Euler diagram is appropriate only for problems involving a relatively small number of intersections, a situation that often pertains to data originating from the GO database, since those data are naturally hierarchically structured. Area-proportional Euler diagrams are, in most cases, a trade-off between accuracy of the intersection areas and meaningful polygon arrangements without missing faces (= inconsistencies) and without too many empty faces (which are shaded). Therefore, we suggest several alternative formulations of the cost function to focus on different aspects of the data, such as the importance attached to intersections involving many sets (weights w k ) and the importance attached to giving equal weight to elements (genes) or groups (GO categories) (see error function f1 versus f2, respectively, in the Methods section).

The simulations produced the rather unexpected result that the PSO outperformed the EO, both in generating solutions with a lower cost and in faster convergence. The momentum inherent in the PSO seems to be better suited to the graphical optimization situation. A possible further improvement could be achieved by using a gradient descent optimization (similar to those proposed in [14]) for fine-tuning a coarse solution from the evolutionary strategy. Gradient descent alone is not able to find the optimal solution, since for more than 3 sets, local minima exist in the error function. On the other hand, it is impractical to differentiate the cost function analytically, and an approximation of the gradient is computationally expensive (compare the complexity estimation in the Methods section). Therefore, a gradient descent algorithm seems not to be particularly appropriate for this problem.

In summary, we have developed a method for visualizing set relationships that extends the inferences that can be expressed by DAGs. Intersections in different branches can now be visualized. The approach is implemented as an interactive application specifically designed for use with GoMiner in the context of the GO database. It has been integrated directly into the original GUI GoMiner software and is compatible with High-Throughput GoMiner.


It was demonstrated by Chow and Ruskey [14, 15] that the task of visualizing intersecting sample sets by area-proportional Euler diagrams is in general not perfectly solvable for more than two sets with circles in the plane. We therefore defined a cost function reflecting the conflicting constraints of circle overlap and cardinality of the intersection set and sought the best compromise solutions employing evolutionary and swarm approaches for optimization [for details see Additional file 1].

Cost function

We propose a cost functional E mapping the regular polygon (or circle) centers to an error value describing the goodness of the solution. The function E includes a trade-off between the correct graphical intersection areas and the true set sizes. The problem is first partitioned into disjoint, independently solvable subproblems. That can be accomplished by finding the connected components of an intersection graph that has one vertex for each set and edges that connect intersecting sets. The connected components can be found using a depth-first search (compare [16, 17]) which takes O(n + m) steps, where n is the number of vertices (sets) and m is the number of edges (which can be at most n(n - 1)/2). The resulting complexity is O(n2) to partition the problem. In the following it is therefore assumed that all sets have at least one intersecting partner. Let A1 ...A m U MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hfXxfaaa@376F@ be a sequence of intersecting subsets of the overall gene set U MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hfXxfaaa@376F@ and let G1 ...G m 2 be a graphical two-dimensional representation of the sets.

For a perfectly solvable case the cardinality of every intersecting subset A(I) = ∩ iI A i for I {1 ... m} is proportional to its corresponding graphical intersection area G(I) = η area (∩ iI G i ) so that |A(I)| = G(I) for a proportionality factor η > 0. Define A() = U MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hfXxfaaa@376F@ . A possible error function, which was implemented in Kestler et al. [3], is E = ∑I {1...m}w|I|f (I) with the partial errors

f 1 ( I ) = d ( G ( I ) , | A ( I ) | ) { α if  A ( I ) = β if  A ( I ) , G ( I ) = 0 γ otherwise MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOzay2aaSbaaSqaaiabigdaXaqabaGccqGGOaakcqWGjbqscqGGPaqkcqGH9aqpcqWGKbazcqGGOaakcqWGhbWrcqGGOaakcqWGjbqscqGGPaqkcqGGSaaldaabdaqaaiabdgeabjabcIcaOiabdMeajjabcMcaPaGaay5bSlaawIa7aiabcMcaPmaaceaabaqbaeaabmWaaaqaaGGaciab=f7aHbqaaiabbMgaPjabbAgaMjabbccaGiabdgeabjabcIcaOiabdMeajjabcMcaPiabg2da9iabgwGigdqaaaqaaiab=j7aIbqaaiabbMgaPjabbAgaMjabbccaGiabdgeabjabcIcaOiabdMeajjabcMcaPiabgcMi5kabgwGiglabcYcaSaqaaiabdEeahjabcIcaOiabdMeajjabcMcaPiabg2da9iabicdaWaqaaiab=n7aNbqaaiabb+gaVjabbsha0jabbIgaOjabbwgaLjabbkhaYjabbEha3jabbMgaPjabbohaZjabbwgaLbqaaaaaaiaawUhaaaaa@6EC4@

with a distance function d(g, c) and constants α, β, γ ≥ 0 allowing different weights on the three cases: unwanted graphical overlaps, missing graphical intersections, and area deviations.

The effect of using different parameter settings to highlight different aspects of the data is demonstrated in Figure 5. The weights w k , k = 1 ... m were previously chosen to be w k = 1/(k - 1) (for k > 1) and d(g, c) = (g - c)2.

Figure 5
figure 5

Influence of different parameter settings in the cost functional. Example with the three sets A = {1, 2, 3}, B = {2, 4, 5}, and C = {3, 4, 6} such that there is a pairwise overlap of one element, but not among all three sets, i.e. |AB| = |AC| = |BC| = 1 and |ABC| = 0. That means no perfect solution satisfying all constraints can be found, but only approximate ones, which are influenced by the relative weighting of the partial costs. The left diagram shows the settings α = 0 and β = γ = 1 so that unwanted intersections (the gray area in the middle) are ignored. For the diagram on the right, a was set to 50, thus showing a smaller gray area at the expense of a larger area deviation.

Error function f1 weights the (potentially large) intersection of two large sets much stronger than the (potentially small) intersection of two small sets or a small with a large set. Since the intersection size of a sequence of sets is restricted by its smallest set, we propose to normalize the partial errors by this upper bound. Furthermore f1 does not take into account that a barely visible intersection (where an intersection should be present) is worse than a little too much graphical overlap (compare Figure 5). An error function compensating for those two effects can be defined by

f 2 ( I ) = d ( G ( I ) , | A ( I ) | ) min i I | A i | { α if  A ( I ) = β if  A ( I ) , G ( I ) < | A ( I ) | γ otherwise . MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGaemOzay2aaSbaaSqaaiabikdaYaqabaGccqGGOaakcqWGjbqscqGGPaqkcqGH9aqpjuaGdaWcaaqaaiabdsgaKjabcIcaOiabdEeahjabcIcaOiabdMeajjabcMcaPiabcYcaSmaaemaabaGaemyqaeKaeiikaGIaemysaKKaeiykaKcacaGLhWUaayjcSdGaeiykaKcabaGagiyBa0MaeiyAaKMaeiOBa42aaSbaaeaacqWGPbqAcqGHiiIZcqWGjbqsaeqaamaaemaabaGaemyqae0aaSbaaeaacqWGPbqAaeqaaaGaay5bSlaawIa7aaaakmaaceaabaqbaeaabmWaaaqaaGGaciab=f7aHbqaaiabbMgaPjabbAgaMjabbccaGiabdgeabjabcIcaOiabdMeajjabcMcaPiabg2da9iabgwGigdqaaaqaaiab=j7aIbqaaiabbMgaPjabbAgaMjabbccaGiabdgeabjabcIcaOiabdMeajjabcMcaPiabgcMi5kabgwGiglabcYcaSaqaaiabdEeahjabcIcaOiabdMeajjabcMcaPiabgYda8maaemaabaGaemyqaeKaeiikaGIaemysaKKaeiykaKcacaGLhWUaayjcSdaabaGae83SdCgabaGaee4Ba8MaeeiDaqNaeeiAaGMaeeyzauMaeeOCaiNaee4DaCNaeeyAaKMaee4CamNaeeyzaugabaaaaaGaay5EaaGaeiOla4caaa@8442@

In general one should select β > γ.

Now we put a further constraint on the error weights w k in f1 such that the intersection of k sets must be at least as important as the intersection of > k sets. That constraint can be formulated by the condition

I { 1... m } , | I | = k E ^ ( I ) S { 1... m } , | S | > k E ^ ( S ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacuWGfbqrgaqcaiabcIcaOiabdMeajjabcMcaPaWcbaGaemysaKKaeyOHI0Saei4EaSNaeGymaeJaeiOla4IaeiOla4IaeiOla4IaemyBa0MaeiyFa0NaeiilaWYaaqWaaeaacqWGjbqsaiaawEa7caGLiWoacqGH9aqpcqWGRbWAaeqaniabggHiLdGccqGHLjYSdaaeqbqaaiqbdweafzaajaGaeiikaGIaem4uamLaeiykaKcaleaacqWGtbWucqGHgksZcqGG7bWEcqaIXaqmcqGGUaGlcqGGUaGlcqGGUaGlcqWGTbqBcqGG9bqFcqGGSaaldaabdaqaaiabdofatbGaay5bSlaawIa7aiabg6da+iabdUgaRbqab0GaeyyeIuoaaaa@5F8F@

where E ^ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGafmyrauKbaKaaaaa@2CF6@ (I) is defined to be an upper bound for the cost for the intersection I {1 ... m}. That condition dictates that the maximum possible error of intersecting > k sets must be smaller than the maximum possible error of intersecting k sets. Let M be an upper bound of the partial error f1 in the above case. M could be max i d(0,|A i |)/|A i | max{α, β, γ }. So equation above can be formulated as

( m k ) w k M j = k + 1 m ( m j ) w j M , i k < m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaamaabmaabaqbaeqabiqaaaqaaiabd2gaTbqaaiabdUgaRbaaaiaawIcacaGLPaaacqWG3bWDdaWgaaWcbaGaem4AaSgabeaakiabd2eanjabgwMiZoaaqahabaWaaeWaaeaafaqabeGabaaabaGaemyBa0gabaGaemOAaOgaaaGaayjkaiaawMcaaiabdEha3naaBaaaleaacqWGQbGAaeqaaOGaemyta0ealeaacqWGQbGAcqGH9aqpcqWGRbWAcqGHRaWkcqaIXaqmaeaacqWGTbqBa0GaeyyeIuoakiabcYcaSaqaaiabdMgaPjabgsMiJkabdUgaRjabgYda8iabd2gaTbaaaaa@4FF7@

The conditions can be fulfilled (such that equality holds) by finding weights from the backside starting with w m = 1 down to w1:

w k = 2 m k 1 ( m k ) , 1 k < m . MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaaiabdEha3naaBaaaleaacqWGRbWAaeqaaOGaeyypa0tcfa4aaSaaaeaacqaIYaGmdaahaaqabeaacqWGTbqBcqGHsislcqWGRbWAcqGHsislcqaIXaqmaaaabaWaaeWaaeaafaqabeGabaaabaGaemyBa0gabaGaem4AaSgaaaGaayjkaiaawMcaaaaakiabcYcaSaqaaiabigdaXiabgsMiJkabdUgaRjabgYda8iabd2gaTbaacqGGUaGlaaa@440F@

An error function evaluation requires O(Lm 2m-1) computation steps when using polygons with L edges (intersecting two polygons with M and N edges can be computed in O(M + N) with O'Rourke's algorithm [18]). For problems with ≥ 8 categories the complexity may be reduced due to time and space limitations by observing only intersection sets I with |I| = K for an upper bound K. The probability that for a highly intersecting group of sets a perfect diagram exists (up to a high level of intersections) is nevertheless very low. The size of an Euler diagram is defined as the number of faces this diagram should have to reflect all intersections occuring in the datae(I) = |{I {1 ... m}|A(I) ≠ }|

The current implementation enables one to observe the partial error f for each intersection set A(I), I {1 ... m}. In the following we propose some extensions of the previous visualization scheme:

i) To allow for better adaption and reduction of the unwanted regions (marked in gray), the solution space was extended by allowing the optimization to vary the polygon areas in a certain range such that the order conditions area(Gπ(1)) ≤ ... ≤ area(Gπ(m)) were preserved with a permutation π such that |Aπ(1)| ≤ ... ≤ |Aπ(m)|. Sets with equal cardinalities were represented by equal graphical areas. Only radial scaling of the polygons was allowed. Unfortunately, this strategy did not improve the visual representation even though the current implementation neglected the order criteria and so had more freedom to adapt (the solutions found were certainly not more informative).

ii) If using many sets, the scaling must be chosen small in order to fit the polygons into the unit box [0, 1]2. Therefore, the empty space in relation to the polygon areas will be very large, and the optimization may take a long time or may not produce a plausible solution (in those cases, the graphical representation is unconnected).

Therefore the cost function was extended with a further penality term

E ^ = i < j | | a j a i | | | | A j A i | area ( G j G i ) | MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGafmyrauKbaKaacqGH9aqpdaaeqbqaaiabcYha8jabcYha8Hqabiab=fgaHnaaBaaaleaacqWGQbGAaeqaaOGaeyOeI0Iae8xyae2aaSbaaSqaaiabdMgaPbqabaGccqGG8baFcqGG8baFcqGHflY1cqGG8baFcqGG8baFcqWGbbqqdaWgaaWcbaGaemOAaOgabeaakiabgMIihlabdgeabnaaBaaaleaacqWGPbqAaeqaaOGaeiiFaWNaeyOeI0IaeeyyaeMaeeOCaiNaeeyzauMaeeyyaeMaeiikaGIaem4raC0aaSbaaSqaaiabdQgaQbqabaGccqGHPiYXcqWGhbWrdaWgaaWcbaGaemyAaKgabeaakiabcMcaPiabcYha8bWcbaGaemyAaKMaeyipaWJaemOAaOgabeqdcqGHris5aaaa@5ED1@

with the polygon centers a1 ...a m 2, weighting compact solutions higher than scattered arrangements. If the graphical intersection is perfect, the second term in the sum becomes zero, and the penality term behaves neutrally. Otherwise, the term drives the polygons (which should intersect) towards each other until they eventually meet. The total error functional then computes to

E = E + δ E ^ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaGafmyrauKbauaacqGH9aqpcqWGfbqrcqGHRaWkiiGacqWF0oazcuWGfbqrgaqcaaaa@330A@

with the weighting parameter δ ≥ 0.

To avoid local minima, the cost function E is minimized over the polygon centers (shape and orientation of the polygons remain fixed) using a swarm optimization algorithm [19] and an evolutionary strategy with self-adapting mutation rates [20].

Particle swarm optimization

Particle swarm optimization (PSO) [19] is a biologically motivated optimization technique similar to evolutionary strategies [20] and genetic algorithms. A swarm consists of a number N of interacting particles such that each particle j = 1 ... N represents a solution x(j) nin the n-dimensional space having fitness f(x(j)). Additionally, each particle has a velocity vector v(j) nthat specifies its current movement in space for each axis. In the beginning, at t = 0, the locations are chosen uniformly from the n-dimensional unit hypercube [0, 1]nto which this constrained optimization problem is scaled. The velocities are chosen independently from the range [-v max , v max ] for a constant v max > 0. The swarm evolves over time in discrete time steps with update rules for the locations

x t + 1 ( j ) = x t ( j ) + v t ( j ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacbeGae8hEaG3aa0baaSqaaiabdsha0jabgUcaRiabigdaXaqaaiabcIcaOiabdQgaQjabcMcaPaaakiabg2da9iab=Hha4naaDaaaleaacqWG0baDaeaacqGGOaakcqWGQbGAcqGGPaqkaaGccqGHRaWkcqWF2bGDdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemOAaOMaeiykaKcaaaaa@425B@

and velocities

v t + 1 ( j ) = v t ( j ) + c g l o b U [ 0 , 1 ] ( x t ( g l o b ) x t ( j ) ) + c l o c U [ 0 , 1 ] ( x t ( j , l o c ) x t ( j ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacbeGae8NDay3aa0baaSqaaiabdsha0jabgUcaRiabigdaXaqaaiabcIcaOiabdQgaQjabcMcaPaaakiabg2da9iab=zha2naaDaaaleaacqWG0baDaeaacqGGOaakcqWGQbGAcqGGPaqkaaGccqGHRaWkcqWGJbWydaWgaaWcbaGaem4zaCMaemiBaWMaem4Ba8MaemOyaigabeaat0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaakiab+rr8vjabcUfaBjabicdaWiabcYcaSiabigdaXiabc2faDjabcIcaOiab=Hha4naaDaaaleaacqWG0baDaeaacqGGOaakcqWGNbWzcqWGSbaBcqWGVbWBcqWGIbGycqGGPaqkaaGccqGHsislcqWF4baEdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemOAaOMaeiykaKcaaOGaeiykaKIaey4kaSIaem4yam2aaSbaaSqaaiabdYgaSjabd+gaVjabdogaJbqabaGccqGFueFvcqGGBbWwcqaIWaamcqGGSaalcqaIXaqmcqGGDbqxcqGGOaakcqWF4baEdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemOAaOMaeiilaWIaemiBaWMaem4Ba8Maem4yamMaeiykaKcaaOGaeyOeI0Iae8hEaG3aa0baaSqaaiabdsha0bqaaiabcIcaOiabdQgaQjabcMcaPaaakiabcMcaPaaa@888D@

with the positive acceleration constants c glob and c loc . The global best solution (having the maximum fitness value) among all particles for all t't is defined as x t ( g l o b ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacbeGae8hEaG3aa0baaSqaaiabdsha0bqaaiabcIcaOiabdEgaNjabdYgaSjabd+gaVjabdkgaIjabcMcaPaaaaaa@360E@ ; the local best solution for a single particle j is x t ( j , l o c ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacbeGae8hEaG3aa0baaSqaaiabdsha0bqaaiabcIcaOiabdQgaQjabcYcaSiabdYgaSjabd+gaVjabdogaJjabcMcaPaaaaaa@36F6@ . The velocities are restricted to the interval [-v max , v max ] for each axis. The interaction among particles is regulated by the influence of the global and local optima on the velocity term. U MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hfXxfaaa@376F@ [0, 1) is a uniform random variate generating a number from the interval [0, 1). One variation of the method is to restrict the locations to the bounding box [0,1]nand to change the sign of velocity components of the respective dimensions such that the particles bounces back from the wall.

Evolutionary optimization

A generation contains N individuals each representing a permissible solution of the problem. In the following step each individual is mutated, and its fitness is evaluated by the previously defined cost function E. An individual is replicated with frequencies proportional to its fitness rank, thus generating offspring until the original generation size is reached. The best individual is always transferred unchanged into the new generation. The process of mutation and replication is repeated until the best individual does not change over a certain number of steps.

An individual consists of a parameter vector v 1 t v m t 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaacbeGae8NDay3aa0baaSqaaiabigdaXaqaaiabdsha0baakiabl+Uimjab=zha2naaDaaaleaacqWGTbqBaeaacqWG0baDaaGccqGHiiIZtuuDJXwAK1uy0HMmaeHbfv3ySLgzG0uy0HgiuD3BaGabaiab+1risnaaCaaaleqabaGaeGOmaidaaaaa@43A9@ representing the polygon centers and a vector σt + m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWefv3ySLgznfgDOjdaryqr1ngBPrginfgDObcv39gaiqaacqWFDeIudaqhaaWcbaGaey4kaScabaGaemyBa0gaaaaa@38FC@ describing the mutation rate for each parameter. The first population is initialized with uniformly distributed random values such that each parameter stays in a certain range i.e. the polygons must be enclosed by the bounding box [0, 1]2 and the mutation parameters have to be contained in the interval [τ lower , τ upper ] with 0 <τ lower <τ upper .

In the mutation step the mutation parameters themselves are mutated

σ i ( t + 1 ) = σ i t e N ( 0 , τ ) i = 1... m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaaGGaciab=n8aZnaaDaaaleaacqWGPbqAaeaacqGGOaakcqWG0baDcqGHRaWkcqaIXaqmcqGGPaqkaaGccqGH9aqpcqWFdpWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaemyzau2aaWbaaSqabeaat0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaacqGFneVtcqGGOaakcqaIWaamcqGGSaalcqWFepaDcqGGPaqkaaaakeaacqWGPbqAcqGH9aqpcqaIXaqmcqGGUaGlcqGGUaGlcqGGUaGlcqWGTbqBaaaaaa@53FD@

and restricted to the interval [τ lower , τ upper ]. The constant meta-mutation parameter τ > 0 is a pre-specified constant. Then the locations of the polygons are updated

v i ( t + 1 ) = v i t + [ N ( 0 , σ i ( t + 1 ) ) N ( 0 , σ i ( t + 1 ) ) ] i = 1... m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaaGqabiab=zha2naaDaaaleaacqWGPbqAaeaacqGGOaakcqWG0baDcqGHRaWkcqaIXaqmcqGGPaqkaaGccqGH9aqpcqWF2bGDdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaey4kaSYaamWaaeaafaqabeGabaaabaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae4xdX7KaeiikaGIaeGimaaJaeiilaWccciGae03Wdm3aa0baaSqaaiabdMgaPbqaaiabcIcaOiabdsha0jabgUcaRiabigdaXiabcMcaPaaakiabcMcaPaqaaiab+1q8ojabcIcaOiabicdaWiabcYcaSiab9n8aZnaaDaaaleaacqWGPbqAaeaacqGGOaakcqWG0baDcqGHRaWkcqaIXaqmcqGGPaqkaaGccqGGPaqkaaaacaGLBbGaayzxaaaabaGaemyAaKMaeyypa0JaeGymaeJaeiOla4IaeiOla4IaeiOla4IaemyBa0gaaaaa@68DA@

where N MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGacaGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xdX7eaaa@3761@ (0, s) represents a normally distributed variate with mean 0 and variance σ. After each mutation, all parameters are restricted to meet the above conditions.

Evolutionary selection and offspring generation are performed by assigning each individual a rank r = 1 ... N according to its fitness as determined according to the value of the cost functional E or E' such that the best individual (the one with the lowest cost or highest fitness) has r = 1. Each individual is then replicated a number of times inversely proportional to its rank value. Therefore, an individual with rank r will have at most [qN/r] (for a fixed 0 <q < 1) offspring. Starting with the highest rank r = 1 the new population is filled up until the size N is reached and the new generation is complete. All but the first individual (the fittest of the last generation) are mutated.

The optimization process is stopped when the cost functional of the best individual does not improve over a certain number of steps or the number of generations exceeds an upper bound.

Implementation of VennMaster

The visualization approach was implemented as a platform-independent open source Java application, which is available online [9]. The application allows interactive exploration of Euler diagrams was tested under Windows XP, Linux, and Mac OS X using the Java Runtime Environment 1.5 [21].

When one touches a polygon with the cursor, its area is highlighted and the involved group names and the cardinality of the intersection set are shown. Among many other parameters involving the evolutionary strategy and the error function, the number of edges of the polygons can be configured. Those settings can be exported and imported in XML format [22]. Furthermore, a gene list of the selected intersection set(s) is shown in an information field. Unresolved intersections (for which no corresponding polygon intersection exists) are listed in the field "Inconsistencies". For each set or intersection set, a text label can be attached (see Figure 3). Labels and polygons can be moved by drag and drop (the cost function will be updated immediately). So the user can interactively modify the configuration and may restart the optimization process on the changed arrangement. Set positions can be locked so that they will not be moved by the optimizer. The optimization process can be controlled via a parameter dialog (see supplementary information [9]). The area-proportional Euler diagrams may be saved as JPEG or SVG (Scalable Vector Graphics (SVG) is a XML based graphics format [23]).

Integration with GoMiner

GoMiner [4] is a tool for biological interpretation of "omic" data – including data from gene expression microarrays. Omic experiments often generate lists of dozens or hundreds of genes that differ in expression between samples. GoMiner uses the Gene Ontology to identify the biological processes, functions and cellular components represented in these lists, and groups the genes into biologically-coherent categories. The ability to import files from GoMiner was included in the software to permit analysis of functional categories of differentially expressed genes. For the GoMiner files, categories were pre-filtered so that the number of genes in the included categories would lie in a certain definable range and would not exceed a given FDR or p-value. Alternatively, a simple tab delimited file format with an element/group pair in each line can be used as input. The current version enables the export of an error profile listing all partial errors for each non-empty set combination I {1 ... n} such that G(I) > 0 or A(I) ≠ . Each line contains the values I, |I|, G(I), |A(I)|, and f(I).

VennMaster was recently integrated into the GoMiner software (see Figure 6). That integration provides a seamless interface for the user, and eliminates the overhead of performing file I/O operations and managing external files. As part of a pilot project, GoMiner is being integrated into the Cancer Biomedical Informatics Grid initiative [24, 25], which aims to provide a grid connecting individuals and institutions to facilitate the interoperable sharing of data and informatic tools. Integration of VennMaster and GoMiner will result in the integration of VennMaster in caBIG, thus enhancing both the availability of VennMaster to the broad user community, and the ease with which it can be used.

Figure 6
figure 6

Implementation: GoMiner integration. Context menu in the integrated VennMaster-GoMiner user interface. In this example, VennMaster is about to be applied to visualization of the GoMiner categories in the "biological process" branch of GO. The result of completing the step is shown in the lower panel.

Availability and requirements

The visualization scheme is available as a platform-independent Java application (> JRE 1.5.0) from [9]. VennMaster is also now directly integrated into the GoMiner application (see Figure 6) available at [6] for direct Euler diagram representation of GO categories enriched with flagged genes.


  1. The Gene Ontology Consortium: The Gene Ontology (GO) database and informatics resource. Nucleic Acids Res 2004, 32: D258-D261.

    Article  Google Scholar 

  2. Gil J, Howse J, Tulchinskiy E: Positive semantics of projections in Venn-Euler diagrams. In Diagrams LNAI 1889. Edited by: Anderson M, Cheng P, Haarslev V. Springer Verlag; 2000:7–25.

    Google Scholar 

  3. Kestler HA, Müller A, Gress TM, Buchholz M: Generalized Venn diagrams: a new method of visualizing complex genetic set relations. Bioinformatics 2005, 21: 1592–1595.

    Article  CAS  PubMed  Google Scholar 

  4. Zeeberg BR, Feng W, Wang G, Wang MD, Fojo AT, Sunshine M, Narasimhan S, Kane DW, Reinhold WC, Lababidi S, Bussey KJ, Riss J, Barrett JC, Weinstein JN: GoMiner: A Resource for Biological Interpretation of Genomic and Proteomic Data. Genome Biology 2003, 4: R28.

    Article  PubMed Central  PubMed  Google Scholar 

  5. Zeeberg BR, Qin H, Narasimhan S, Sunshine M, Cao H, Kane DW, Reimers M, Stephens RM, Bryant D, Burt SK, Elnekave E, Hari DM, Wynn TA, Cunningham-Rundles C, Stewart DM, Nelson D, Weinstein J: High-Throughput GoMiner, an 'industrial-strength' integrative gene ontology tool for interpretation of multiple-microarray experiments, with application to studies of Common Variable Immune Deficiency (CVID). BMC Bioinformatics 2005., 6(168):

    Google Scholar 

  6. GoMiner[]

  7. Allwein G, Barwise J: Logical Reasoning with Diagrams. Oxford University Press; 1996.

    Google Scholar 

  8. Buchholz M, Kestler HA, Holzmann K, Ellenrieder V, Schneiderhan W, Siech M, Adler G, Bachem MG, Gress TM: Transcriptome analysis of human hepatic and pancreatic staellate cells: Evidence for common cell lineage and function. J Molecular Medicine 2005, 83: 795–805. MB and HAK contributed equally

    Article  CAS  Google Scholar 

  9. Supplementary information and VennMaster software[]

  10. Oliveros JC: VENNY: An interactive tool for comparing lists with Venn diagrams.2007. []

    Google Scholar 

  11. Saeed A, Sharov V, White J, Li J, Liang W, Bhagabati N, Braisted J, Klapa M, Currier T, Thiagarajan M, Sturn A, Snuffin M, Rezantsev A, Popov D, Ryltsov A, Kostukovich E, Borisovsky I, Liu Z, Vinsavich A, Trush V, Quackenbush J: TM4: a free, open-source system for microarray data management and analysis. Biotechniques 2003, 2(34):374–8.

    Google Scholar 

  12. Hosack D, GD Jr, Sherman B, Lane H, Lempicki R: Identifying biological themes within lists of genes with EASE. Genome Biolology 2003, 4: R70-R70.8.

    Article  Google Scholar 

  13. Venn J: On the diagrammatic and mechanical representation of propositions and reasoning. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science 1880, 9: 1–18.

    Article  Google Scholar 

  14. Chow S, Rodgers P: Extended Abstract: Constructing Area-Proportional Venn and Euler Diagrams with Three Circles. Euler Diagrams INRIA 2005, 9–12.

    Google Scholar 

  15. Chow S, Ruskey F: Drawing Area-Proportional Venn and Euler Diagrams. In Graph Drawing. Volume 2912. Edited by: Guiseppe Liotta. Springer Verlag; 2004:466–477.

    Chapter  Google Scholar 

  16. Cormen TH, Leiserson CE, Rivest RL: Introduction to Algorithms. MIT Press; 1989.

    Google Scholar 

  17. Skiena SS: The Algorithm Design Manual. Springer Verlag; 1998.

    Google Scholar 

  18. O'Rourke J: Computational Geometry in C. second edition. Cambridge University Press; 2000.

    Google Scholar 

  19. Kennedy J, Eberhart R: Swarm Intelligence. Morgan Kaufmann; 2001.

    Google Scholar 

  20. Bäck T: Evolutionary algorithms in theory and practice. Oxford University Press; 1996.

    Google Scholar 

  21. Java Runtime Environment[]

  22. Extensible Markup Language (XML)[]

  23. Scalable Vector Graphics (SVG)[]

  24. Cancer Biomedical Informatics Grid[]

  25. Buetow KH: Cyberinfrastructure: Empowering a "Third Way" in Biomedical Research. Science 2005, 308(5723):821–824.

    Article  CAS  PubMed  Google Scholar 

Download references


We thank Bernd Ruoss for Java support. This research was funded in part by a "Forschungsdozent" grant through the Stifterverband für die Deutsche Wissenschaft and by the German Science Foundation (SFB 518, Project C05) to HAK. This research was supported in part by the Intramural Research Program of the NIH, National Cancer Institute, Center for Cancer Research.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Hans A Kestler.

Additional information

Authors' contributions

HAK designed the study and drafted the manuscript. AM participated in the design of the study, implemented the software and helped to draft the manuscript. JMK revised the software and helped to draft the revision. MB participated in the design, evaluated the procedures and helped to draft the manuscript. TMG participated in its design and coordination and helped to draft the manuscript. HL integrated VennMaster and GoMiner. DWK provided overall direction for development of GoMiner. BRZ participated in the design of the study and performed the statistical analysis. JNW participated in its design and coordination and helped to draft the manuscript. All authors read and approved the final manuscript.

Electronic supplementary material

Authors’ original submitted files for images

Rights and permissions

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Kestler, H.A., Müller, A., Kraus, J.M. et al. VennMaster: Area-proportional Euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics 9, 67 (2008).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: