SMS dit: Efficient Query Answering for OWL 2