Classifying description logics
Natasha Kurtonina, Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness results for a wide range of logics in the well-known FL- and AL hierarchies. As a corollary we obtain a complete classification of the relative expressive power of these logics.