Actions over a constructive semantics for ALC