SMS dit: Optimizing Query Answering under Ontological Constraints