  In the paper, we first propose a definition of renormalized solution of
semilinear elliptic equation involving operator corresponding to a general
(possibly nonlocal) symmetric regular Dirichlet form satisfying the so-called
absolute continuity condition and general (possibly nonsmooth) measure data.
Then we analyze the relationship between our definition and other concepts of
solutions considered in the literature (probabilistic solutions, solution
defined via the resolvent kernel of the underlying Dirichlet form,
Stampacchia's definition by duality). We show that under mild integrability
assumption on the data all these concepts coincide.
