Zaslat SMS: Optimizing Query Answering under Ontological Constraints