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

Open in new window