Invia SMS: Optimizing Query Answering under Ontological Constraints