Anneke Haga

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 6

Top Topics

Canonical Representation

Top Venues

Description Logics

Publications

Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. CoRR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. KR (2021)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR (2020)