Leif Sabellek

22 papers A* 5A 1B 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
Learning Tree Pattern Transformations.
ICDT
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 J jnl
Learning Tree Pattern Transformations.
CoRR
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 B conf
Remarks on Parikh-Recognizable Omega-languages.
CSL
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2023 J jnl
Parikh Automata on Infinite Words.
CoRR
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2023 J jnl
Remarks on Parikh-recognizable omega-languages.
CoRR
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2022 J jnl
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.
Artif. Intell.
Carsten Lutz, Leif Sabellek
2022 A* conf
Ontology-Mediated Querying on Databases of Bounded Cliquewidth.
KR
Carsten Lutz, Leif Sabellek, Lukas Schulze
2022 J jnl
Ontology-Mediated Querying on Databases of Bounded Cliquewidth.
CoRR
Carsten Lutz, Leif Sabellek, Lukas Schulze
2021 — conf
How to Approximate Ontology-Mediated Queries (Extended Abstract.
Description Logics
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021 A* conf
How to Approximate Ontology-Mediated Queries.
KR
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021 J jnl
How to Approximate Ontology-Mediated Queries.
CoRR
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2020 — conf
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract).
Description Logics
Carsten Lutz, Leif Sabellek
2020 J jnl
Ontology-Mediated Querying with Horn Description Logics.
Künstliche Intell.
Leif Sabellek
2020 J jnl
Query Expressibility and Verification in Ontology-Based Data Access.
CoRR
Carsten Lutz, Johannes Marti, Leif Sabellek
2019 J jnl
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL.
CoRR
Carsten Lutz, Leif Sabellek
2019 — conf
Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper).
COSIT
Reinhard Moratz, Leif Sabellek, Thomas Schneider
2019 — —
Ontology-Mediated Querying with Horn Description Logics.
Leif Sabellek
2018 A* conf
Query Expressibility and Verification in Ontology-Based Data Access.
KR
Carsten Lutz, Johannes Marti, Leif Sabellek
2018 — conf
Query-by-Example for Expressive Horn Description Logics.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2018 A* conf
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2017 — conf
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.
Description Logics
Carsten Lutz, Leif Sabellek
2017 A* conf
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
IJCAI
Carsten Lutz, Leif Sabellek