Գրեք սա: Optimizing Query Answering under Ontological Constraints