Actions Over a Constructive Semantics for Description Logics