Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability

Open in new window