@inproceedings{BaaBieLutWol-kr10, Author = {F. Baader and M. Bienvenu and C. Lutz and F. Wolter}, Booktitle = {Proceedings of the Twelth International Conference on Principles of Knowledge Representation and Reasoning (KR10)}, Title = {Query and Predicate Emptiness in Description Logics}, Year = {2010}, pages = {192-202} }