TY - RPRT TI - Query Expressibility and Verification in Ontology-Based Data Access AU - Carsten Lutz AU - Johannes Marti AU - Leif Sabellek PY - 2020 UR - https://arxiv.org/abs/2011.09176 ID - 2011.09176 ER -