Stav dette: Optimizing Query Answering under Ontological Constraints