@inproceedings{KR-2012-acyclicity, title = "Acyclicity Conditions and their Application to Query Answering in Description Logics", author = "Bernardo Cuenca Grau and Ian Horrocks and Markus Kroetsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang", year = "2012", booktitle = "Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)", location = "Rome, Italy", note = "Accepted for Publication", }