Отправить по sms: Conjunctive query answering for the description logic SHIQ