Carsten Lutz

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 122

Top Venues

CoRR

Description Logics

IJCAI

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS (2024)
Carsten Lutz, Quentin Manière
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. CoRR (2024)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183 (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR (2024)
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. 52 (4) (2023)
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Extremal Fitting Problems for Conjunctive Queries. PODS (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-Based PAC Learning of Description Logic Concepts. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Extremal Fitting CQs do not Generalize. CoRR (2023)
Carsten Lutz, Quentin Manière, Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases. CoRR (2023)
Carsten Lutz, Lukas Schulze
Description Logics with Abstraction and Refinement. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-Based PAC Learning of Description Logic Concepts. IJCAI (2023)
Carsten Lutz, Quentin Manière, Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases. KR (2023)
Carsten Lutz, Lukas Schulze
Description Logics with Abstraction and Refinement. KR (2023)
Carsten Lutz, Quentin Manière, Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). Description Logics (2023)
Carsten Lutz, Marcin Przybylko
Efficient Answer Enumeration in Description Logics with Functional Roles. AAAI (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics (2023)
Cristina Feier, Carsten Lutz, Marcin Przybylko
Answer Counting under Guarded TGDs. Log. Methods Comput. Sci. 19 (3) (2023)
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
Towards Ontology Construction with Language Models. CoRR (2023)
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
Towards Ontology Construction with Language Models. KBC-LM/LM-KBC@ISWC (2023)
Jean Christoph Jung, Carsten Lutz, Jerzy Macinkowski
Conservative Extensions for Existential Rules. CoRR (2022)
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)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR (2022)
Carsten Lutz, Leif Sabellek, Lukas Schulze
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. CoRR (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. CoRR (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. IJCAI (2022)
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
Conservative Extensions for Existential Rules. KR (2022)
Carsten Lutz, Marcin Przybylko
Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version. CoRR (2022)
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Extremal Fitting Problems for Conjunctive Queries. CoRR (2022)
Carsten Lutz, Marcin Przybylko
Efficiently Enumerating Answers to Ontology-Mediated Queries. PODS (2022)
Carsten Lutz, Marcin Przybylko
Efficiently Enumerating Answers to Ontology-Mediated Queries. CoRR (2022)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical separability of labeled data examples under ontologies. Artif. Intell. 313 (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. Description Logics (2022)
Carsten Lutz, Leif Sabellek, Lukas Schulze
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. KR (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. CoRR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. CoRR (2021)
Cristina Feier, Carsten Lutz, Marcin Przybylko
Answer Counting under Guarded TGDs. CoRR (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics (2021)
Carsten Lutz, Marcin Przybylko
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract). Description Logics (2021)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning ELI Queries under DL-Lite Ontologies. Description Logics (2021)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI (2021)
Cristina Feier, Carsten Lutz, Marcin Przybylko
Answer Counting Under Guarded TGDs. ICDT (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. KR (2021)
Angela Bonifati, Giovanna Guerrini, Carsten Lutz, Wim Martens, Lara Mazilu, Norman W. Paton, Marcos Antonio Vaz Salles, Marc H. Scholl, Yongluan Zhou
Holding a Conference Online and Live due to Covid-19: Experiences and Lessons Learned from EDBT / ICDT 2020. SIGMOD Rec. 49 (4) (2020)
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)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. KR (2020)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. CoRR (2020)
Pierre Bourhis, Carsten Lutz
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68 (2020)
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
When is Ontology-Mediated Querying Efficient? CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. 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)
Cristina Feier, Carsten Lutz, Marcin Przybylko
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract). Description Logics (2020)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21 (3) (2020)
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR (2020)
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. PODS (2020)
Jean Christoph Jung, Carsten Lutz, Frank Wolter
Least General Generalizations in Description Logic: Verification and Existence. AAAI (2020)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR (2020)
Angela Bonifati, Giovanna Guerrini, Carsten Lutz, Wim Martens, Lara Mazilu, Norman W. Paton, Marcos Antonio Vaz Salles, Marc H. Scholl, Yongluan Zhou
Holding a Conference Online and Live due to COVID-19. CoRR (2020)
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics (2020)
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
When is Ontology-Mediated Querying Efficient? LICS (2019)
Carsten Lutz, Leif Sabellek
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL. CoRR (2019)
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
PTime Combined Complexity and FPT in Ontology-Mediated Querying. Description Logics (2019)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for ALC Ontologies. CoRR (2019)
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. CoRR (2019)
Anneke Bötcher, Carsten Lutz, Frank Wolter
Ontology Approximation in Horn Description Logics. IJCAI (2019)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query inseparability for ALC ontologies. Artif. Intell. 272 (2019)
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Decidability and Complexity of ALCOIF with Transitive Closure (and More). Description Logics (2019)
Carsten Lutz, Inanç Seylan, Frank Wolter
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. 15 (3) (2019)
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That (2019)
Cristina Feier, Antti Kuusisto, Carsten Lutz
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Log. Methods Comput. Sci. 15 (2) (2019)
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. AMW (2018)
Antti Kuusisto, Carsten Lutz
Weighted model counting beyond two-variable logic. LICS (2018)
Anneke Bötcher, Carsten Lutz, Frank Wolter
Complete Approximations of Horn DL Ontologies. Description Logics (2018)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI (2018)
Antti Kuusisto, Carsten Lutz
Weighted model counting beyond two-variable logic. CoRR (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI (2018)
Carsten Lutz, Inanç Seylan, Frank Wolter
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR (2018)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR (2018)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics (2018)
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI (2018)
Peter Hansen, Carsten Lutz
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. CoRR (2018)
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Expressibility and Verification in Ontology-Based Data Access. KR (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT (2018)
Carsten Lutz, Frank Wolter
The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. 13 (4) (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR (2017)
Peter Hansen, Carsten Lutz
in Practice: From Atomic to Conjunctive Queries. ISWC (1) (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. 58 (2017)
Carsten Lutz, Leif Sabellek
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. Description Logics (2017)

Carsten Lutz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carsten Lutz