A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies