Seol mar théacs é seo: Efficient Query Answering for OWL 2