New Expressive Languages for Ontological Query Answering