Quantum dirichlet forms, differential calculus and semigroups