Cálculo de límites inferiores de CQ sobre OWL 2 mediante aproximación a RSA