  We introduce a method to resolve a symplectic orbifold into a smooth
symplectic manifold. Then we study how the formality and the Lefschetz property
of the symplectic resolution are compared with that of the symplectic orbifold.
We also study the formality of the symplectic blow-up of a symplectic orbifold
along symplectic submanifolds disjoint from the orbifold singularities. This
allows us to construct the first example of a simply connected compact
symplectic manifold of dimension 8 which satisfies the Lefschetz property but
is not formal, therefore giving a counter-example to a conjecture of Babenko
and Taimanov.
