ДЛ, англ. High Quality Content by WIKIPEDIA articles! Дескрипцио?нные ло?гики (сокр. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике. Description logics, иногда используется неточный перевод: дескрипти?вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. ДЛ можно рассматривать как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам. Таким образом, ДЛ представляют собой компромисс между выразительностью и разрешимостью. 2012