Defined Topological Relations in Description Logics. - Carsten Lutz; Ralf Möller 001 (Description Logics, 1997)

Foundations of Spatioterminological Reasoning with Description Logics. - Volker Haarslev; Carsten Lutz; Ralf Möller 001 (KR, 1998)

A Suggestion for an n-ary Description Logic. - Carsten Lutz; Ulrike Sattler; Stephan Tobies (Description Logics, 1999)

Reasoning with Concrete Domains. - Carsten Lutz (IJCAI, 1999)

Complexity of Terminological Reasoning Revisited. - Carsten Lutz (LPAR, 1999)

A Description Logic with Concrete Domains and a Role-forming Predicate Operator. - Volker Haarslev; Carsten Lutz; Ralf Möller 001 (J. Log. Comput., 1999)

The Complexity of Reasoning with Boolean Modal Logics. - Carsten Lutz; Ulrike Sattler (Advances in Modal Logic, 2000)

Fusions of Description Logics. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (Description Logics, 2000)

Mary Likes all Cats. - Carsten Lutz; Ulrike Sattler (Description Logics, 2000)

NEXPTIME-Complete Description Logics with Concrete Domains. - Carsten Lutz (IJCAR, 2001)

Tableaux for Temporal Description Logic with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (IJCAR, 2001)

Modal Logic and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (CSL, 2001)

Description Logics and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (Description Logics, 2001)

Interval-based Temporal Reasoning with General TBoxes. - Carsten Lutz (IJCAI, 2001)

Description Logics with Concrete Domains-A Survey. - Carsten Lutz (Advances in Modal Logic, 2002)

Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. - Carsten Lutz (Description Logics, 2002)

A proposal for describing services with DLs. - Carsten Lutz; Ulrike Sattler (Description Logics, 2002)

Adding Numbers to the SHIQ Description Logic: First Results. - Carsten Lutz (KR, 2002)

PSpace Reasoning with the Description Logic ALCF(D). - Carsten Lutz (Log. J. IGPL, 2002)

Fusions of Description Logics and Abstract Description Systems. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (J. Artif. Intell. Res., 2002)

A Tableau Decision Algorithm for Modalized ALC with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2002)

The complexity of description logics with concrete domains. - Carsten Lutz (2002)

E-connections of Description Logics. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

Finite Model Reasoning in ALCQI is EXPTIME Logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Description Logics, 2003)

Resasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

A Tableau Algorithm for Reasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TABLEAUX, 2003)

From Tableaux to Automata for Description Logics. - Franz Baader; Jan Hladik; Carsten Lutz; Frank Wolter (Fundam. Informaticae, 2003)

Mona as a DL Reasoner. - Eldar Karabaev; Carsten Lutz (Description Logics, 2004)

Description Logics with Concrete Domains and Functional Dependencies. - Carsten Lutz; Maja Milicic (ECAI, 2004)

E-connections of abstract description systems. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2004)

Combining interval-based temporal reasoning with general TBoxes. - Carsten Lutz (Artif. Intell., 2004)

A Correspondence between Temporal Description Logics. - Alessandro Artale; Carsten Lutz (J. Appl. Non Class. Logics, 2004)

Temporalising Tableaux. - Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2004)

NEXP TIME-complete description logics with concrete domains. - Carsten Lutz (ACM Trans. Comput. Log., 2004)

Integrating Description Logics and Action Formalisms: First Results. - Franz Baader; Carsten Lutz; Maja Milicic; Ulrike Sattler; Frank Wolter (AAAI, 2005)

PDL with Intersection and Converse Is Decidable. - Carsten Lutz (CSL, 2005)

A Tableau Algorithm for DLs with Concrete Domains and GCIs. - Carsten Lutz; Maja Milicic (Description Logics, 2005)

Pushing the EL Envelope. - Franz Baader; Sebastian Brandt 001; Carsten Lutz (IJCAI, 2005)

A New n-Ary Existential Quantifier in Description Logics. - Franz Baader; Eldar Karabaev; Carsten Lutz; Manfred Theißen (KI, 2005)

A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. - Carsten Lutz; Maja Milicic (TABLEAUX, 2005)

