Leif Sabellek

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Venues

CoRR

Description Logics

IJCAI

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Mario Grobler, Leif Sabellek, Sebastian Siebertz
Remarks on Parikh-Recognizable Omega-languages. CSL (2024)
Mario Grobler, Leif Sabellek, Sebastian Siebertz
Parikh Automata on Infinite Words. CoRR (2023)
Mario Grobler, Leif Sabellek, Sebastian Siebertz
Remarks on Parikh-recognizable omega-languages. CoRR (2023)
Carsten Lutz, Leif Sabellek
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL. Artif. Intell. 308 (2022)
Carsten Lutz, Leif Sabellek, Lukas Schulze
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. CoRR (2022)
Carsten Lutz, Leif Sabellek, Lukas Schulze
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. KR (2022)
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)
Leif Sabellek
Ontology-Mediated Querying with Horn Description Logics. Künstliche Intell. 34 (4) (2020)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. CoRR (2020)
Carsten Lutz, Leif Sabellek
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract). Description Logics (2020)
Carsten Lutz, Leif Sabellek
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL. CoRR (2019)
Reinhard Moratz, Leif Sabellek, Thomas Schneider
Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper). COSIT (2019)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. IJCAI (2018)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Query-by-Example for Expressive Horn Description Logics. Description Logics (2018)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. KR (2018)
Carsten Lutz, Leif Sabellek
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. Description Logics (2017)
Carsten Lutz, Leif Sabellek
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. IJCAI (2017)

Leif Sabellek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leif Sabellek