Enviar por SMS: Complexity Boundaries for Horn Description Logics.