Quantitative Temporal Logics: PSPACE and Below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (TIME, 2005)

The complexity of finite model reasoning in description logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Inf. Comput., 2005)

Keys, Nominals, and Concrete Domains. - Carsten Lutz; Carlos Areces; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2005)

PDL with Negation of Atomic Programs. - Carsten Lutz; Dirk Walther 002 (J. Appl. Non Class. Logics, 2005)

2-ExpTime lower bounds for propositional dynamic logics with intersection. - Martin Lange; Carsten Lutz (J. Symb. Log., 2005)

Conservative extensions in modal logic. - Silvio Ghilardi; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Complexity and succinctness of public announcement logic. - Carsten Lutz (AAMAS, 2006)

CEL - A Polynomial-Time Reasoner for Life Science Ontologies. - Franz Baader; Carsten Lutz; Boontawee Suntisrivaraporn (IJCAR, 2006)

Efficient Reasoning in EL+. - Franz Baader; Carsten Lutz; Boontawee Suntisrivaraporn (Description Logics, 2006)

DL Actions with GCIs: a Pragmatic Approach. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (Description Logics, 2006)

The Complexity of Enriched µ-Calculi. - Piero A. Bonatti; Carsten Lutz; Aniello Murano; Moshe Y. Vardi (ICALP (2), 2006)

Reasoning About Actions Using Description Logics with General TBoxes. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (JELIA, 2006)

Description Logics with Circumscription. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (KR, 2006)

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. - Silvio Ghilardi; Carsten Lutz; Frank Wolter (KR, 2006)

Updating Description Logic ABoxes. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (KR, 2006)

Reasoning Support for Ontology Design. - Carsten Lutz; Franz Baader; Enrico Franconi; Domenico Lembo; Ralf Möller 001; Riccardo Rosati 001; Ulrike Sattler; Boontawee Suntisrivaraporn; Sergio Tessaris (OWLED, 2006)

Modal Logics of Topological Relations. - Carsten Lutz; Frank Wolter (Log. Methods Comput. Sci., 2006)

ATL Satisfiability is Indeed EXPTIME-complete. - Dirk Walther 002; Carsten Lutz; Frank Wolter; Michael J. Wooldridge (J. Log. Comput., 2006)

Description logic. - Franz Baader; Carsten Lutz (Handbook of Modal Logic, 2007)

Conservative Extensions in the Lightweight Description Logic EL. - Carsten Lutz; Frank Wolter (CADE, 2007)

PDL with Intersection and Converse is 2EXP-complete. - Stefan Göller; Markus Lohrey; Carsten Lutz (Algorithmic-Logical Theory of Infinite Structures, 2007)

Data Complexity in the EL family of DLs. - Adila Krisnadhi; Carsten Lutz (Description Logics, 2007)

Inverse Roles Make Conjunctive Queries Hard. - Carsten Lutz (Description Logics, 2007)

PDL with Intersection and Converse Is 2 EXP-Complete. - Stefan Göller; Markus Lohrey; Carsten Lutz (FoSSaCS, 2007)

A Description Logic of Change. - Alessandro Artale; Carsten Lutz; David Toman 001 (IJCAI, 2007)

Conservative Extensions in Expressive Description Logics. - Carsten Lutz; Dirk Walther 002; Frank Wolter (IJCAI, 2007)

Data Complexity in the EL Family of Description Logics. - Adila Krisnadhi; Carsten Lutz (LPAR, 2007)

Temporalising Tractable Description Logics. - Alessandro Artale; Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2007)

Quantitative temporal logics over the reals: PSpace and below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (Inf. Comput., 2007)

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. - Carsten Lutz; Maja Milicic (J. Autom. Reason., 2007)

Propositional dynamic logic with recursive programs. - Christof Löding; Carsten Lutz; Olivier Serre (J. Log. Algebraic Methods Program., 2007)

The Complexity of Conjunctive Query Answering in Expressive Description Logics. - Carsten Lutz (IJCAR, 2008)

Logical Difference and Module Extraction with CEX and MEX. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Description Logics, 2008)

The Projection Problem for EL Actions. - Hongkai Liu; Carsten Lutz; Maja Milicic (Description Logics, 2008)

