Lévy-Khintchine formula; Beurling-Deny formula; Quasi-regular semi-Dirichlet form; Local compactification; Integral representation; Quasi-compatible metric