45 citations · 92 across the 3 of their papers we have counts for
3 papers
cs.AI2011★ 24 cited
Fusions of Description Logics and Abstract Description Systems
F. Baader, C. Lutz, H. Sturm +1
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidabi…
cs.LO2011★ 23 cited
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…
cs.LO2011★ 45 cited
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz, Frank Wolter
We study uniform interpolation and forgetting in the description logic ALC. Our main results are model-theoretic characterizations of uniform inter- polants and their existence in…