Dynamic Systems based on Description Logics: Formalization, verification, and synthesis