Constrained Truth Discovery