We discuss the formality problem for manifolds with special holonomy and demonstrate ow to apply the Poincare-Lefschetz-Pontryagin intersection theory to computing the cohomology rings of G_2 manifolds constructed by Joyce by using the generalized Kummer construction.