Wolter, 2021. How to Approximate Ontology-Mediated Queries.