Leif Sabellek

According to our database, Leif Sabellek authored at least 15 papers between 2017 and 2024.

Collaborative distances:

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

2024

Remarks on Parikh-Recognizable Omega-languages.

Mario Grobler, Leif Sabellek, Sebastian Siebertz

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Parikh Automata on Infinite Words.

Mario Grobler, Leif Sabellek, Sebastian Siebertz

CoRR, 2023

2022

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.

Carsten Lutz, Leif Sabellek

Artif. Intell., 2022

Ontology-Mediated Querying on Databases of Bounded Cliquewidth.

Carsten Lutz, Leif Sabellek, Lukas Schulze

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

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

Ontology-Mediated Querying with Horn Description Logics.

Leif Sabellek

Künstliche Intell., 2020

Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract).

Carsten Lutz, Leif Sabellek

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

2019

Ontology-Mediated Querying with Horn Description Logics.

Leif Sabellek

PhD thesis, 2019

Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper).

Reinhard Moratz, Leif Sabellek, Thomas Schneider

Proceedings of the 14th International Conference on Spatial Information Theory, 2019

2018

Query Expressibility and Verification in Ontology-Based Data Access.

Carsten Lutz, Johannes Marti, Leif Sabellek

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Query-by-Example for Expressive Horn Description Logics.

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.

Carsten Lutz, Leif Sabellek

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.

Carsten Lutz, Leif Sabellek

Proceedings of the 30th International Workshop on Description Logics, 2017