Description Logic TBoxes: Model-theoretic Characterizations and Rewritability

Carsten Lutz, Robert Piro, Frank Wolter

We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizati…