Actions over a constructive semantics for description logics