This area of research concerns the study of system based on Description Logics. This includes different research problems: knowledge representation, reasoning, and applications.