A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (Description Logics, 2020)

A Journey into Ontology Approximation: From Non-Horn to Horn. - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (IJCAI, 2020)

How to Approximate Ontology-Mediated Queries (Extended Abstract. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (Description Logics, 2021)

How to Approximate Ontology-Mediated Queries. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (KR, 2021)