Two Upper Bounds for Conjunctive Query Answering in SHIQ. - Carsten Lutz (Description Logics, 2008)

Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. - Christoph Haase; Carsten Lutz (ECAI, 2008)

Semantic Modularity and Module Extraction in Description Logics. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (ECAI, 2008)

Pushing the EL Envelope Further. - Franz Baader; Carsten Lutz; Sebastian Brandt 001 (OWLED (Spring), 2008)

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (OWLED (Spring), 2008)

Conjunctive Query Answering in EL using a Database System. - Carsten Lutz; David Toman 001; Frank Wolter (OWLED, 2008)

Temporal Description Logics: A Survey. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2008)

Conjunctive Query Answering for the Description Logic SHIQ. - Birte Glimm; Carsten Lutz; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2008)

The Complexity of Enriched Mu-Calculi. - Piero A. Bonatti; Carsten Lutz; Aniello Murano; Moshe Y. Vardi (Log. Methods Comput. Sci., 2008)

Query Answering over DL ABoxes: How to Pick the Relevant Symbols. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (Description Logics, 2009)

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (Description Logics, 2009)

Query Answering in Description Logics with Transitive Roles. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2009)

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. - Carsten Lutz; David Toman 001; Frank Wolter (IJCAI, 2009)

Query Answering in Description Logics: The Knots Approach. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (WoLLIC, 2009)

Mathematical Logic for Life Science Ontologies. - Carsten Lutz; Frank Wolter (WoLLIC, 2009)

The complexity of query containment in expressive fragments of XPath 2.0. - Balder ten Cate; Carsten Lutz (J. ACM, 2009)

The Complexity of Circumscription in DLs. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2009)

PDL with intersection and converse: satisfiability and infinite-state model checking. - Stefan Göller; Markus Lohrey; Carsten Lutz (J. Symb. Log., 2009)

Formal Properties of Modularisation. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Modular Ontologies, 2009)

Query Answering in the Description Logic S. - Meghyn Bienvenu; Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2010)

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. - Carsten Lutz; Robert Piro; Frank Wolter (Description Logics, 2010)

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. - Carsten Lutz; Robert Piro; Frank Wolter (ECAI, 2010)

Query and Predicate Emptiness in Description Logics. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (KR, 2010)

Decomposing Description Logic Ontologies. - Boris Konev; Carsten Lutz; Denis K. Ponomaryov; Frank Wolter (KR, 2010)

The Combined Approach to Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (KR, 2010)

Probabilistic Description Logics for Subjective Uncertainty. - Carsten Lutz; Lutz Schröder (KR, 2010)

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. - Leonardo Mendonça de Moura; Carsten Lutz; Monica M. C. Schraefel; Bernhard Nebel (KR, 2010)

Deciding inseparability and conservative extensions in the description logic EL. - Carsten Lutz; Frank Wolter (J. Symb. Comput., 2010)

Small is Again Beautiful in Description Logics. - Franz Baader; Carsten Lutz; Anni-Yasmin Turhan (Künstliche Intell., 2010)

A Closer Look at the Probabilistic Description Logic Prob-EL. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz; Lutz Schröder (AAAI, 2011)

Status QIO: An Update. - Birte Glimm; Yevgeny Kazakov; Carsten Lutz (Description Logics, 2011)

The Complexity of Probabilistic EL. - Jean Christoph Jung; Víctor Gutiérrez-Basulto; Carsten Lutz; Lutz Schröder (Description Logics, 2011)

The Combined Approach to Ontology-Based Data Access. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (IJCAI, 2011)

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. - Carsten Lutz; Robert Piro; Frank Wolter (IJCAI, 2011)

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. - Carsten Lutz; Frank Wolter (IJCAI, 2011)

Foundations of instance level updates in expressive description logics. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (Artif. Intell., 2011)

Deciding FO-Rewritability in EL. - Meghyn Bienvenu; Carsten Lutz; Frank Wolter (Description Logics, 2012)

Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. - Carsten Lutz; Inanç Seylan; Frank Wolter (Description Logics, 2012)

Complexity of Branching Temporal Description Logics. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz (ECAI, 2012)

