Description logic (DL) Symbolic AI
noun phrase
Definition: A family of formal knowledge-representation logics used to represent the conceptual knowledge of an application domain in a structured and formally well-defined way, typically in terms of concepts, roles, and individuals. Description logic provides the logical foundation for ontology languages and supports reasoning tasks such as subsumption, satisfiability, and instance checking [Koogan Breitman et al. 2007].
Example in context: “However, it is not yet known whether LLMs can understand Description Logic (DL) ontologies.” [Wang et al. 2024]
Synonyms: DL; description logics
Related terms: ontology language; knowledge representation; subsumption; satisfiability; instance checking; DL-Lite; OWL