Description logic is a family of formal knowledge representation languages used to describe concepts, relationships, and constraints in a domain. It is more expressive than propositional logic while aiming to keep core reasoning tasks decidable, making it important for ontologies and semantic systems.
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