Query Expressibility and Verification in Ontology-Based Data Access