Classifying Description Logics

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 expressivenessresults for a wide range of logics in the well-known FL? and AL hierarchies. As a corollary we obtain a complete classi cation of the relative expressive power of these logics.

• Type: Conference
• Year: 1997
• Where: DLOG
• Authors: Natasha Kurtonina, Maarten de Rijke
• Keywords: Automated Reasoning, Description Logics, DLOG 1997, Expressive Power, Relative Expressive Power