In this paper we study semilinear second order differential inclusions involving a multivalued maximal monotone operator. Using notions and techniques from the nonlinear operator theory and from multivalued analysis, we obtain “extremal” solutions and we prove a strong relaxation theorem.