Please take this response as if you were talking to someone that doesn't really know but likes to try. Short answer; no.

Gregg's definition may be as close as you can get. REBOL doesn't really seem to fit any of the common pigeon holes. The way REBOL evaluates expressions is more based on satisfying arity needs, and as Gregg points out, those needs can only be determined at the time of the contextual evaluation.
There is a stack, but from a user perspective only the top is accessible, and by that I mean, (normally) only the last result is returned from multiple sequential expressions. So calling it stack-based is somewhat of a misnomer.
REBOL can be concatenative, but once again it is not. For one; atomic operations do not have the monadic one function one result elementary decomposition. e.g. The print function doesn't return anything, (well it returns unset!) but these nit pickies make describing REBOL as concatenative another misnomer.
REBOL is capable of polish notation, but that is more of a side effect of satisfying the arity needs. 2 + 3 works, + 2 3 works 2 3 + does not. Under REBOL release 2, + / 2 3 4 works as (2 / 3) + 4 but REBOL release 3 will not allow for such syntax. The expression scanner is getting simpler (in terms of end-user) evaluation with REBOL 3. So once again, polish notation is a misnomer.
See
http://www.rebol.com/faq.html#056 for a few more details, but please note this FAQ is REBOL release 2. Things will change a little bit with REBOL 3.
Again, please note. I'm never completely sure about REBOL and learn something new everyday, including rethinking entire belief systems from time to time.

Cheers,
Brian