Acyclicity Conditions and their Application to Query Answering in Description Logics - Grau, B; Horrocks, I; Kroetsch, M; Kupke, C; Magka, D; Motik, B; Wang, Z (2012)