Acyclicity Conditions and their Application to Query Answering in Description Logics (Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 2012)

(untitled) - Grau, B; Horrocks, I; Krötzsch, M; Kupke, C; Magka, D; Motik, B; Wang., Z