Carsten Lutz - RankMe

310 papers A* 78A 20B 13C 6Misc 2Journal 103Unranked 79

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Expressive Power of Graph Transformers via Logic. AAAI Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2026	J	`jnl`	Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints. CoRR Nofar Carmeli, Carsten Lutz, Marcin Przybylko
2026	A*	`conf`	Logical Characterizations of GNNs with Mean Aggregation. AAAI Moritz Schönherr, Carsten Lutz
2025	J	`jnl`	Expressive Power of Graph Transformers via Logic. CoRR Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025	—	`conf`	Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract). DL Maurice Funk, Marvin Grosser, Carsten Lutz
2025	A*	`conf`	Fitting Description Logic Ontologies to ABox and Query Examples. KR Maurice Funk, Marvin Grosser, Carsten Lutz
2025	J	`jnl`	Fitting Description Logic Ontologies to ABox and Query Examples. CoRR Maurice Funk, Marvin Grosser, Carsten Lutz
2025	—	`conf`	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract). DL Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	A*	`conf`	Fitting Ontologies and Constraints to Relational Structures. KR Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	J	`jnl`	Fitting Ontologies and Constraints to Relational Structures. CoRR Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	J	`jnl`	Logical Characterizations of GNNs with Mean Aggregation. CoRR Moritz Schönherr, Carsten Lutz
2025	A	`conf`	Query Repairs. ICDT Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2025	J	`jnl`	Query Repairs. CoRR Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2024	A*	`conf`	Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. KR Carsten Lutz, Quentin Manière
2024	J	`jnl`	Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. CoRR Carsten Lutz, Quentin Manière
2024	A*	`conf`	Description Logics with Abstraction and Refinement: From ALC to EL. KR Carsten Lutz, Lukas Schulze
2024	J	`jnl`	Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2024	A*	`conf`	Logical characterizations of recurrent graph neural networks with reals and floats. NeurIPS Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2024	J	`jnl`	On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2024	A*	`conf`	The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
2023	J	`jnl`	Answer Counting under Guarded TGDs. Log. Methods Comput. Sci. Cristina Feier, Carsten Lutz, Marcin Przybylko
2023	A*	`conf`	Description Logics with Abstraction and Refinement. KR Carsten Lutz, Lukas Schulze
2023	J	`jnl`	Description Logics with Abstraction and Refinement. CoRR Carsten Lutz, Lukas Schulze
2023	A*	`conf`	Efficient Answer Enumeration in Description Logics with Functional Roles. AAAI Carsten Lutz, Marcin Przybylko
2023	J	`jnl`	Extremal Fitting CQs do not Generalize. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	A*	`conf`	Extremal Fitting Problems for Conjunctive Queries. PODS Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2023	J	`jnl`	Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	—	`ed.`	Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Description Logics Oliver Kutz, Carsten Lutz, Ana Ozaki
2023	—	`conf`	Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). Description Logics Carsten Lutz, Quentin Manière, Robin Nolte
2023	A*	`conf`	Querying Circumscribed Description Logic Knowledge Bases. KR Carsten Lutz, Quentin Manière, Robin Nolte
2023	J	`jnl`	Querying Circumscribed Description Logic Knowledge Bases. CoRR Carsten Lutz, Quentin Manière, Robin Nolte
2023	A*	`conf`	SAT-Based PAC Learning of Description Logic Concepts. IJCAI Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	SAT-Based PAC Learning of Description Logic Concepts. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	—	`conf`	SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. CoRR Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
2023	—	`conf`	Towards Ontology Construction with Language Models. KBC-LM/LM-KBC@ISWC Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	Towards Ontology Construction with Language Models. CoRR Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
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`	Conservative Extensions for Existential Rules. KR Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022	J	`jnl`	Conservative Extensions for Existential Rules. CoRR Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022	J	`jnl`	Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version. CoRR Carsten Lutz, Marcin Przybylko
2022	A*	`conf`	Efficiently Enumerating Answers to Ontology-Mediated Queries. PODS Carsten Lutz, Marcin Przybylko
2022	J	`jnl`	Efficiently Enumerating Answers to Ontology-Mediated Queries. CoRR Carsten Lutz, Marcin Przybylko
2022	—	`conf`	Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. Description Logics Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022	J	`jnl`	Extremal Fitting Problems for Conjunctive Queries. CoRR Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2022	A*	`conf`	Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. IJCAI Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022	J	`jnl`	Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. CoRR Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022	J	`jnl`	Logical separability of labeled data examples under ontologies. Artif. Intell. Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2022	J	`jnl`	On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
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	A*	`conf`	Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021	J	`jnl`	Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. CoRR Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021	—	`conf`	Actively Learning ELI Queries under DL-Lite Ontologies. Description Logics Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021	A	`conf`	Answer Counting Under Guarded TGDs. ICDT Cristina Feier, Carsten Lutz, Marcin Przybylko
2021	J	`jnl`	Answer Counting under Guarded TGDs. CoRR Cristina Feier, Carsten Lutz, Marcin Przybylko
2021	—	`conf`	Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract). Description Logics Carsten Lutz, Marcin Przybylko
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
2021	A*	`conf`	Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2021	J	`jnl`	Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	A	`ed.`	23rd International Conference on Database Theory, ICDT 2020, Copenhagen, Denmark, March 30 - April 2, 2020 ICDT Carsten Lutz, Jean Christoph Jung
2020	—	`conf`	A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020	A*	`conf`	A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020	J	`jnl`	A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR Anneke Haga, Carsten Lutz, Johannes Marti, 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`	Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2020	J	`jnl`	Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2020	J	`jnl`	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR Pierre Bourhis, Carsten Lutz
2020	J	`jnl`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2020	J	`jnl`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2020	J	`jnl`	First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. CoRR Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2020	J	`jnl`	From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR Cristina Feier, Carsten Lutz, Frank Wolter
2020	J	`jnl`	Holding a Conference Online and Live due to COVID-19. CoRR Angela Bonifati, Giovanna Guerrini, Carsten Lutz, Wim Martens, Lara Mazilu, Norman W. Paton, Marcos Antonio Vaz Salles, Marc H. Scholl, Yongluan Zhou
2020	J	`jnl`	Holding a Conference Online and Live due to Covid-19: Experiences and Lessons Learned from EDBT / ICDT 2020. SIGMOD Rec. Angela Bonifati, Giovanna Guerrini, Carsten Lutz, Wim Martens, Lara Mazilu, Norman W. Paton, Marcos Antonio Vaz Salles, Marc H. Scholl, Yongluan Zhou
2020	A*	`conf`	Least General Generalizations in Description Logic: Verification and Existence. AAAI Jean Christoph Jung, Carsten Lutz, Frank Wolter
2020	A*	`conf`	Logical Separability of Incomplete Data under Ontologies. KR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	J	`jnl`	Logical Separability of Incomplete Data under Ontologies. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	A*	`conf`	On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2020	J	`jnl`	Query Expressibility and Verification in Ontology-Based Data Access. CoRR Carsten Lutz, Johannes Marti, Leif Sabellek
2020	—	`conf`	Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	J	`jnl`	Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020	—	`conf`	The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract). Description Logics Cristina Feier, Carsten Lutz, Marcin Przybylko
2020	A*	`conf`	The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. PODS Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2020	J	`jnl`	When is Ontology-Mediated Querying Efficient? CoRR Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
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`	A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	—	`conf`	Decidability and Complexity of ALCOIF with Transitive Closure (and More). Description Logics Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2019	—	`ed.`	Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	—	`conf`	Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019	A*	`conf`	Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019	A*	`conf`	Ontology Approximation in Horn Description Logics. IJCAI Anneke Bötcher, Carsten Lutz, Frank Wolter
2019	—	`conf`	PTime Combined Complexity and FPT in Ontology-Mediated Querying. Description Logics Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019	J	`jnl`	Query Inseparability for ALC Ontologies. CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Query inseparability for ALC ontologies. Artif. Intell. Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Log. Methods Comput. Sci. Cristina Feier, Antti Kuusisto, Carsten Lutz
2019	J	`jnl`	The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. Carsten Lutz, Inanç Seylan, Frank Wolter
2019	J	`jnl`	The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. CoRR Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2019	A*	`conf`	When is Ontology-Mediated Querying Efficient? LICS Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2018	—	`conf`	Complete Approximations of Horn DL Ontologies. Description Logics Anneke Bötcher, Carsten Lutz, Frank Wolter
2018	J	`jnl`	Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. CoRR Peter Hansen, Carsten Lutz
2018	J	`jnl`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018	—	`conf`	First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. AMW Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018	A*	`conf`	First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018	A*	`conf`	From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI Cristina Feier, Carsten Lutz, Frank Wolter
2018	—	`conf`	From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics Cristina Feier, Carsten Lutz, Frank Wolter
2018	A*	`conf`	Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018	J	`jnl`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018	A*	`conf`	Query Expressibility and Verification in Ontology-Based Data Access. KR Carsten Lutz, Johannes Marti, Leif Sabellek
2018	A	`conf`	Querying the Unary Negation Fragment with Regular Path Expressions. ICDT Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2018	J	`jnl`	The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR Carsten Lutz, Inanç Seylan, Frank Wolter
2018	A*	`conf`	Weighted model counting beyond two-variable logic. LICS Antti Kuusisto, Carsten Lutz
2018	J	`jnl`	Weighted model counting beyond two-variable logic. CoRR Antti Kuusisto, Carsten Lutz
2017	—	`book`	An Introduction to Description Logic. Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2017	—	`conf`	Computing FO-Rewritings in ISWC (1) Peter Hansen, Carsten Lutz
2017	—	`conf`	Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Description Logics Peter Hansen, Carsten Lutz
2017	A*	`conf`	Conservative Extensions in Guarded and Two-Variable Fragments. ICALP Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017	J	`jnl`	Conservative Extensions in Guarded and Two-Variable Fragments. CoRR Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017	A*	`conf`	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. CoRR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	—	`conf`	Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
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
2017	J	`jnl`	Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2017	A*	`conf`	Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2017	A	`conf`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). ICDT Cristina Feier, Antti Kuusisto, Carsten Lutz
2017	J	`jnl`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR Cristina Feier, Antti Kuusisto, Carsten Lutz
2017	J	`jnl`	The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. Carsten Lutz, Frank Wolter
2016	A	`conf`	Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk). STACS Carsten Lutz
2016	A*	`conf`	Conservative Rewritability of Description Logic TBoxes. IJCAI Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. KR Pierre Bourhis, Carsten Lutz
2016	—	`conf`	FO-Rewritability of Expressive Ontology-Mediated Queries. Description Logics Cristina Feier, Antti Kuusisto, Carsten Lutz
2016	—	`conf`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016	A*	`conf`	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016	—	`conf`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2016	J	`jnl`	Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	The Data Complexity of Description Logic Ontologies. CoRR Carsten Lutz, Frank Wolter
2016	—	`conf`	When is Query Inseparability for ALC Ontologies Decidable? Description Logics Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
2015	A*	`conf`	Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter
2015	—	`ed.`	Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings FroCoS Carsten Lutz, Silvio Ranise
2015	A	`conf`	On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. ICDT Carsten Lutz, Frank Wolter
2015	A*	`conf`	Ontology-Mediated Queries with Closed Predicates. IJCAI Carsten Lutz, Inanç Seylan, Frank Wolter
2015	—	`conf`	Query Rewriting Beyond DL-Lite. Description Logics Carsten Lutz
2015	—	`conf`	Schema.org as a Description Logic. Description Logics André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2015	A*	`conf`	Schema.org as a Description Logic. IJCAI André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2014	A*	`conf`	Exact Learning of Lightweight Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2014	A*	`conf`	Finite Model Reasoning in Horn Description Logics. KR Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
2014	Misc	`ed.`	KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings KI Carsten Lutz, Michael Thielscher
2014	—	`conf`	Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
2014	J	`jnl`	Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2014	—	`conf`	Query Rewriting under EL TBoxes: Efficient Algorithms. Description Logics Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter
2014	J	`jnl`	Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Dagstuhl Reports Michael Benedikt, Carsten Lutz, Balder ten Cate
2014	J	`jnl`	The Complexity of Circumscription in DLs. CoRR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2013	—	`conf`	Exact Learning of TBoxes in EL and DL-Lite. Description Logics Boris Konev, Carsten Lutz, Frank Wolter
2013	—	`conf`	Finite Model Reasoning in Horn-SHIQ. Description Logics Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
2013	A*	`conf`	First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2013	J	`jnl`	Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2013	—	`conf`	Ontology-Based Access to Probabilistic Data. Description Logics Jean Christoph Jung, Carsten Lutz
2013	A*	`conf`	Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI Carsten Lutz, Inanç Seylan, Frank Wolter
2013	J	`jnl`	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP CoRR Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	A*	`conf`	Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2012	A*	`conf`	An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR Carsten Lutz, Inanç Seylan, Frank Wolter
2012	A	`conf`	Complexity of Branching Temporal Description Logics. ECAI Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz
2012	—	`conf`	Deciding FO-Rewritability in EL. Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2012	J	`jnl`	LTL over description logic axioms. ACM Trans. Comput. Log. Franz Baader, Silvio Ghilardi, Carsten Lutz
2012	—	`conf`	Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics Carsten Lutz, Inanç Seylan, Frank Wolter
2012	A*	`conf`	Non-Uniform Data Complexity of Query Answering in Description Logics. KR Carsten Lutz, Frank Wolter
2012	—	`conf`	Ontology-Based Access to Probabilistic Data with OWL QL. ISWC (1) Jean Christoph Jung, Carsten Lutz
2012	A*	`conf`	Query Containment in Description Logics Reconsidered. KR Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2012	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2011	A*	`conf`	A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2011	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ CoRR Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2011	A*	`conf`	Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI Carsten Lutz, Robert Piro, Frank Wolter
2011	J	`jnl`	Description Logic TBoxes: Model-theoretic Characterizations and Rewritability CoRR Carsten Lutz, Robert Piro, Frank Wolter
2011	J	`jnl`	Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics CoRR Carsten Lutz, Frank Wolter
2011	A*	`conf`	Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI Carsten Lutz, Frank Wolter
2011	J	`jnl`	Foundations of instance level updates in expressive description logics. Artif. Intell. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2011	J	`jnl`	Fusions of Description Logics and Abstract Description Systems CoRR Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2011	—	`conf`	Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics Carsten Lutz, Frank Wolter
2011	—	`conf`	Status QIO: An Update. Description Logics Birte Glimm, Yevgeny Kazakov, Carsten Lutz
2011	A*	`conf`	The Combined Approach to Ontology-Based Data Access. IJCAI Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2011	—	`conf`	The Complexity of Probabilistic EL. Description Logics Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder
2010	J	`jnl`	Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. Carsten Lutz, Frank Wolter
2010	A*	`conf`	Decomposing Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
2010	—	`conf`	EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics Carsten Lutz, Robert Piro, Frank Wolter
2010	A	`conf`	Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI Carsten Lutz, Robert Piro, Frank Wolter
2010	A*	`conf`	Probabilistic Description Logics for Subjective Uncertainty. KR Carsten Lutz, Lutz Schröder
2010	—	`conf`	Query Answering in the Description Logic S. Description Logics Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2010	A*	`conf`	Query and Predicate Emptiness in Description Logics. KR Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2010	J	`jnl`	Small is Again Beautiful in Description Logics. Künstliche Intell. Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
2010	A*	`conf`	The Combined Approach to Query Answering in DL-Lite. KR Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2010	A*	`conf`	Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel
2009	—	`conf`	Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	A*	`conf`	Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI Carsten Lutz, David Toman, Frank Wolter
2009	—	`ch.`	Formal Properties of Modularisation. Modular Ontologies Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2009	C	`conf`	Mathematical Logic for Life Science Ontologies. WoLLIC Carsten Lutz, Frank Wolter
2009	J	`jnl`	PDL with intersection and converse: satisfiability and infinite-state model checking. J. Symb. Log. Stefan Göller, Markus Lohrey, Carsten Lutz
2009	A*	`conf`	Query Answering in Description Logics with Transitive Roles. IJCAI Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009	C	`conf`	Query Answering in Description Logics: The Knots Approach. WoLLIC Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009	—	`conf`	Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2009	C	`ed.`	TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings TIME Carsten Lutz, Jean-François Raskin
2009	J	`jnl`	The Complexity of Circumscription in DLs. J. Artif. Intell. Res. Piero A. Bonatti, Carsten Lutz, Frank Wolter
2009	J	`jnl`	The complexity of query containment in expressive fragments of XPath 2.0. J. ACM Balder ten Cate, Carsten Lutz
2008	—	`conf`	CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	A	`conf`	Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI Christoph Haase, Carsten Lutz
2008	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Conjunctive Query Answering in EL using a Database System. OWLED Carsten Lutz, David Toman, Frank Wolter
2008	—	`conf`	LTL over Description Logic Axioms. Description Logics Franz Baader, Silvio Ghilardi, Carsten Lutz
2008	A*	`conf`	LTL over Description Logic Axioms. KR Franz Baader, Silvio Ghilardi, Carsten Lutz
2008	—	`conf`	Logical Difference and Module Extraction with CEX and MEX. Description Logics Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	B	`ed.`	Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings JELIA Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
2008	—	`ed.`	Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 Description Logics Franz Baader, Carsten Lutz, Boris Motik
2008	—	`conf`	Pushing the EL Envelope Further. OWLED (Spring) Franz Baader, Carsten Lutz, Sebastian Brandt
2008	A	`conf`	Semantic Modularity and Module Extraction in Description Logics. ECAI Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	C	`conf`	Temporal Description Logics: A Survey. TIME Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2008	A	`conf`	The Complexity of Conjunctive Query Answering in Expressive Description Logics. IJCAR Carsten Lutz
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi CoRR Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2008	—	`conf`	The Projection Problem for EL Actions. Description Logics Hongkai Liu, Carsten Lutz, Maja Milicic
2008	—	`conf`	Two Upper Bounds for Conjunctive Query Answering in SHIQ. Description Logics Carsten Lutz
2007	A*	`conf`	A Description Logic of Change. IJCAI Alessandro Artale, Carsten Lutz, David Toman
2007	J	`jnl`	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reason. Carsten Lutz, Maja Milicic
2007	A*	`conf`	Conjunctive Query Answering for the Description Logic SHIQ. IJCAI Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2007	A*	`conf`	Conservative Extensions in Expressive Description Logics. IJCAI Carsten Lutz, Dirk Walther, Frank Wolter
2007	A	`conf`	Conservative Extensions in the Lightweight Description Logic EL. CADE Carsten Lutz, Frank Wolter
2007	B	`conf`	Data Complexity in the LPAR Adila Krisnadhi, Carsten Lutz
2007	—	`conf`	Data Complexity in the EL family of DLs. Description Logics Adila Krisnadhi, Carsten Lutz
2007	—	`ch.`	Description logic. Handbook of Modal Logic Franz Baader, Carsten Lutz
2007	—	`conf`	Inverse Roles Make Conjunctive Queries Hard. Description Logics Carsten Lutz
2007	B	`conf`	PDL with Intersection and Converse Is 2 EXP-Complete. FoSSaCS Stefan Göller, Markus Lohrey, Carsten Lutz
2007	—	`conf`	PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures Stefan Göller, Markus Lohrey, Carsten Lutz
2007	J	`jnl`	Propositional dynamic logic with recursive programs. J. Log. Algebraic Methods Program. Christof Löding, Carsten Lutz, Olivier Serre
2007	J	`jnl`	Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. Carsten Lutz, Dirk Walther, Frank Wolter
2007	C	`conf`	Temporalising Tractable Description Logics. TIME Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2007	A*	`conf`	The complexity of query containment in expressive fragments of XPath 2.0. PODS Balder ten Cate, Carsten Lutz
2006	—	`conf`	A Description Logic of Change. Description Logics Alessandro Artale, Carsten Lutz, David Toman
2006	J	`jnl`	ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge
2006	A	`conf`	CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
2006	A	`conf`	Complexity and succinctness of public announcement logic. AAMAS Carsten Lutz
2006	B	`conf`	Conservative extensions in modal logic. Advances in Modal Logic Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	—	`conf`	DL Actions with GCIs: a Pragmatic Approach. Description Logics Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	A*	`conf`	Description Logics with Circumscription. KR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2006	A*	`conf`	Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR Silvio Ghilardi, Carsten Lutz, Frank Wolter
2006	—	`conf`	Efficient Reasoning in Description Logics Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
2006	J	`jnl`	Modal Logics of Topological Relations CoRR Carsten Lutz, Frank Wolter
2006	J	`jnl`	Modal Logics of Topological Relations. Log. Methods Comput. Sci. Carsten Lutz, Frank Wolter
2006	B	`conf`	Reasoning About Actions Using Description Logics with General TBoxes. JELIA Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	—	`conf`	Reasoning Support for Ontology Design. OWLED Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
2006	—	`conf`	The Complexity of Enriched ICALP (2) Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2006	A*	`conf`	Updating Description Logic ABoxes. KR Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2005	J	`jnl`	2-ExpTime lower bounds for propositional dynamic logics with intersection. J. Symb. Log. Martin Lange, Carsten Lutz
2005	Misc	`conf`	A New KI Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen
2005	—	`conf`	A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics Carsten Lutz, Maja Milicic
2005	B	`conf`	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX Carsten Lutz, Maja Milicic
2005	—	`conf`	A new Description Logics Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
2005	A*	`conf`	Integrating Description Logics and Action Formalisms: First Results. AAAI Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Integrating Description Logics and Action Formalisms: First Results. Description Logics Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
2005	J	`jnl`	Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2005	B	`conf`	PDL with Intersection and Converse Is Decidable. CSL Carsten Lutz
2005	J	`jnl`	PDL with Negation of Atomic Programs. J. Appl. Non Class. Logics Carsten Lutz, Dirk Walther
2005	A*	`conf`	Pushing the EL Envelope. IJCAI Franz Baader, Sebastian Brandt, Carsten Lutz
2005	C	`conf`	Quantitative Temporal Logics: PSPACE and Below. TIME Carsten Lutz, Dirk Walther, Frank Wolter
2005	J	`jnl`	The complexity of finite model reasoning in description logics. Inf. Comput. Carsten Lutz, Ulrike Sattler, Lidia Tendera
2004	J	`jnl`	A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics Alessandro Artale, Carsten Lutz
2004	J	`jnl`	Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. Carsten Lutz
2004	A	`conf`	Description Logics with Concrete Domains and Functional Dependencies. ECAI Carsten Lutz, Maja Milicic
2004	J	`jnl`	E-connections of abstract description systems. Artif. Intell. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2004	—	`conf`	Mona as a DL Reasoner. Description Logics Eldar Karabaev, Carsten Lutz
2004	J	`jnl`	NEXP TIME-complete description logics with concrete domains. ACM Trans. Comput. Log. Carsten Lutz
2004	A	`conf`	PDL with Negation of Atomic Programs. IJCAR Carsten Lutz, Dirk Walther
2004	J	`jnl`	Temporalising Tableaux. Stud Logica Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	B	`conf`	A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	E-connections of Description Logics. Description Logics Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics Carsten Lutz, Ulrike Sattler, Lidia Tendera
2003	B	`conf`	From Tableaux to Automata for Description Logics. LPAR Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	J	`jnl`	From Tableaux to Automata for Description Logics. Fundam. Informaticae Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	A*	`conf`	Keys, Nominals, and Concrete Domains. IJCAI Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2003	—	`ed.`	Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop
2003	—	`conf`	Resasoning about Concepts and Similarity. Description Logics Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	A	`conf`	The Complexity of Finite Model Reasoning in Description Logics. CADE Carsten Lutz, Ulrike Sattler, Lidia Tendera
2002	J	`jnl`	A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2002	—	`conf`	A proposal for describing services with DLs. Description Logics Carsten Lutz, Ulrike Sattler
2002	A*	`conf`	Adding Numbers to the SHIQ Description Logic: First Results. KR Carsten Lutz
2002	B	`conf`	Description Logics with Concrete Domains-A Survey. Advances in Modal Logic Carsten Lutz
2002	J	`jnl`	Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2002	J	`jnl`	PSpace Reasoning with the Description Logic ALCF(D). Log. J. IGPL Carsten Lutz
2002	—	`conf`	Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Description Logics Carsten Lutz
2002	—	`—`	The complexity of description logics with concrete domains. Carsten Lutz
2001	—	`conf`	Description Logics and the Two-Variable Fragment. Description Logics Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	A*	`conf`	Interval-based Temporal Reasoning with General TBoxes. IJCAI Carsten Lutz
2001	B	`conf`	Modal Logic and the Two-Variable Fragment. CSL Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	A	`conf`	NEXPTIME-Complete Description Logics with Concrete Domains. IJCAR Carsten Lutz
2001	A	`conf`	Tableaux for Temporal Description Logic with Constant Domains. IJCAR Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2000	—	`conf`	Fusions of Description Logics. Description Logics Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2000	—	`conf`	Mary Likes all Cats. Description Logics Carsten Lutz, Ulrike Sattler
2000	B	`conf`	The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic Carsten Lutz, Ulrike Sattler
1999	—	`conf`	A Correspondence between Temporal Description Logics. Description Logics Alessandro Artale, Carsten Lutz
1999	J	`jnl`	A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. Volker Haarslev, Carsten Lutz, Ralf Möller
1999	—	`conf`	A Suggestion for an n-ary Description Logic. Description Logics Carsten Lutz, Ulrike Sattler, Stephan Tobies
1999	B	`conf`	Complexity of Terminological Reasoning Revisited. LPAR Carsten Lutz
1999	A*	`conf`	Reasoning with Concrete Domains. IJCAI Carsten Lutz
1998	A*	`conf`	Foundations of Spatioterminological Reasoning with Description Logics. KR Volker Haarslev, Carsten Lutz, Ralf Möller
1997	—	`conf`	Defined Topological Relations in Description Logics. Description Logics Carsten Lutz, Ralf Möller