177 citations · 621 across the 42 of their papers we have counts for
4 papers · 1 filter
Conjunctive Query Answering for the Description Logic SHIQ
Birte Glimm, Ian Horrocks, Carsten Lutz +1
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query…
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…
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…
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…