Дескрипционная логика — это семейство формальных языков представления знаний, используемых для описания понятий, отношений и ограничений в предметной области. Она выразительнее пропозициональной логики, но стремится сохранять ключевые задачи рассуждения разрешимыми, что делает ее важной для онтологий и семантических систем.
A family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each description logic features a different balance between DL expressivity and knowledge representation and reasoning complexity by supporting different