TY - RPRT TI - Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies AU - Bernardo Cuenca Grau AU - Ian Horrocks AU - Markus Krötzsch AU - Clemens Kupke AU - Despoina Magka AU - Boris Motik AU - Zhe Wang PY - 2014 DO - 10.1613/jair.3949 UR - https://arxiv.org/abs/1406.4110 ID - 1406.4110 ER -