Edu:Description Logic - DL
Description logic is a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in a structured way.
The name comes from:
- the notion of describing the domain by using concept descriptions, i.e., expressions that are built from atomic concepts (unary predicates) and atomic roles (binary predicates) using the concept and role constructors provided by the particular DL
- DLS are equipped with a formal logic-based semantics.
Each description logic describes a language, and each language differ in expressibility vs. reasoning complexity, defined by allowing or disallowing different constructs (e.g. conjunction, disjunction, negation, quantifiers, etc.) in their language.
(Source: F. Bader, I. Horrocks, and U. Satler (2008) Description Logics. Handbook of Knowledge Representation Edited by F. van Harmele n, V. Lifschitz and B. Porter. Elsevier B.V)