Describir: Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL