Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! | Read Paper on Bytez