@inproceedings{BieLutWolKR12 Author = {M. Bienvenu and C. Lutz and F. Wolter}, Booktitle = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR12)}, Title = {Query Containment in Description Logics Reconsidered}, Year = {2012} }