Query Containment in Description Logics Reconsidered. - Meghyn Bienvenu; Carsten Lutz; Frank Wolter (KR, 2012)

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. - Carsten Lutz; Inanç Seylan; Frank Wolter (KR, 2012)

Non-Uniform Data Complexity of Query Answering in Description Logics. - Carsten Lutz; Frank Wolter (KR, 2012)

Ontology-Based Access to Probabilistic Data with OWL QL. - Jean Christoph Jung; Carsten Lutz (ISWC (1), 2012)

The Combined Approach to OBDA: Taming Role Hierarchies using Filters. - Carsten Lutz; Inanç Seylan; David Toman 001; Frank Wolter (SSWS+HPCSW@ISWC, 2012)

LTL over description logic axioms. - Franz Baader; Silvio Ghilardi; Carsten Lutz (ACM Trans. Comput. Log., 2012)

Finite Model Reasoning in Horn-SHIQ. - Yazmín Angélica Ibáñez-García; Carsten Lutz; Thomas Schneider 002 (Description Logics, 2013)

Ontology-Based Access to Probabilistic Data. - Jean Christoph Jung; Carsten Lutz (Description Logics, 2013)

Exact Learning of TBoxes in EL and DL-Lite. - Boris Konev; Carsten Lutz; Frank Wolter (Description Logics, 2013)

First-Order Rewritability of Atomic Queries in Horn Description Logics. - Meghyn Bienvenu; Carsten Lutz; Frank Wolter (IJCAI, 2013)

Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). - Carsten Lutz; Inanç Seylan; Frank Wolter (IJCAI, 2013)

Model-theoretic inseparability and modularity of description logic ontologies. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Artif. Intell., 2013)

Query Rewriting under EL TBoxes: Efficient Algorithms. - Peter Hansen 002; Carsten Lutz; Inanç Seylan; Frank Wolter (Description Logics, 2014)

Monodic Fragments of Probabilistic First-Order Logic. - Jean Christoph Jung; Carsten Lutz; Sergey Goncharov 001; Lutz Schröder (ICALP (2), 2014)

Finite Model Reasoning in Horn Description Logics. - Yazmín Angélica Ibáñez-García; Carsten Lutz; Thomas Schneider 002 (KR, 2014)

Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). - Michael Benedikt; Carsten Lutz; Balder ten Cate (Dagstuhl Reports, 2014)

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. - Meghyn Bienvenu; Balder ten Cate; Carsten Lutz; Frank Wolter (ACM Trans. Database Syst., 2014)

Decidability of Circumscribed Description Logics Revisited. - Piero A. Bonatti; Marco Faella; Carsten Lutz; Luigi Sauro; Frank Wolter (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Conservative Rewritability of Description Logic TBoxes: First Results. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2015)

Query Rewriting Beyond DL-Lite. - Carsten Lutz (Description Logics, 2015)

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. - Carsten Lutz; Frank Wolter (ICDT, 2015)

Efficient Query Rewriting in the Description Logic EL and Beyond. - Peter Hansen 002; Carsten Lutz; Inanç Seylan; Frank Wolter (IJCAI, 2015)

Schema.org as a Description Logic. - André Hernich; Carsten Lutz; Ana Ozaki; Frank Wolter (IJCAI, 2015)

Ontology-Mediated Queries with Closed Predicates. - Carsten Lutz; Inanç Seylan; Frank Wolter (IJCAI, 2015)

When is Query Inseparability for ALC Ontologies Decidable? - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2016)

FO-Rewritability of Expressive Ontology-Mediated Queries. - Cristina Feier; Antti Kuusisto; Carsten Lutz (Description Logics, 2016)

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. - Meghyn Bienvenu; Peter Hansen 002; Carsten Lutz; Frank Wolter (IJCAI, 2016)

Query-Based Entailment and Inseparability for ALC Ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Conservative Rewritability of Description Logic TBoxes. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. - Pierre Bourhis; Carsten Lutz (KR, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk). - Carsten Lutz (STACS, 2016)

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2016)

Query and Predicate Emptiness in Ontology-Based Data Access. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2016)

