Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.

Carsten Lutz, Robert Piro, Frank Wolter

Browse the full IJCAI paper archive.