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