Stav dette: Efficient Query Answering for OWL 2.