# Edu:Description Logic - DL

From IAOA Wiki

## Description Logic

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)