Safety of quantified ABoxes w.r.t. singleton EL policies