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
2020 – today
- 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)- [c183]Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz:
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS 2024: 14:1-14:14 - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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
- [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 - [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
- [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) - [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 - [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] - [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)
2010 – 2019
- 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) - [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 - [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] - [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
- [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 - [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
- [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 - [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) - [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 - [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
- [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) - [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 - [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) - 2015
- [c119]