Towards a Rational Closure for expressive description logics: the case of SHIQ.