Envoyer par SMS: A Resolution-Based Decision Procedure for SHOIQ.