Anneke Haga

According to our database, Anneke Haga authored at least 4 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

How to Approximate Ontology-Mediated Queries.

Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

How to Approximate Ontology-Mediated Queries (Extended Abstract.

Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

A Journey into Ontology Approximation: From Non-Horn to Horn.

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020