Description logics is a family of formal knowledge representation languages. This field investigates methods for representing and reasoning about conceptual knowledge in a structured and formally well-defined way. Characterized by a rigorous syntax and semantics, description logics ensure decidability of key inference tasks such as subsumption and satisfiability, making them fundamental to ontology engineering, the Semantic Web, and intelligent systems.