Description logics (DLs) is a family of knowledge representation (KR) languages which represent knowledge in a domain of interest using formal, logic-based semantics through knowledge bases (KBs) containing general assertions of describing relevant concepts - hence, the term description - and specific assertions about individuals and relationships among them.
& Hitzler, P.
(2014). Description Logics. Encyclopedia of Social Network Analysis and Mining.