An Introduction to Description Logic. - Franz Baader; Ian Horrocks 001; Carsten Lutz; Ulrike Sattler (Cambridge University Press, 2017)

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. - Peter Hansen 002; Carsten Lutz (Description Logics, 2017)

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (Description Logics, 2017)

Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. - Carsten Lutz; Leif Sabellek (Description Logics, 2017)

Conservative Extensions in Guarded and Two-Variable Fragments. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002; Frank Wolter (ICALP, 2017)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). - Cristina Feier; Antti Kuusisto; Carsten Lutz (ICDT, 2017)

Query Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (IJCAI, 2017)

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. - Carsten Lutz; Leif Sabellek (IJCAI, 2017)

Computing FO-Rewritings in EL in Practice: From Atomic to Conjunctive Queries. - Peter Hansen 002; Carsten Lutz (ISWC (1), 2017)

Probabilistic Description Logics for Subjective Uncertainty. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz; Lutz Schröder (J. Artif. Intell. Res., 2017)

Exact Learning of Lightweight Description Logic Ontologies. - Boris Konev; Carsten Lutz; Ana Ozaki; Frank Wolter (J. Mach. Learn. Res., 2017)

The Data Complexity of Description Logic Ontologies. - Carsten Lutz; Frank Wolter (Log. Methods Comput. Sci., 2017)

Complete Approximations of Horn DL Ontologies. - Anneke Bötcher; Carsten Lutz; Frank Wolter (Description Logics, 2018)

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. - Cristina Feier; Carsten Lutz; Frank Wolter (Description Logics, 2018)

Querying the Unary Negation Fragment with Regular Path Expressions. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (ICDT, 2018)

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. - Pablo Barceló; Gerald Berger; Carsten Lutz; Andreas Pieris (IJCAI, 2018)

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. - Cristina Feier; Carsten Lutz; Frank Wolter (IJCAI, 2018)

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (IJCAI, 2018)

Query Expressibility and Verification in Ontology-Based Data Access. - Carsten Lutz; Johannes Marti; Leif Sabellek (KR, 2018)

Weighted model counting beyond two-variable logic. - Antti Kuusisto; Carsten Lutz (LICS, 2018)

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. - Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter (Description Logic, Theory Combination, and All That, 2019)

PTime Combined Complexity and FPT in Ontology-Mediated Querying. - Pablo Barceló; Cristina Feier; Carsten Lutz; Andreas Pieris (Description Logics, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2019)

Decidability and Complexity of ALCOIF with Transitive Closure (and More). - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (Description Logics, 2019)

Ontology Approximation in Horn Description Logics. - Anneke Bötcher; Carsten Lutz; Frank Wolter (IJCAI, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (IJCAI, 2019)

When is Ontology-Mediated Querying Efficient? - Pablo Barceló; Cristina Feier; Carsten Lutz; Andreas Pieris (LICS, 2019)

Query inseparability for ALC ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2019)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. - Cristina Feier; Antti Kuusisto; Carsten Lutz (Log. Methods Comput. Sci., 2019)

The Data Complexity of Ontology-Mediated Queries with Closed Predicates. - Carsten Lutz; Inanç Seylan; Frank Wolter (Log. Methods Comput. Sci., 2019)

Least General Generalizations in Description Logic: Verification and Existence. - Jean Christoph Jung; Carsten Lutz; Frank Wolter (AAAI, 2020)

The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract). - Cristina Feier; Carsten Lutz; Marcin Przybylko (Description Logics, 2020)

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (Description Logics, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2020)

Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract). - Carsten Lutz; Leif Sabellek (Description Logics, 2020)

A Journey into Ontology Approximation: From Non-Horn to Horn. - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (IJCAI, 2020)

Logical Separability of Incomplete Data under Ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2020)

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (KR, 2020)

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. - Pablo Barceló; Victor Dalmau; Cristina Feier; Carsten Lutz; Andreas Pieris (PODS, 2020)

