Computing CQ lower-bounds over OWL 2 through approximation to RSA