3.1.2. Description Logic (ALC)

Description logics are a family of formal knowledge representation languages. We discuss the prototypical description logic Attributive Concept Language with Complements (ALC) which can be seen as a fragment of unsorted FOL without functions (see [36]). We include this non-classical example to illustrate that our framework may be indeed suitable to describe a wide variety of specification formalisms.

This adaption of First-Order Logic to deal with the practical problem of knowledge representation and the example of DPF demonstrate that contexts and sketches, as they are defined in our framework, appear quite natural as conceptual building blocks in practical specification formalisms.