Holding a Conference Online and Live due to COVID-19. - Angela Bonifati; Giovanna Guerrini; Carsten Lutz; Wim Martens; Lara Mazilu; Norman W. Paton; Marcos Antonio Vaz Salles; Marc H. Scholl; Yongluan Zhou (CoRR, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (CoRR, 2020)

Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (J. Artif. Intell. Res., 2020)

Holding a Conference Online and Live due to Covid-19: Experiences and Lessons Learned from EDBT / ICDT 2020. - Angela Bonifati; Giovanna Guerrini; Carsten Lutz; Wim Martens; Lara Mazilu; Norman W. Paton; Marcos Antonio Vaz Salles; Marc H. Scholl; Yongluan Zhou (SIGMOD Rec., 2020)

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (ACM Trans. Comput. Log., 2020)

Actively Learning ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2021)

How to Approximate Ontology-Mediated Queries (Extended Abstract. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (Description Logics, 2021)

Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract). - Carsten Lutz; Marcin Przybylko (Description Logics, 2021)

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2021)

How to Approximate Ontology-Mediated Queries. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (KR, 2021)

Separating Data Examples by Description Logic Concepts with Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2021)

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2022)

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2022)

Conservative Extensions for Existential Rules. - Jean Christoph Jung; Carsten Lutz; Jerzy Marcinkowski (KR, 2022)

Ontology-Mediated Querying on Databases of Bounded Cliquewidth. - Carsten Lutz; Leif Sabellek; Lukas Schulze (KR, 2022)

Efficiently Enumerating Answers to Ontology-Mediated Queries. - Carsten Lutz; Marcin Przybylko (PODS, 2022)

Logical separability of labeled data examples under ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Artif. Intell., 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)

On the non-efficient PAC learnability of acyclic conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2022)

Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version. - Carsten Lutz; Marcin Przybylko (CoRR, 2022)

Efficient Answer Enumeration in Description Logics with Functional Roles. - Carsten Lutz; Marcin Przybylko (AAAI, 2023)

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2023)

Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). - Carsten Lutz; Quentin Manière; Robin Nolte (Description Logics, 2023)

SAT-Based PAC Learning of Description Logic Concepts. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2023)

Towards Ontology Construction with Language Models. - Maurice Funk; Simon Hosemann; Jean Christoph Jung; Carsten Lutz (KBC-LM/LM-KBC@ISWC, 2023)

Querying Circumscribed Description Logic Knowledge Bases. - Carsten Lutz; Quentin Manière; Robin Nolte (KR, 2023)

Description Logics with Abstraction and Refinement. - Carsten Lutz; Lukas Schulze (KR, 2023)

Extremal Fitting Problems for Conjunctive Queries. - Balder ten Cate; Victor Dalmau; Maurice Funk; Carsten Lutz (PODS, 2023)

Extremal Fitting CQs do not Generalize. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2023)

Answer Counting under Guarded TGDs. - Cristina Feier; Carsten Lutz; Marcin Przybylko (Log. Methods Comput. Sci., 2023)

Fitting Algorithms for Conjunctive Queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (SIGMOD Rec., 2023)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. - Carsten Lutz; Quentin Manière (KR, 2024)

Description Logics with Abstraction and Refinement: From ALC to EL. - Carsten Lutz; Lukas Schulze (KR, 2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. - Manuel Bodirsky; Zaneta Semanisinová; Carsten Lutz (LICS, 2024)

Logical characterizations of recurrent graph neural networks with reals and floats. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto; Carsten Lutz (NeurIPS, 2024)

On the non-efficient PAC learnability of conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Inf. Process. Lett., 2024)

Query Repairs. - Balder ten Cate; Phokion G. Kolaitis; Carsten Lutz (ICDT, 2025)

Logical Characterizations of GNNs with Mean Aggregation. - Moritz Schönherr; Carsten Lutz (CoRR, 2025)

Expressive Power of Graph Transformers via Logic. - Veeti Ahvonen; Maurice Funk; Damian Heiman; Antti Kuusisto; Carsten Lutz (CoRR, 2025)

Fitting Description Logic Ontologies to ABox and Query Examples. - Maurice Funk; Marvin Grosser; Carsten Lutz (CoRR, 2025)

Fitting Ontologies and Constraints to Relational Structures. - Simon Hosemann; Jean Christoph Jung; Carsten Lutz; Sebastian Rudolph (CoRR, 2025)