Dirichlet Forms, Poincaré Inequalities, and the Sobolev Spaces of Korevaar and Schoen