default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarsten Lutz
Person information
- affiliation: University of Leipzig, Germany
- affiliation (former): University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2017
[b2]Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
An Introduction to Description Logic. Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255- 2002
- [b1]Carsten Lutz:
The complexity of description logics with concrete domains. RWTH Aachen University, Germany, 2002, pp. 1-216
Journal Articles
- 2024
- [j45]Balder ten Cate
, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183: 106431 (2024) - 2023
- [j44]Cristina Feier, Carsten Lutz, Marcin Przybylko:
Answer Counting under Guarded TGDs. Log. Methods Comput. Sci. 19(3) (2023) - [j43]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. 52(4): 6-18 (2023) - 2022
- [j42]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: 103709 (2022) - [j41]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical separability of labeled data examples under ontologies. Artif. Intell. 313: 103785 (2022) - 2020
- [j40]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68: 365-411 (2020) - [j39]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): 28-32 (2020) - [j38]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21(3): 20:1-20:47 (2020) - 2019
- [j37]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j36]Cristina Feier, Antti Kuusisto, Carsten Lutz:
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Log. Methods Comput. Sci. 15(2) (2019) - [j35]Carsten Lutz, Inanç Seylan, Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. 15(3) (2019) - 2017
- [j34]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. 58: 1-66 (2017) - [j33]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18: 201:1-201:63 (2017) - [j32]Carsten Lutz, Frank Wolter:
The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. 13(4) (2017) - 2016
- [j31]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016) - 2014
- [j30]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4): 33:1-33:44 (2014) - 2013
- [j29]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203: 66-103 (2013) - 2012
- [j28]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over description logic axioms. ACM Trans. Comput. Log. 13(3): 21:1-21:32 (2012) - 2011
- [j27]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18): 2170-2197 (2011) - 2010
- [j26]Carsten Lutz, Frank Wolter:
Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2): 194-228 (2010) - [j25]Franz Baader, Carsten Lutz, Anni-Yasmin Turhan:
Small is Again Beautiful in Description Logics. Künstliche Intell. 24(1): 25-33 (2010) - 2009
- [j24]Balder ten Cate, Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): 31:1-31:48 (2009) - [j23]Piero A. Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in DLs. J. Artif. Intell. Res. 35: 717-773 (2009) - [j22]Stefan Göller, Markus Lohrey, Carsten Lutz:
PDL with intersection and converse: satisfiability and infinite-state model checking. J. Symb. Log. 74(1): 279-314 (2009) - 2008
- [j21]Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31: 157-204 (2008) - [j20]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. 4(3) (2008) - 2007
- [j19]Carsten Lutz, Dirk Walther, Frank Wolter:
Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007) - [j18]Carsten Lutz, Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reason. 38(1-3): 227-259 (2007) - [j17]Christof Löding, Carsten Lutz, Olivier Serre:
Propositional dynamic logic with recursive programs. J. Log. Algebraic Methods Program. 73(1-2): 51-69 (2007) - 2006
- [j16]Carsten Lutz, Frank Wolter:
Modal Logics of Topological Relations. Log. Methods Comput. Sci. 2(2) (2006) - [j15]Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) - 2005
- [j14]Carsten Lutz, Ulrike Sattler, Lidia Tendera:
The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005) - [j13]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. 23: 667-726 (2005) - [j12]Carsten Lutz, Dirk Walther:
PDL with Negation of Atomic Programs. J. Appl. Non Class. Logics 15(2): 189-213 (2005) - [j11]Martin Lange, Carsten Lutz:
2-ExpTime lower bounds for propositional dynamic logics with intersection. J. Symb. Log. 70(4): 1072-1086 (2005) - 2004
- [j10]Carsten Lutz:
Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. 152(2): 235-274 (2004) - [j9]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004) - [j8]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics 14(1-2): 209-233 (2004) - [j7]Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tableaux. Stud Logica 76(1): 91-134 (2004) - [j6]Carsten Lutz:
NEXP TIME-complete description logics with concrete domains. ACM Trans. Comput. Log. 5(4): 669-705 (2004) - 2003
- [j5]Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter:
From Tableaux to Automata for Description Logics. Fundam. Informaticae 57(2-4): 247-279 (2003) - 2002
- [j4]Carsten Lutz:
PSpace Reasoning with the Description Logic ALCF(D). Log. J. IGPL 10(5): 535-568 (2002) - [j3]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. 16: 1-58 (2002) - [j2]Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev:
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica 72(2): 199-232 (2002) - 1999
- [j1]Volker Haarslev, Carsten Lutz, Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. 9(3): 351-384 (1999)
Conference and Workshop Papers
- 2024
- [c183]Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz:
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS 2024: 14:1-14:14 - 2023
- [c182]Carsten Lutz, Marcin Przybylko:
Efficient Answer Enumeration in Description Logics with Functional Roles. AAAI 2023: 6483-6490 - [c181]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics 2023 - [c180]Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). Description Logics 2023 - [c179]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. IJCAI 2023: 3347-3355 - [c178]Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz:
Towards Ontology Construction with Language Models. KBC-LM/LM-KBC@ISWC 2023 - [c177]Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases. KR 2023: 482-491 - [c176]Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement. KR 2023: 492-501 - [c175]Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz:
Extremal Fitting Problems for Conjunctive Queries. PODS 2023: 89-98 - 2022
- [c174]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. Description Logics 2022 - [c173]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. IJCAI 2022: 2627-2633 - [c172]Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski:
Conservative Extensions for Existential Rules. KR 2022 - [c171]Carsten Lutz, Leif Sabellek, Lukas Schulze:
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. KR 2022 - [c170]Carsten Lutz, Marcin Przybylko:
Efficiently Enumerating Answers to Ontology-Mediated Queries. PODS 2022: 277-289 - 2021
- [c169]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning ELI Queries under DL-Lite Ontologies. Description Logics 2021 - [c168]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics 2021 - [c167]Carsten Lutz, Marcin Przybylko:
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract). Description Logics 2021 - [c166]Cristina Feier, Carsten Lutz, Marcin Przybylko:
Answer Counting Under Guarded TGDs. ICDT 2021: 11:1-11:22 - [c165]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI 2021: 1887-1893 - [c164]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. KR 2021: 323-333 - [c163]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021: 390-399 - 2020
- [c162]Jean Christoph Jung, Carsten Lutz, Frank Wolter:
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020: 2854-2861 - [c161]Cristina Feier, Carsten Lutz, Marcin Przybylko:
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract). Description Logics 2020 - [c160]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics 2020 - [c159]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 - [c158]Carsten Lutz, Leif Sabellek:
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract). Description Logics 2020 - [c157]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI 2020: 1827-1833 - [c156]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. KR 2020: 517-528 - [c155]Jean Christoph Jung, Carsten Lutz, Thomas Zeume:
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR 2020: 529-538 - [c154]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: 259-270 - 2019
- [c153]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: 1-14 - [c152]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
PTime Combined Complexity and FPT in Ontology-Mediated Querying. Description Logics 2019 - [c151]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 - [c150]Jean Christoph Jung, Carsten Lutz, Thomas Zeume:
Decidability and Complexity of ALCOIF with Transitive Closure (and More). Description Logics 2019 - [c149]Anneke Bötcher, Carsten Lutz, Frank Wolter:
Ontology Approximation in Horn Description Logics. IJCAI 2019: 1574-1580 - [c148]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: 1682-1688 - [c147]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
When is Ontology-Mediated Querying Efficient? LICS 2019: 1-13 - 2018
- [c146]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. AMW 2018 - [c145]Anneke Bötcher, Carsten Lutz, Frank Wolter:
Complete Approximations of Horn DL Ontologies. Description Logics 2018 - [c144]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics 2018 - [c143]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT 2018: 15:1-15:18 - [c142]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI 2018: 1707-1713 - [c141]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI 2018: 1810-1816 - [c140]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI 2018: 1861-1867 - [c139]Carsten Lutz, Johannes Marti, Leif Sabellek:
Query Expressibility and Verification in Ontology-Based Data Access. KR 2018: 389-398 - [c138]Antti Kuusisto, Carsten Lutz:
Weighted model counting beyond two-variable logic. LICS 2018: 619-628 - 2017
- [c137]Peter Hansen, Carsten Lutz:
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. Description Logics 2017 - [c136]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics 2017 - [c135]Carsten Lutz, Leif Sabellek:
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. Description Logics 2017 - [c134]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP 2017: 108:1-108:14 - [c133]Cristina Feier, Antti Kuusisto, Carsten Lutz:
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). ICDT 2017: 1:1-1:17 - [c132]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017: 1116-1122 - [c131]Carsten Lutz, Leif Sabellek:
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. IJCAI 2017: 1181-1187 - [c130]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS 2017: 185-199 - [c129]Peter Hansen, Carsten Lutz:
Computing FO-Rewritings in EL in Practice: From Atomic to Conjunctive Queries. ISWC (1) 2017: 347-363 - 2016
- [c128]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics 2016 - [c127]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c126]Cristina Feier, Antti Kuusisto, Carsten Lutz:
FO-Rewritability of Expressive Ontology-Mediated Queries. Description Logics 2016 - [c125]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI 2016: 965-971 - [c124]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c123]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c122]Pierre Bourhis, Carsten Lutz:
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. KR 2016: 207-216 - [c121]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [c120]Carsten Lutz:
Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk). STACS 2016: 2:1-2:11 - 2015
- [c119]Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter:
Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 112-124 - [c118]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. Description Logics 2015 - [c117]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c116]Carsten Lutz:
Query Rewriting Beyond DL-Lite. Description Logics 2015 - [c115]Carsten Lutz, Frank Wolter:
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. ICDT 2015: 363-379 - [c114]Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI 2015: 3034-3040 - [c113]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. IJCAI 2015: 3048-3054 - [c112]Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Mediated Queries with Closed Predicates. IJCAI 2015: 3120-3126 - 2014
- [c111]Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Query Rewriting under EL TBoxes: Efficient Algorithms. Description Logics 2014: 197-208 - [c110]Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder:
Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) 2014: 256-267 - [c109]Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider:
Finite Model Reasoning in Horn Description Logics. KR 2014 - [c108]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. KR 2014 - 2013
- [c107]Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider:
Finite Model Reasoning in Horn-SHIQ. Description Logics 2013: 234-245 - [c106]Jean Christoph Jung, Carsten Lutz:
Ontology-Based Access to Probabilistic Data. Description Logics 2013: 258-270 - [c105]Boris Konev, Carsten Lutz, Frank Wolter:
Exact Learning of TBoxes in EL and DL-Lite. Description Logics 2013: 341-352 - [c104]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI 2013: 754-760 - [c103]Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI 2013: 1024-1030 - [c102]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS 2013: 213-224 - [c101]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter:
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) 2013: 314-330 - 2012
- [c100]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Deciding FO-Rewritability in EL. Description Logics 2012 - [c99]Carsten Lutz, Inanç Seylan, Frank Wolter:
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. Description Logics 2012 - [c98]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz:
Complexity of Branching Temporal Description Logics. ECAI 2012: 390-395 - [c97]Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Containment in Description Logics Reconsidered. KR 2012 - [c96]Carsten Lutz, Inanç Seylan, Frank Wolter:
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012 - [c95]Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012 - [c94]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter:
The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC 2012: 16-31 - [c93]Jean Christoph Jung, Carsten Lutz:
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC (1) 2012: 182-197 - 2011
- [c92]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011: 197-202 - [c91]Birte Glimm, Yevgeny Kazakov, Carsten Lutz:
Status QIO: An Update. Description Logics 2011 - [c90]Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder:
The Complexity of Probabilistic EL. Description Logics 2011 - [c89]Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics 2011 - [c88]Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011: 983-988 - [c87]Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011: 989-995 - [c86]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - 2010
- [c85]Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic S. Description Logics 2010 - [c84]Carsten Lutz, Robert Piro, Frank Wolter:
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Description Logics 2010 - [c83]Carsten Lutz, Robert Piro, Frank Wolter:
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010: 41-46 - [c82]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Description Logics. KR 2010 - [c81]Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter:
Decomposing Description Logic Ontologies. KR 2010 - [c80]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010 - [c79]Carsten Lutz, Lutz Schröder:
Probabilistic Description Logics for Subjective Uncertainty. KR 2010 - [c78]Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel:
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 - 2009
- [c77]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009 - [c76]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c75]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764 - [c74]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075 - [c73]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36 - [c72]Carsten Lutz, Frank Wolter:
Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47 - 2008
- [c71]Carsten Lutz:
The Complexity of Conjunctive Query Answering in Expressive Description Logics. IJCAR 2008: 179-193 - [c70]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. Description Logics 2008 - [c69]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008 - [c68]Hongkai Liu, Carsten Lutz, Maja Milicic:
The Projection Problem for EL Actions. Description Logics 2008 - [c67]Carsten Lutz:
Two Upper Bounds for Conjunctive Query Answering in SHIQ. Description Logics 2008 - [c66]Christoph Haase, Carsten Lutz:
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI 2008: 25-29 - [c65]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59 - [c64]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. KR 2008: 684-694 - [c63]Franz Baader, Carsten Lutz, Sebastian Brandt:
Pushing the EL Envelope Further. OWLED (Spring) 2008 - [c62]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) 2008 - [c61]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in EL using a Database System. OWLED 2008 - [c60]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logics: A Survey. TIME 2008: 3-14 - 2007
- [c59]Carsten Lutz, Frank Wolter:
Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99 - [c58]Adila Krisnadhi, Carsten Lutz:
Data Complexity in the EL family of DLs. Description Logics 2007 - [c57]Carsten Lutz:
Inverse Roles Make Conjunctive Queries Hard. Description Logics 2007 - [c56]Stefan Göller, Markus Lohrey, Carsten Lutz:
PDL with Intersection and Converse Is 2 EXP-Complete. FoSSaCS 2007: 198-212 - [c55]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. IJCAI 2007: 218-223 - [c54]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404 - [c53]Carsten Lutz, Dirk Walther, Frank Wolter:
Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458 - [c52]Adila Krisnadhi, Carsten Lutz:
Data Complexity in the EL Family of Description Logics. LPAR 2007: 333-347 - [c51]Balder ten Cate, Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82 - [c50]Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporalising Tractable Description Logics. TIME 2007: 11-22 - 2006
- [c49]Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207 - [c48]Carsten Lutz:
Complexity and succinctness of public announcement logic. AAMAS 2006: 137-143 - [c47]Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291 - [c46]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. Description Logics 2006 - [c45]Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+. Description Logics 2006 - [c44]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006 - [c43]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551 - [c42]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279 - [c41]Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Updating Description Logic ABoxes. KR 2006: 46-56 - [c40]Silvio Ghilardi, Carsten Lutz, Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197 - [c39]Piero A. Bonatti, Carsten Lutz, Frank Wolter:
Description Logics with Circumscription. KR 2006: 400-410 - [c38]Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris:
Reasoning Support for Ontology Design. OWLED 2006 - 2005
- [c37]Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577 - [c36]Carsten Lutz:
PDL with Intersection and Converse Is Decidable. CSL 2005: 413-427 - [c35]Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen:
A new n-ary existential quantifier in description logics. Description Logics 2005 - [c34]Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 - [c33]Carsten Lutz, Maja Milicic:
A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics 2005 - [c32]Franz Baader, Sebastian Brandt, Carsten Lutz:
Pushing the EL Envelope. IJCAI 2005: 364-369 - [c31]Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen:
A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33 - [c30]Carsten Lutz, Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX 2005: 201-216 - [c29]Carsten Lutz, Dirk Walther, Frank Wolter:
Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146 - 2004
- [c28]Carsten Lutz, Dirk Walther:
PDL with Negation of Atomic Programs. IJCAR 2004: 259-273 - [c27]Eldar Karabaev, Carsten Lutz:
Mona as a DL Reasoner. Description Logics 2004 - [c26]Carsten Lutz, Maja Milicic:
Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004: 378-382 - 2003
- [c25]Carsten Lutz, Ulrike Sattler, Lidia Tendera:
The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74 - [c24]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of Description Logics. Description Logics 2003 - [c23]Carsten Lutz, Ulrike Sattler, Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003 - [c22]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Resasoning about Concepts and Similarity. Description Logics 2003 - [c21]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 - [c20]Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter:
From Tableaux to Automata for Description Logics. LPAR 2003: 1-32 - [c19]Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149 - 2002
- [c18]Carsten Lutz:
Description Logics with Concrete Domains-A Survey. Advances in Modal Logic 2002: 265-296 - [c17]Carsten Lutz:
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Description Logics 2002 - [c16]Carsten Lutz, Ulrike Sattler:
A proposal for describing services with DLs. Description Logics 2002 - [c15]Carsten Lutz:
Adding Numbers to the SHIQ Description Logic: First Results. KR 2002: 191-202 - 2001
- [c14]Carsten Lutz:
NEXPTIME-Complete Description Logics with Concrete Domains. IJCAR 2001: 45-60 - [c13]Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev:
Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136 - [c12]Carsten Lutz, Ulrike Sattler, Frank Wolter:
Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261 - [c11]Carsten Lutz, Ulrike Sattler, Frank Wolter:
Description Logics and the Two-Variable Fragment. Description Logics 2001 - [c10]Carsten Lutz:
Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001: 89-96 - 2000
- [c9]Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348 - [c8]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics. Description Logics 2000: 21-30 - [c7]Carsten Lutz, Ulrike Sattler:
Mary Likes all Cats. Description Logics 2000: 213-226 - 1999
- [c6]Alessandro Artale, Carsten Lutz:
A Correspondence between Temporal Description Logics. Description Logics 1999 - [c5]Carsten Lutz, Ulrike Sattler, Stephan Tobies:
A Suggestion for an n-ary Description Logic. Description Logics 1999 - [c4]Carsten Lutz:
Reasoning with Concrete Domains. IJCAI 1999: 90-95 - [c3]Carsten Lutz:
Complexity of Terminological Reasoning Revisited. LPAR 1999: 181-200 - 1998
- [c2]Volker Haarslev, Carsten Lutz, Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123 - 1997
- [c1]Carsten Lutz, Ralf Möller:
Defined Topological Relations in Description Logics. Description Logics 1997
Parts in Books or Collections
- 2009
- [p2]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Formal Properties of Modularisation. Modular Ontologies 2009: 25-66 - 2007
- [p1]Franz Baader, Carsten Lutz:
Description logic. Handbook of Modal Logic 2007: 757-819
Editorship
- 2023
- [e9]Oliver Kutz, Carsten Lutz, Ana Ozaki:
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. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023 [contents] - 2020
- [e8]Carsten Lutz, Jean Christoph Jung:
23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark. LIPIcs 155, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-139-9 [contents] - 2019
- [e7]Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents] - 2015
- [e6]Carsten Lutz, Silvio Ranise:
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9322, Springer 2015, ISBN 978-3-319-24245-3 [contents] - 2014
- [e5]Carsten Lutz, Michael Thielscher:
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings. Lecture Notes in Computer Science 8736, Springer 2014, ISBN 978-3-319-11205-3 [contents] - 2009
- [e4]Carsten Lutz, Jean-François Raskin:
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society 2009, ISBN 978-0-7695-3727-6 [contents] - 2008
- [e3]Franz Baader, Carsten Lutz, Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008 [contents] - [e2]Steffen Hölldobler, Carsten Lutz, Heinrich Wansing:
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Lecture Notes in Computer Science 5293, Springer 2008, ISBN 978-3-540-87802-5 [contents] - 2003
- [e1]François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop:
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003. CEUR Workshop Proceedings 79, CEUR-WS.org 2003 [contents]
Informal and Other Publications
- 2024
- [i53]Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz:
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR abs/2405.14606 (2024) - [i52]Carsten Lutz, Quentin Manière:
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. CoRR abs/2407.20822 (2024) - 2023
- [i51]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. CoRR abs/2305.08511 (2023) - [i50]Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement. CoRR abs/2306.03717 (2023) - [i49]Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases. CoRR abs/2306.04546 (2023) - [i48]Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz:
Towards Ontology Construction with Language Models. CoRR abs/2309.09898 (2023) - [i47]Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz:
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. CoRR abs/2309.15654 (2023) - [i46]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Extremal Fitting CQs do not Generalize. CoRR abs/2312.03407 (2023) - 2022
- [i45]Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski:
Conservative Extensions for Existential Rules. CoRR abs/2202.05689 (2022) - [i44]Carsten Lutz, Marcin Przybylko:
Efficiently Enumerating Answers to Ontology-Mediated Queries. CoRR abs/2203.09288 (2022) - [i43]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. CoRR abs/2204.14172 (2022) - [i42]Carsten Lutz, Leif Sabellek, Lukas Schulze:
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. CoRR abs/2205.02190 (2022) - [i41]Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz:
Extremal Fitting Problems for Conjunctive Queries. CoRR abs/2206.05080 (2022) - [i40]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR abs/2208.10255 (2022) - [i39]Carsten Lutz, Marcin Przybylko:
Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version. CoRR abs/2211.15248 (2022) - 2021
- [i38]Cristina Feier, Carsten Lutz, Marcin Przybylko:
Answer Counting under Guarded TGDs. CoRR abs/2101.03058 (2021) - [i37]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. CoRR abs/2105.08326 (2021) - [i36]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR abs/2107.05285 (2021) - [i35]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. CoRR abs/2107.05369 (2021) - 2020
- [i34]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR abs/2001.07754 (2020) - [i33]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
When is Ontology-Mediated Querying Efficient? CoRR abs/2003.07800 (2020) - [i32]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 abs/2004.07668 (2020) - [i31]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. CoRR abs/2007.01610 (2020) - [i30]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 abs/2007.02669 (2020) - [i29]Pierre Bourhis, Carsten Lutz:
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR abs/2010.11842 (2020) - [i28]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR abs/2010.11848 (2020) - [i27]Carsten Lutz, Johannes Marti, Leif Sabellek:
Query Expressibility and Verification in Ontology-Based Data Access. CoRR abs/2011.09176 (2020) - [i26]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. CoRR abs/2011.09314 (2020) - [i25]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR abs/2011.09836 (2020) - [i24]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR abs/2011.09858 (2020) - 2019
- [i23]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i22]Carsten Lutz, Leif Sabellek:
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL. CoRR abs/1904.12533 (2019) - [i21]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 abs/1912.12442 (2019) - 2018
- [i20]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR abs/1804.06894 (2018) - [i19]Peter Hansen, Carsten Lutz:
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. CoRR abs/1804.06907 (2018) - [i18]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - [i17]Antti Kuusisto, Carsten Lutz:
Weighted model counting beyond two-variable logic. CoRR abs/1804.10185 (2018) - [i16]Carsten Lutz, Inanç Seylan, Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR abs/1809.00134 (2018) - 2017
- [i15]Cristina Feier, Antti Kuusisto, Carsten Lutz:
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR abs/1701.02231 (2017) - [i14]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR abs/1705.10115 (2017) - [i13]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. CoRR abs/1709.07314 (2017) - 2016
- [i12]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - [i11]Carsten Lutz, Frank Wolter:
The Data Complexity of Description Logic Ontologies. CoRR abs/1611.02453 (2016) - 2014
- [i10]Piero A. Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in DLs. CoRR abs/1401.3476 (2014) - [i9]Michael Benedikt, Carsten Lutz, Balder ten Cate:
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Dagstuhl Reports 4(8): 1-20 (2014) - 2013
- [i8]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. CoRR abs/1301.6479 (2013) - 2011
- [i7]Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. CoRR abs/1104.2825 (2011) - [i6]Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. CoRR abs/1104.2844 (2011) - [i5]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011) - [i4]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011) - 2008
- [i3]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008) - 2007
- [i2]Stefan Göller, Markus Lohrey, Carsten Lutz:
PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures 2007 - 2006
- [i1]Carsten Lutz, Frank Wolter:
Modal Logics of Topological Relations. CoRR abs/cs/0605064 (2006)
Coauthor Index
Maja Milicic Brandt
aka: Maja Milicic
aka: Maja Milicic
Ulrike Sattler
aka: Uli Sattler
aka: Uli Sattler
[j41] [j38] [j37] [j35] [j33] [j32] [j31] [j30] [j29] [j27] [j26] [j23] [j19] [j16] [j15] [j9] [j7] [j5] [j3] [j2] [c168] [c164] [c163] [c162] [c160] [c159] [c157] [c156] [c153] [c151] [c149] [c148] [c145] [c144] [c141] [c140] [c136] [c134] [c130] [c128] [c127] [c125] [c124] [c123] [c121] [c119] [c118] [c117] [c115] [c114] [c113] [c112] [c111] [c108] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c97] [c96] [c95] [c94] [c89] [c88] [c87] [c86] [c84] [c83] [c82] [c81] [c80] [c77] [c76] [c74] [c72] [c69] [c65] [c62] [c61] [c60] [c59] [c53] [c50] [c49] [c44] [c42] [c41] [c40] [c39] [c37] [c34] [c29] [c24] [c22] [c20] [c19] [c13] [c12] [c11] [c8] [p2] [e7] [i36] [i35] [i34] [i31] [i30] [i28] [i25] [i23] [i20] [i18] [i16] [i14] [i13] [i12] [i11] [i10] [i8] [i7] [i6] [i5] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 02:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
