Reasoning in the SHOQ(Dn) Description Logic