Publikationen
2024
Matti Berthold and Quentin Manière. A Gentle Introduction to the Stable Model Semantics for Logic Programs. In Video Track of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024.Bibtex entry Paper (PDF)
Carsten Lutz and Quentin Manière.
Adding Circumscription to Decidable Fragments of First-Order Logic: A
Complexity Rollercoaster.
In Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning (KR 2024), pages 531–541, 2024.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Lukas Schulze.
Description Logics with Abstraction and Refinement: From ALC to EL.
Accepted for the 21th International Conference on Principles of Knowledge
Representation and Reasoning, 2024.
Bibtex
entry Paper
(PDF)
Quentin Manière and Marcin Przybylko.
Spectra of Cardinality Queries over Description Logic Knowledge Bases
(Extended Abstract).
In Proceedings of the 37th International Workshop on Description Logics
(DL), 2024.
Bibtex
entry Paper
(PDF)
2023
Manfred Droste, Gustav Grabolle, and George Rahonis. Weighted Linear Dynamic Logic. International Journal of Foundations of Computer Science, 35(01n02):145–177, 2024.Bibtex entry
Cristina Feier, Carsten Lutz, and Marcin Przybylko.
Answer Counting under Guarded TGDs.
Log. Methods Comput. Sci., 19(3), 2023.
Bibtex
entry Paper
(PDF)
Maurice Funk, Simon Hosemann, Jean Christoph Jung, and Carsten Lutz.
Towards Ontology Construction with Language Models.
In Proceedings of the Workshop on Knowledge Base Construction from
Pre-trained Language Models, 11 2023.
Bibtex
entry Paper
(PDF)
Gustav Grabolle.
A Nivat Theorem for Weighted Alternating Automata over Commutative
Semirings.
Logical Methods in Computer Science, Volume 19, Issue
4:27:1–27:25, December 2023.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Quentin Manière, and Robin Nolte.
Querying Circumscribed Description Logic Knowledge Bases.
In Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, pages 482–491, 8 2023.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Quentin Manière, and Robin Nolte.
Querying Circumscribed Description Logic Knowledge Bases (Extended
Abstract).
In Proceedings of the 36th International Workshop on Description
Logics, 2023.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Marcin Przybylko.
Efficient Answer Enumeration in Description Logics with Functional
Roles.
In AAAI'23, 2023.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Lukas Schulze.
Description Logics with Abstraction and Refinement.
In Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, pages 492–501, 8 2023.
Bibtex
entry Paper
(PDF)
Balder ten Cate, Victor Dalmau, Maurice Funk, and Carsten Lutz.
Extremal Fitting Problems for Conjunctive Queries.
In PODS '23: International Conference on Management of Data, 2023.
Bibtex
entry Paper
(PDF)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
Extremal Fitting CQs do not Generalize.
arxiv 2312.03407, 2023.
Bibtex
entry Paper (PDF)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
SAT-Based PAC Learning of Description Logic Concepts.
In Proceedings of the 32nd International Joint Conference on Artificial
Intelligence (IJCAI-23), 2023.
Bibtex
entry Paper
(PDF)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
SAT-Based PAC Learning of Description Logic Concepts (Extended
Abstract).
In Proceedings of the 36th International Workshop on Description
Logics, 2023.
Bibtex
entry Paper
(PDF)
2022
Meghyn Bienvenu, Quentin Manière, and Michaël Thomazo. Complexity Landscape for Counting Queries (Extended Abstract). In Proceedings of the 35th International Workshop on Description Logics, 2022.Bibtex entry Paper (PDF)
Meghyn Bienvenu, Quentin Manière, and Michaël Thomazo.
Counting Queries over ELHI⊥ Ontologies.
In Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, pages 53–62, 2022.
Bibtex
entry Paper
(PDF)
Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn
Ontologies.
In Proceedings of the 35th International Workshop on Description
Logics, 2022.
Bibtex
entry Paper
(PDF)
Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
Frontiers and Exact Learning of ELI Queries under DL-Lite
Ontologies.
In Proceedings of the 31st International Joint Conference on Artificial
Intelligence (IJCAI-22), 2022.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, and Jerzy Marcinkowski.
Conservative Extensions for Existential Rules.
In Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer, editors,
Proceedings of the 19th International Conference on Principles of Knowledge
Representation and Reasoning (KR 2022), 2022.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter.
Logical separability of labeled data examples under ontologies.
Artificial Intelligence, 313, 2022.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Marcin Przybylko.
Efficiently Enumerating Answers to Ontology-Mediated Queries.
In PODS '22: International Conference on Management of Data, 2022.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Leif Sabellek.
A complete classification of the complexity and rewritability of
ontology-mediated queries based on the description logic EL.
Artificial Intelligence, 308, 2022.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Leif Sabellek, and Lukas Schulze.
Ontology-Mediated Querying on Databases of Bounded Cliquewidth.
In Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, pages 247–256, 8 2022.
Bibtex
entry Paper
(PDF)
2021
Cristina Feier, Carsten Lutz, and Marcin Przybylko. Answer Counting under Guarded TGDs. In Proceedings of the 24th International Conference on Database Theory, ICDT 2021, 2021.Bibtex entry Paper (PDF)
Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
Actively Learning Concepts and Conjunctive Queries under
ELr-Ontologies.
In Proceedings of the 30th International Joint Conference on Artificial
Intelligence (IJCAI-21), 2021.
Bibtex
entry Paper
(PDF)
Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
Actively Learning ELI Queries under DL-Lite Ontologies.
In Proceedings of the 34th International Workshop on Description
Logics, 2021.
Bibtex
entry Paper
(PDF)
Anneke Haga, Carsten Lutz, Leif Sabellek, and Frank Wolter.
How to Approximate Ontology-Mediated Queries.
In Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning (KR-21), 2021.
Bibtex
entry Paper
(PDF)
Anneke Haga, Carsten Lutz, Leif Sabellek, and Frank Wolter.
How to Approximate Ontology-Mediated Queries (Extended Abstract).
In Proceedings of the 34th International Workshop on Description
Logics, 2021.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter.
Separating Data Examples by Description Logic Concepts with Restricted
Signatures.
In Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning (KR-21), 2021.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung and Frank Wolter.
Living without Beth and Craig: Definitions and Interpolants in the Guarded
and Two-Variable Fragments.
In Technical Report, 2021.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Marcin Przybylko.
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and
Efficiency (Extended Abstract).
In Proceedings of the 34th International Workshop on Description
Logics, 2021.
Bibtex
entry Paper
(PDF)
Robin Nolte and Thomas Schneider.
Properties of Module Notions and Atomic Decomposition.
In Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning (KR-21), 2021.
Bibtex
entry Paper
(PDF)
Robin Nolte and Thomas Schneider.
Properties of Module Notions and Atomic Decomposition (Extended
Abstract).
In Proceedings of the 34th International Workshop on Description
Logics, 2021.
Bibtex
entry Paper
(PDF)
2020
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, and Andreas Pieris. The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. In 39th ACM Symposium on Principles of Database Systems (PODS-20). ACM Press, 2020.Bibtex entry Paper (PDF)
Cristina Feier, Carsten Lutz, and Marcin Przybylko.
The Complexity of Answer Counting for Ontology-Mediated Queries Based on
Guarded TGDs (Extended Abstract).
In Stefan Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd
International Workshop on Description Logics, 2020.
Bibtex
entry Paper
(PDF)
Anneke Haga, Carsten Lutz, Johannes Marti, and Frank Wolter.
A Journey into Ontology Approximation: From Non-Horn to Horn.
In Proceedings of the 29th International Joint Conference on Artificial
Intelligence (IJCAI-20), 2020.
Bibtex
entry Paper
(PDF)
Anneke Haga, Carsten Lutz, Johannes Marti, and Frank Wolter.
A Journey into Ontology Approximation: From Non-Horn to Horn
(Abstract).
In Proceedings of the 33th International Workshop on Description
Logics, 2020.
Bibtex
entry Paper
(PDF)
Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter.
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
ACM Trans. Comput. Log., 21(3):20:1–20:47, 2020.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, and Thomas Schneider.
Conservative Extensions in Horn Description Logics with Inverse Roles.
Journal of Artificial Intelligence Research (JAIR), 68:365–411, 2020.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulicini, and Frank Wolter.
Logical Separability of Incomplete Data under Ontologies.
In Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning (KR-20), 2020.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulicini, and Frank Wolter.
Separating Positive and Negative Data Examples by Concepts and Formulas:
The Case of Restricted Signatures (Abstract).
In Proceedings of the 33rd International Workshop on Description
Logics, 2020.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, and Frank Wolter.
Least General Generalizations in Description Logic: Verification and
Existence.
In Proceedings of the 34st AAAI Conference on Artificial Intelligence
(AAAI-20). AAAI Press, 2020.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, and Thomas Zeume.
On the Decidability of Expressive Description Logics with Transitive
Closure and Regular Role Expressions.
In Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning (KR-20), 2020.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Leif Sabellek.
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic
Queries to Conjunctive Queries.
In Proceedings of the 33rd International Workshop on Description
Logics, 2020.
Bibtex
entry Paper
(PDF)
Damian Niwinski, Marcin Przybylko, and Michal Skrzypczak.
Computing Measures of Weak-MSO Definable Sets of Trees.
In Proceedings of the 47th International Colloquium on Automata, Languages,
and Programming, ICALP 2020, 2020.
Bibtex
entry Paper
(PDF)
Timothy van Bremen, Anton Dries, and Jean Christoph Jung.
onto2problog: A Probabilistic Ontology-mediated Querying System using
Probabilistic Logic Programming.
KI – Künstliche Intelligenz, 2020.
Bibtex
entry Paper
(PDF)
2019
Pablo Barceló, Cristina Feier, Carsten Lutz, and Andreas Pieris. PTime Combined Complexity and FPT in Ontology-Mediated Querying. In Proceedings of the 32nd International Workshop on Description Logics (DL19), CEUR-WS.org, 2019.Bibtex entry Paper (PDF)
Pablo Barceló, Cristina Feier, Carsten Lutz, and Andreas Pieris.
When is Ontology-Mediated Querying Efficient?.
In Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS), 2019.
Bibtex
entry Paper
(PDF)
Anneke Boetcher, Carsten Lutz, and Frank Wolter.
Ontology Approximation in Horn Description Logics.
In Proceedings of the 28th International Joint Conference on Artificial
Intelligence (IJCAI-19), 2019.
Bibtex
entry Paper
(PDF)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael
Zakharyaschev.
Query inseparability for ALC ontologies.
Artificial Intelligence, 272:1–51, 2019.
Bibtex
entry Paper
(PDF)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, and Yde
Venema.
Completeness for Game Logic.
In Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS), 2019.
Bibtex
entry Paper
(PDF)
Cristina Feier, Antti Kuusisto, and Carsten Lutz.
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive
Description Logics.
Logical Methods in Computer Science, 15(2):15:1–15:46, 2019.
Bibtex
entry Paper
(PDF)
Maurice Funk.
Concept-by-Example in EL Knowledge Bases.
Master's thesis, University of Bremen, 2019.
Bibtex
entry Paper
(PDF)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank
Wolter.
Learning Description Logic Concepts: When can Positive and Negative
Examples be Separated?.
In Proceedings of the 28th International Joint Conference on Artificial
Intelligence (IJCAI-19), 2019.
Bibtex
entry Paper
(PDF)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank
Wolter.
Learning Description Logic Concepts: When can Positive and Negative
Examples be Separated? (Abstract).
In Proceedings of the 32nd International Workshop on Description Logics
(DL19), CEUR-WS.org, 2019.
Bibtex
entry Paper
(PDF)
Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín
Ibáñez-García, Jean Christoph Jung, and Filip Murlak.
On Finite and Unrestricted Query Entailment beyond SQ with Number
Restrictions on Transitive Roles.
In Proceedings of the 32nd International Workshop on Description Logics
(DL19), CEUR-WS.org, 2019.
Bibtex
entry Paper
(PDF)
Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín
Ibáñez-García, Jean Christoph Jung, and Filip Murlak.
On Finite and Unrestricted Query Entailment beyond SQ with Number
Restrictions on Transitive Roles.
In Proceedings of the 28th International Joint Conference on Artificial
Intelligence (IJCAI-19), 2019.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, and Thomas Zeume.
Decidability and Complexity of ALCIOF with Transitive Closure (and
More).
In Proceedings of the 32nd International Workshop on Description Logics
(DL19), CEUR-WS.org, 2019.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, and Michael Zakharyaschev.
Model Comparison Games for Horn Description Logic: A Summary.
In Proceedings of the 32nd International Workshop on Description Logics
(DL19), CEUR-WS.org, 2019.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, and Michael Zakharyaschev.
Model Comparison Games for Horn Description Logics.
In Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS), 2019.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanç Seylan, and Frank Wolter.
The Data Complexity of Ontology-Mediated Queries with Closed
Predicates.
Logical Methods in Computer Science, 15(3), 2019.
Bibtex
entry Paper
(PDF)
Reinhard Moratz, Leif Sabellek, and Thomas Schneider.
Granular Spatial Calculi of Relative Directions or Movements with
Parallelism: Consistent Account.
In Proceedings of the 14th International Conference on Spatial Information
Theory (COSIT 2019), 2019.
Bibtex
entry Paper
(PDF)
Leif Sabellek.
Ontology-Mediated Querying with Horn Description Logics.
PhD thesis, University of Bremen, Germany, 2019.
Bibtex
entry Paper (PS)
Paper
(PDF)
Timothy van Bremen, Anton Dries, and Jean Christoph Jung.
Ontology-mediated Queries over Probabilistic Data via Probabilistic Logic
Programming.
In Proceedings of the International Conference on Information and Knowledge
Management (CIKM). ACM, 2019.
Bibtex
entry Paper
(PDF)
2018
Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Satisfiability for Relation-Changing Logics. Journal of Logic and Computation, 2018.Bibtex entry Paper (PDF)
Pablo Barcelo, Gerald Berger, Carsten Lutz, and Andreas Pieris.
First-Order Rewritability of Frontier-Guarded Ontology-Mediated
Queries.
In Proceedings of the 27th International Joint Conference on Artificial
Intelligence (IJCAI-ECAI 2018). AAAI Press, 2018.
Bibtex
entry Paper
(PDF)
Anneke Boetcher, Carsten Lutz, and Frank Wolter.
Complete Approximation of Horn DL Ontologies.
In Proceedings of the 31th International Workshop on Description
Logics, 2018.
Bibtex
entry Paper
(PDF)
Cristina Feier, Carsten Lutz, and Frank Wolter.
From Conjunctive Queries to Instance Queries in Ontology-Mediated
Querying.
In Proceedings of the 27th International Joint Conference on Artificial
Intelligence (IJCAI-ECAI 2018). AAAI Press, 2018.
Bibtex
entry Paper
(PDF)
Cristina Feier, Carsten Lutz, and Frank Wolter.
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated
Querying.
In Proceedings of the 31st International Workshop on Description
Logics, 2018.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and
Jean Christoph Jung.
Answering Regular Path Queries over SQ ontologies (with Appendix).
In Proceedings of the 32st AAAI Conference on Artificial Intelligence
(AAAI-18). AAAI Press, 2018.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, and Ondrej
Kuzelka.
Quantified Markov Logic Networks.
In Proceedings of the 16th International Conference on Principles of
Knowledge Representation and Reasoning (KR-18), 2018.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, and Leif Sabellek.
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of
Expressive Horn Description Logic Ontologies.
In Proceedings of the 27th International Joint Conference on Artificial
Intelligence (IJCAI-ECAI-18). AAAI Press, 2018.
Bibtex
entry Paper
(PDF) Erratum
(PDF)
Andre Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter.
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated
Querying.
In Proceedings of the 27th International Joint Conference on Artificial
Intelligence (IJCAI-ECAI 2018). AAAI Press, 2018.
Bibtex
entry Paper
(PDF)
Sascha Jongebloed and Thomas Schneider.
Ontology Partitioning Using E-Connections Revisited.
In Proceedings of the 31st International Workshop on Description Logics
(DL-18), volume 2211 of CEUR-WS.org, 2018.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, and Thomas Schneider.
Querying the Unary Negation Fragment with Regular Path Expressions.
In Benny Kimelfeld and Yael Amsterdamer, editors, Proceedings of the 21st
International Conference on Database Theory (ICDT-18), volume 98, pages
15:1–15:18. Schloss Dagstuhl – LZI, 2018.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Ana Ozaki, and Frank Wolter.
Exact Learning of Lightweight Description Logic Ontologies.
Journal of Machine Learning Research, 18(201):1–63, 2018.
Bibtex
entry Paper (PS)
Paper
(PDF)
Antti Kuusisto and Carsten Lutz.
Weighted model counting beyond two-variable logic.
In Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS), 2018.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Johannes Marti, and Leif Sabellek.
Query Expressibility and Verification in Ontology-Based Data Access.
In Proceedings of the 16th International Conference on Principles of
Knowledge Representation and Reasoning (KR-18), 2018.
Bibtex
entry Paper
(PDF) Erratum
(PDF)
2017
Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Undecidability of Relation-Changing Modal Logics. In Proceedings of Workshop DaLí - Dynamic Logic: new trends and applications, Brasilia, Brazil, September 2017.Bibtex entry Paper (PDF)
Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van
Delden, Jasper van de Ven, and Diedrich Wolter.
A Survey of Qualitative Spatial and Temporal Calculi – Algebraic and
Computational Properties.
ACM Computing Surveys, 50(1):7:1–7:39, 2017.
Bibtex
entry Paper
(PDF)
Cristina Feier, Carsten Lutz, and Antti Kuusisto.
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive
Description Logics.
In Proceedings of the 20th International Conference on Database Theory
(ICDT17), 2017.
Bibtex
entry Paper
(PDF)
Valentin Goranko, Antti Kuusisto, and Raine Rönnholm.
CTL with Finitely Bounded Semantics.
In 24th International Symposium on Temporal Representation and Reasoning,
TIME 2017, October 16-18, 2017, Mons, Belgium, pages 14:1–14:19, 2017.
Bibtex
entry Paper
(PDF)
Valentin Goranko, Antti Kuusisto, and Raine Rönnholm.
CTL with Finitely Bounded Semantics.
In 24th International Symposium on Temporal Representation and Reasoning,
TIME 2017, October 16-18, 2017, Mons, Belgium, pages 14:1–14:19, 2017.
Bibtex
entry Paper
(PDF)
Valentin Goranko, Antti Kuusisto, and Raine Rönnholm.
Game-Theoretic Semantics for ATL+ with Applications to Model
Checking.
In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages
1277–1285, 2017.
Bibtex
entry Paper
(PDF)
Valentin Goranko, Antti Kuusisto, and Raine Rönnholm.
Rational Coordination with no Communication or Conventions.
In Logic, Rationality, and Interaction - 6th International Workshop, LORI
2017, Sapporo, Japan, September 11-14, 2017, Proceedings, pages 33–48,
2017.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and
Jean Christoph Jung.
Number Restrictions on Transitive Roles in Description Logics with Nominals
(with Appendix).
In Proceedings of the 31st AAAI Conference on Artificial Intelligence
(AAAI-17). AAAI Press, 2017.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and
Jean Christoph Jung.
On Query Answering in Description Logics with Number Restrictions on
Transitive Roles.
In Proceedings of the 30th International Workshop on Description
Logics, 2017.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto and Jean Christoph Jung.
Combining DL-Lite^N_bool with Branching Time: A Gentle Marriage.
In Proceedings of the 26th International Joint Conference on Artificial
Intelligence (IJCAI-17), 2017.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, and Lutz
Schröder.
Probabilistic Description Logics for Subjective Uncertainty.
Journal of Artificial Intelligence Research (JAIR), 2017.
Bibtex
entry Paper
(PDF)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, and Yde Venema.
Parity Games and Automata for Game Logic.
In Alexandre Madeira and Mário Benevides, editors, Dynamic Logic. New
Trends and Applications. DALI 2017, Lecture Notes in Computer Science,
pages 115–132. Springer, 2018.
Bibtex
entry Paper
(PDF)
Peter Hansen and Carsten Lutz.
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive
Queries.
In Proceedings of the 30th International Workshop on Description
Logics, 2017.
Bibtex
entry Paper
(PDF)
Peter Hansen and Carsten Lutz.
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive
Queries.
In Proceedings of the 16th International Sematic Web Conference
(ISWC-17), 2017.
Bibtex
entry Paper
(PDF)
Lauri Hella, Antti Kuusisto, Arne Meier, and Jonni Virtema.
Model Checking and Validity in Propositional and Modal Inclusion
Logics.
In 42nd International Symposium on Mathematical Foundations of Computer
Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, pages
32:1–32:14, 2017.
Bibtex
entry Paper
(PDF)
Andre Hernich, Carsten Lutz, Fabio Pappachini, and Frank Wolter.
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
In 36th ACM Symposium on Principles of Database Systems (PODS-17).
ACM Press, 2017.
Bibtex
entry Paper
(PDF)
Andre Hernich, Carsten Lutz, Fabio Pappachini, and Frank Wolter.
Horn Rewritability vs PTime Query Evaluation for Description Logic
TBoxes.
In Proceedings of the 30th International Workshop on Description
Logics, 2017.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, and Thomas Schneider.
Query Conservative Extensions in Horn Description Logics with Inverse
Roles.
In Carles Sierra, editor, Proceedings of the 26th International Joint
Conference on Artificial Intelligence (IJCAI-17), pages 1116–1122.
ijcai.org, 2017.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, and
Frank Wolter.
Conservative Extensions in Guarded and Two-Variable Fragments.
In Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl,
editors, Proceedings of the 44st International Colloquium on Automata,
Languages, and Programming (ICALP-17), volume 80 of LIPIcs, pages
108:1–108:14. Schloss Dagstuhl – LZI, 2017.
Bibtex
entry Paper
(PDF)
Emanuel Kieronski and Antti Kuusisto.
One-Dimensional Logic over Trees.
In 42nd International Symposium on Mathematical Foundations of Computer
Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, pages
64:1–64:13, 2017.
Bibtex
entry Paper
(PDF)
Antti Kuusisto and Fabian Reiter.
Emptiness Problems for Distributed Automata.
In Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017., pages 210–222, 2017.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Leif Sabellek.
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog
Rewritability.
In Proceedings of the 30th International Workshop on Description
Logics, 2017.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Leif Sabellek.
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and
Linear Datalog Rewritability.
In Proceedings of the 26th International Joint Conference on Artificial
Intelligence (IJCAI-17), 2017.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
The Data Complexity of Description Logic Ontologies.
Logical Methods in Computer Science, Volume 13, Issue 4, November
2017.
Bibtex
entry Paper (PS)
Paper
(PDF)
2016
Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Relation-Changing Logics as Fragments of Hybrid Logics. In Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016). Open Publishing Association, 2016.Bibtex entry Paper (PDF)
Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter.
Query and Predicate Emptiness in Ontology-Based Data Access.
Journal of Artificial Intelligence Research (JAIR), 2016.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez Basulto, Jean Christoph Jung, and Roman Kontchakov.
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of
Atomic Queries.
In Proceedings of the 25th International Joint Conference on Artificial
Intelligence (IJCAI-16). AAAI Press, 2016.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter.
First Order-Rewritability and Containment of Conjunctive Queries in Horn
Description Logics.
In Proceedings of the 25th International Joint Conference on Artificial
Intelligence (IJCAI-16), 2016.
Bibtex
entry Paper
(PDF)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and
Michael Zakharyaschev.
Inseparability and Conservative Extensions of Description Logic Ontologies:
A Survey.
In Proceedings of the 12th Reasoning Web Summer School (RW-16), 2016.
Bibtex
entry Paper
(PDF)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael
Zakharyaschev.
Query-Based Entailment and Inseparability for ALC Ontologies.
In Proceedings of the 25th International Joint Conference on Artificial
Intelligence (IJCAI-16), 2016.
Bibtex
entry Paper
(PDF)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael
Zakharyaschev.
When is Query Inseparability for ALC Ontologies Decidable?.
In Proceedings of the 29th International Workshop on Description
Logics, volume 1577 of CEUR Workshop Proceedings. CEUR-WS.org,
2016.
Bibtex
entry Paper
(PDF)
Pierre Bourhis and Carsten Lutz.
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive
Description Logics.
In Proceedings of the 15th International Conference on Principles of
Knowledge Representation and Reasoning (KR-16), 2016.
Bibtex
entry Paper
(PDF)
David Carral, Cristina Feier, and Pascal Hitzler.
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ
Ontologies.
In Proceedings of the 15th International Semantic Web Conference
(ISWC16), 2016.
Bibtex
entry Paper
(PDF)
Cristina Feier, Antti Kuusisto, and Carsten Lutz.
FO-Rewritability of Expressive Ontology-Mediated Queries.
In Proceedings of the 29th International Workshop on Description
Logics, volume 1577 of CEUR Workshop Proceedings. CEUR-WS.org,
2016.
Bibtex
entry Paper
(PDF)
Valentin Goranko, Antti Kuusisto, and Raine Rönnholm.
Game-Theoretic Semantics for Alternating-Time Temporal Logic.
In International conference on Autonomous Agents and Multi-Agent Systems,
AAMAS '16, Singapore, May 9-13, 2016, 2016.
Bibtex
entry Paper
(PDF)
Victor Gutiérrez-Basulto, Jean Christoph Jung, and Roman
Kontchakov.
On Decidability and Tractability of Querying in Temporal EL.
In Proceedings of the 29th International Workshop on Description
Logics, 2016.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, and Ana Ozaki.
On Metric Temporal Description Logics (with Appendix).
In Proceedings of the 22th European Conference on Artificial Intelligence
(ECAI16). IOS Press, 2016.
Bibtex
entry Paper
(PDF)
Lauri Hella and Antti Kuusisto.
Existential Second-Order Logic and Modal Logic with Quantified
Accessibility Relations.
Inf. Comput., 247:217–234, 2016.
Bibtex
entry Paper
(PDF)
Szymon Klarman and Víctor Gutiérrez Basulto.
Description Logics of Context.
Journal of Logic and Computation, 26(3):817–854, 2016.
Bibtex
entry
Boris Konev, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev.
Conservative Rewritability of Description Logic TBoxes.
In Proceedings of the 25th International Joint Conference on Artificial
Intelligence (IJCAI-16), 2016.
Bibtex
entry Paper
(PDF)
Juha Kontinen, Antti Kuusisto, and Jonni Virtema.
Decidability of Predicate Logics with Team Semantics.
In Mathematical Foundations of Computer Science 2015 - 41st International
Symposium, MFCS 2016, Proceedings, Part I, 2016.
Bibtex
entry Paper
(PDF)
Antti Kuusisto.
On the Uniform One-dimensional Fragment.
In Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016., 2016.
Bibtex
entry Paper
(PS) Paper
(PDF)
2015
Víctor Gutiérrez Basulto, Jean Christoph Jung, and Thomas Schneider. Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), pages 3015–3021. AAAI Press, 2015.Bibtex entry Paper (PDF)
Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, and Frank Wolter.
Decidability of Circumscribed Description Logics Revisited.
In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, and Stefan Woltran,
editors, Advances in Knowledge Representation, Logic Programming, and
Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday, volume 9060 of Lecture Notes in Computer
Science, pages 112–124. Springer, 2015.
Bibtex
entry Paper
(PDF)
Stefan Göller, Jean Christoph Jung, and Markus Lohrey.
The Complexity of Decomposing Modal and First-Order Theories.
ACM Transactions on Computational Logic, 16(1), 2015.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Roman
Kontchakov, and Egor V. Kostylev.
Queries with negation and inequalities over lightweight ontologies.
Journal of Web Semantics (JWS), 35, Part 4:184 – 202, 2015.
Bibtex
entry
Victor Gutiérrez-Basulto, Jean Christoph Jung, and Thomas
Schneider.
The Complexity of Temporal Description Logics with Rigid Roles and
Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
In Proceedings of the 28th International Workshop on Description
Logics, 2015.
Bibtex
entry Paper
(PDF)
Peter Hansen, Carsten Lutz, Inanç Seylan, and Frank Wolter.
Efficient Query Rewriting in the Description Logic EL and Beyond.
In Proceedings of the 24th International Joint Conference on Artificial
Intelligence (IJCAI-15), 2015.
Bibtex
entry Paper
(PDF)
Andre Hernich, Carsten Lutz, Ana Ozaki, and Frank Wolter.
Schema.org as a Description Logic.
In Proceedings of the 28th International Workshop on Description
Logics, volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org,
2015.
Bibtex
entry Paper
(PDF)
Andre Hernich, Carsten Lutz, Ana Ozaki, and Frank Wolter.
Schema.org as a Description Logic.
In Proceedings of the 24th International Joint Conference on Artificial
Intelligence (IJCAI-15), 2015.
Bibtex
entry
Boriv Konev, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev.
Conservative Rewritability of Description Logic TBoxes: First Results.
In Proceedings of the 28th International Workshop on Description
Logics, volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org,
2015.
Bibtex
entry Paper
(PDF)
Carsten Lutz.
Query Rewriting Beyond DL-Lite.
In Proceedings of the 28th International Workshop on Description
Logics, volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org,
2015.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanç Seylan, and Frank Wolter.
Ontology-Mediated Queries with Closed Predicates.
In Proceedings of the 24th International Joint Conference on Artificial
Intelligence (IJCAI-15), 2015.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
On the Relationship between Consistent Query Answering and Constraint
Satisfaction Problems.
In Proceedings of the 18th International Conference on Database Theory
(ICDT15), 2015.
Bibtex
entry Paper
(PDF)
Leif Sabellek and Thomas Schneider.
A Note on Algebraic Closure and Closure under Constraints.
In Proceedings of the Workshop on Qualitative Spatial and Temporal
Reasoning: Computational Complexity and Algorithms, 2015.
Bibtex
entry Paper
(PDF)
2014
Víctor Gutiérrez Basulto, Jean Christoph Jung, and Thomas Schneider. Lightweight Description Logics and Branching Time: a Troublesome Marriage. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR-14), 2014.Bibtex entry Paper (PDF)
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter.
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and
MMSNP.
ACM Transactions on Database Systems, 39(4), 2014.
Bibtex
entry Paper
(PDF)
Stanislav Böhm, Stefan Göller, and Petr Jancar.
Equivalence and regularity for real-time one-counter automata.
Journal of Computer and System Sciences, 80(4):720–743, 2014.
Bibtex
entry Paper
(PDF)
Stefan Göller.
Computational Aspects of Infinite State Verification.
Habiltation thesis, Universität Bremen, 2014.
Bibtex
entry Paper
(PDF)
Stefan Göller and Markus Lohrey.
The First-Order Theory of Ground Tree Rewrite Systems.
Logical Methods in Computer Science, 10(1), 2014.
Bibtex
entry Paper
(PDF)
Peter Hansen, Carsten Lutz, Inanç Seylan, and Frank Wolter.
Query Rewriting under EL TBoxes: Efficient Algorithms.
In Proceedings of the 27th International Workshop on Description Logics,
Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop
Proceedings, pages 197–208. CEUR-WS.org, 2014.
Bibtex
entry Paper
(PDF)
Yazmín Ibáñez-García.
Reasoning Over Description Logic Ontologies under non-standard
Assumptions.
Dissertation, Free University of Bozen-Bolzano, 2014.
Bibtex
entry Paper
(PDF)
Yazmín Ibáñez-García, Carsten Lutz, and Thomas Schneider.
Finite Model Reasoning in Horn Description Logics.
In Proceedings of the 14th International Conference on Principles of
Knowledge Representation and Reasoning (KR-14), 2014.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung.
Reasoning in Many Dimensions: Uncertainty and Products of Modal Logics.
Dissertation, Universität Bremen, 2014.
Published as an electronic publication of Universität Bremen at
http://nbn-resolving.de/urn:nbn:de:gbv:46-00104019-10.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, and Lutz Schröder.
Monodic Fragments of Probabilistic First-order Logic.
In Proceedings of the 41st International Colloquium on Automata, Languages,
and Programming (ICALP-14), 2014.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Ana Ozaki, and Frank Wolter.
Exact Learning of Lightweight Description Logic Ontologies.
In Proceedings of the 14th International Conference on Principles of
Knowledge Representation and Reasoning (KR-14), 2014.
Bibtex
entry Paper
(PDF)
2013
Michael Benedikt, Stefan Göller, Stefan Kiefer, and Andrzej Murawski. Bisimilarity of Pushdown Automata is Nonelementary. In Orna Kupferman, editor, Proceedings of the Twenthy-Eighth Annual ACM/IEE Symposium on Logic in Computer Science (LICS 2013). ACM/IEEE, 2013.Bibtex entry Paper (PDF)
Meghyn Bienvenu, Carsten Lutz, and Frank Wolter.
First Order-Rewritability of Atomic Queries in Horn Description Logics.
In Proceedings of the 23rd International Joint Conference on Artificial
Intelligence (IJCAI-13), 2013.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter.
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and
MMSNP.
In 32nd ACM Symposium on Principles of Database Systems (PODS' 13).
ACM Press, 2013.
Bibtex
entry Paper
(PDF)
Stanislav Böhm, Stefan Göller, and Petr Jancar.
Equivalence of deterministic one-counter automata is NL-complete.
In Joan Feigenbaum, editor, Proceedings of the 45th Symposium on Theory of
Computing (STOC 2013). ACM, 2013.
Bibtex
entry Paper
(PDF)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas
Schneider, and Dmitry Tsarkov.
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
In Proceedings of the 26th International Workshop on Description Logics
(DL), volume 1014 of CEUR Workshop Proceedings, pages 144–155.
CEUR-WS.org, 2013.
Bibtex
entry Paper
(PDF)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas
Schneider, and Dmitry Tsarkov.
Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
In Proceedings of the 12th International Semantic Web Conference
(ISWC-13), volume 8218 of LNCS, pages 84–100. Springer, 2013.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Frank Dylla, Till Mossakowski, Thomas Schneider, and Diedrich Wolter.
Algebraic Properties of Qualitative Spatio-Temporal Calculi.
In Proceedings of the 11th Conference on Spatial Information Theory
(COSIT), volume 8116 of Lecture Notes in Computer Science, pages
516–536. Springer, 2013.
The final publication is available at
http://link.springer.com/chapter/10.1007%2F978-3-319-01790-7_28.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Alain Finkel, Stefan Göller, and Christoph Haase.
Reachability in Register Machines with Polynomial Updates.
In Krishnendu Chatterchee and Jiri Sgall, editors, Proceedings of the 38th
International Symposium on Mathematical Foundations of Computer Science (MFCS
2013). Springer, 2013.
Bibtex
entry Paper
(PDF)
Stefan Göller.
The Fixed-Parameter Tractability of Model Checking Concurrent Systems.
In Simona Ronchi Della Rocca, editor, Proceedings of the 22nd EACSL Annual
Conference on Computer Science Logic (CSL 2013). Dagstuhl -
Leibniz-Zentrum fuer Informatik, 2013.
Bibtex
entry
Stefan Göller and Anthony Widjaja Lin.
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite
Systems.
ACM Transactions of Computational Logic, 2013.
accepted.
Bibtex
entry
Stefan Göller and Markus Lohrey.
Branching-time model checking of one-counter processes and timed
automata.
SIAM Journal of Computing, 2013.
to appear.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto.
Towards More Useful Description Logics of Time, Change and Context.
Dissertation, Universität Bremen, 2013.
Published as an electronic publication of Universität Bremen at
http://nbn-resolving.de/urn:nbn:de:gbv:46-00103498-10 .
Bibtex
entry Paper
(PDF)
Victor Gutiérrez-Basulto, Yazmin Angélica
Ibáñez-Garcia, Roman Kontchakov, and Egor V. Kostylev.
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
In Proceedings of the 7th International Conference on Web Reasoning and
Rule Systems (RR 2013), 2013.
Bibtex
entry Paper
(PDF)
Yazmín Ibáñez-García, Carsten Lutz, and Thomas Schneider.
Finite model reasoning in Horn-SHIQ.
In Proceedings of the 26th International Workshop on Description Logics
(DL), volume 1014 of CEUR Workshop Proceedings, pages 234–245.
CEUR-WS.org, 2013.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung and Carsten Lutz.
Ontology-Based Access to Probabilistic Data.
In Proceedings of the 26th International Workshop on Description Logics
(DL), volume 1014 of CEUR Workshop Proceedings, pages 258–270.
CEUR-WS.org, 2013.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, and Frank Wolter.
Exact Learning of TBoxes in EL and DL-Lite.
In Proceedings of the 26th International Workshop on Description Logics
(DL2013), CEUR-WS.org, 2013.
Bibtex
entry Paper
(PDF)
Boriv Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Model-Theoretic Inseparability and Modularity of Description Logic
Ontologies.
Artificial Intelligence, 2013.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanç Seylan, Frank Wolter, and David Toman.
The Combined Approach to OBDA: Taming Role Hierarchies using Filters.
In ISWC 2013, 2013.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanc Seylan, and Frank Wolter.
Ontology-Based Data Access with Closed Predicates is Inherently Intractable
(Sometimes).
In Proceedings of the 23rd International Joint Conference on Artificial
Intelligence (IJCAI-13), 2013.
Bibtex
entry Paper
(PDF)
Arne Meier and Thomas Schneider.
Generalized Satisfiability for the Description Logic ALC.
Theoretical Computer Science, 505:55–73, 2013.
Bibtex
entry Paper
(PDF)
Balder ten Cate, Enrico Franconi, and Inanç Seylan.
Beth Definability in Expressive Description Logics.
J. Artif. Intell. Res. (JAIR), 48:347–414, 2013.
Bibtex
entry Paper (PS)
Paper
(PDF)
2012
Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over description logic axioms. ACM Trans. Comput. Log., 13(3):21, 2012.Bibtex entry Paper (PDF)
Meghyn Bienvenu, Carsten Lutz, and Frank Wolter.
Deciding FO-Rewritability in EL.
In Proceedings of the 25th International Workshop on Description Logics
(DL2012), CEUR Workshop Proceedings, 2012.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu, Carsten Lutz, and Frank Wolter.
Query Containment in Description Logics Reconsidered (With Appendix).
In Proceedings of the 13nd International Joint Conference on Principles of
Knowledge Representation and Reasoning (KR2012), 2012.
Bibtex
entry Paper
(PDF)
Romain Brenguier, Stefan Göller, and Ocan Sankur.
A Comparison of Succinctly Represented Finite-State Systems.
In Maciej Koutny and Irek Ulidowski, editors, Proceedings of the of the
23rd International Conference on Concurrency Theory (CONCUR 2012), pages
147–161. Springer, 2012.
Bibtex
entry Paper
(PDF)
Christopher Broadbent and Stefan Göller.
On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order
Two.
In Deepak D' Souza, Jaikumar Radhakrishnan, and Kavitha Telikepalli, editors,
Proceedings of Foundations of Software Technology and Theoretical
Computer Science (FSTTCS 2012). Leibniz International Proceedings in
Informatics (LIPICS), 2012.
to appear.
Bibtex
entry
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas
Schneider, and Dmitry Tsarkov.
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?.
In Proceedings of the 6th Workshop on Modular Ontologies (WoMO-12),
volume 875. CEUR-WS.org, 2012.
Bibtex
entry
Stefan Göller, Christoph Haase, Joël Ouaknine, and James Worrell.
Branching-Time Model Checking of Parametric One-Counter Automata.
In Lars Birkedal, editor, Proceedings of 15th International Conference on
Foundations of Software Science and Computation Structures (FoSSaCS
2012), pages 406–420. Springer, 2012.
Bibtex
entry Paper
(PDF)
Stefan Göller, Jean Christoph Jung, and Markus Lohrey.
The complexity of decomposing modal and first-order theories.
In Nachum Derschowitz, editor, Proceedings of the of the 27th ACM/IEEE
Symposium on Logic in Computer Science (LICS 2012), pages 325–334.
ACM/IEEE, 2012.
Bibtex
entry Paper
(PDF)
Stefan Göller and Anthony Widjaja Lin.
Concurrency Makes Simple Theories Hard.
In Christoph Dürr and Thomas Wilke, editors, Proceedings of the of the
29th International Symposium on Theoretical Aspects of Computer Science
(STACS 2012). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012.
to appear.
Bibtex
entry Paper
(PDF)
Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael
Thomas, and Felix Weiß.
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural
Numbers.
In Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence Moss,
editors, Advances in Modal Logic (AiML-9), pages 261–278. College
Publications, 2012.
Bibtex
entry Paper
(PDF)
Victor Gutiérrez-Basulto, Yazmin Angélica
Ibáñez-Garcia, and Roman Kontchakov.
An Update on Query Answering with Restricted Forms of Negation.
In Proceedings of the 6th International Conference on Web Reasoning and
Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer
Science, pages 75–89. Springer, 2012.
Bibtex
entry Paper
(PDF)
Victor Gutierrez-Basulto, Jean Christoph Jung, and Carsten Lutz.
Complexity of Branching Temporal Description Logics (with Appendix).
In Proceedings of the 20th European Conference on Artificial Intelligence
(ECAI12). IOS Press, 2012.
Bibtex
entry Paper
(PDF)
Victor Gutiérrez-Basulto and Szymon Klarman.
Towards a Unifying Approach to Representing and Querying Temporal Data in
Description Logics.
In Proceedings of the 6th International Conference on Web Reasoning and
Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer
Science, pages 90–105. Springer, 2012.
Bibtex
entry Paper
(PDF)
Jean Christoph Jung and Carsten Lutz.
Ontology-Based Access to Probabilistic Data with OWL-QL (with
Appendix).
In Proceedings of the 11th International Semantic Web Conference (ISWC
2012). Springer, 2012.
Bibtex
entry Paper
(PDF) Erratum
(PDF)
Pavel Klinov, Chiara Del Vescovo, and Thomas Schneider.
Incrementally Updateable and Persistent Decomposition of OWL
Ontologies.
In Proceedings of the 9th OWL: Experiences and Directions Workshop
(OWLED), volume 749 of CEUR Workshop Proceedings. CEUR-WS.org,
2012.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanc Seylan, David Toman, and Frank Wolter.
The Combined Approach to OBDA: Taming Role Hierarchies using Filters (With
Appendix).
In Proceedings of the Joint Workshop on Scalable and High-Performance
Semantic Web Systems (SSWS+HPCSW 2012), 2012.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanc Seylan, and Frank Wolter.
An Automata-Theoretic Approach to Uniform Interpolation and Approximation
in the Description Logic EL (With Appendix).
In Proceedings of the 13nd International Joint Conference on Principles of
Knowledge Representation and Reasoning (KR2012), 2012.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Inanc Seylan, and Frank Wolter.
Mixing Open and Closed World Assumption in Ontology-Based Data Access:
Non-Uniform Data Complexity.
In Proceedings of the 25th International Workshop on Description Logics
(DL2012), CEUR Workshop Proceedings, 2012.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Non-Uniform Data Complexity of Query Answering in Description Logics (With
Appendix).
In Proceedings of the 13nd International Joint Conference on Principles of
Knowledge Representation and Reasoning (KR2012), 2012.
Bibtex
entry Paper
(PDF)
Thomas Schneider and Dirk Walther, editors.
Proceedings of the 6th International Workshop on Modular Ontologies,
volume 875. CEUR-WS.org, 2012.
Bibtex
entry
2011
Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, and Heribert Vollmer. The tractability of model checking for LTL: The good, the bad, and the ugly fragments. ACM Transactions on Computational Logic, 12(2):13, 2011.Bibtex entry
Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael
Thomas, and Heribert Vollmer.
Model Checking CTL is Almost Always Inherently Sequential.
Logical Methods in Computer Science, 7(2), 2011.
Bibtex
entry Paper
(PDF)
Stanislav Böhm and Stefan Göller.
Language equivalence of deterministic real-time one-counter automata is
NL-complete.
In Filip Murlak and Piotr Sankowski, editors, Proceedings of the of the
36th International Symposium on Mathematical Foundations of Computer Science
(MFCS 2011). Springer, 2011.
to appear.
Bibtex
entry Paper
(PDF)
Chiara Del Vescovo, Damian D.G. Gessler, Pavel Klinov, Bijan Parsia, Uli
Sattler, Thomas Schneider, and Andrew Winget.
Decomposition and Modular Structure of BioPortal Ontologies.
In Proceedings of the 10th International Semantic Web Conference
(ISWC-11), volume 7031 of LNCS, pages 130–145. Springer, 2011.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, and Thomas Schneider.
The Modular Structure of an Ontology: Atomic Decomposition.
In Proceedings of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI-11), pages 2232–2237. AAAI Press, 2011.
Bibtex
entry Paper
(PDF)
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, and Thomas Schneider.
The modular structure of an ontology: atomic decomposition and module
count.
In Proceedings of the 5th International Workshop on Modular Ontologies
(WoMO-11), volume 230 of Frontiers in Artificial Intelligence and
Applications, pages 25–39. IOS Press, 2011.
Bibtex
entry Paper
(PDF)
Enrico Franconi, Yazmin Angélica Ibáñez-Garcia, and Inanç
Seylan.
Query Answering with DBoxes is Hard.
Electr. Notes Theor. Comput. Sci., 278:71–84, 2011.
Bibtex
entry Paper
(PDF)
Birte Glimm, Yevgeny Kazakov, and Carsten Lutz.
Status QIO: An Update.
In Proceedings of the 24th International Workshop on Description Logics
(DL2011), volume 745 of CEUR Workshop Proceedings, 2011.
Bibtex
entry Paper
(PDF)
Stefan Göller and Anthony Widjaja Lin.
The Complexity of Verifying Ground Tree Rewrite Systems.
In Martin Grohe, editor, Proceedings of the of the 26th Annual IEEE
Symposium on Logic in Computer Science (LICS 2011). IEEE, 2011.
to appear.
Bibtex
entry Paper
(PDF)
Stefan Göller and Anthony Widjaja Lin.
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite
Systems.
In Joost-Pieter Katoen and Barbara König, editors, Proceedings of the
of the 22nd International Conference on Concurrency Theory (CONCUR 2011).
Springer, 2011.
to appear.
Bibtex
entry Paper
(PDF)
Stefan Göller and Markus Lohrey.
The First-Order Theory of Ground-Tree Rewrite Systems.
In Supratik Chakraborty and Amit Kumar, editors, Proceedings of Foundations
of Software Technology and Theoretical Computer Science (FSTTCS 2011).
Leibniz International Proceedings in Informatics (LIPICS), 2011.
to appear.
Bibtex
entry Paper
(PDF)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, and Lutz
Schröder.
A Closer Look at the Probabilistic Description Logic
Prob-EL.
In Proceedings of Twenty-Fifth Conference on Artificial Intelligence
(AAAI-11), 2011.
Bibtex
entry Paper
(PDF)
Victor Gutierrez-Basulto, Jean Christoph Jung, Carsten Lutz, and Lutz
Schröder.
The Complexity of Probabilistic EL.
In Proceedings of the 24th International Workshop on Description Logics
(DL2011), volume 745 of CEUR Workshop Proceedings, 2011.
Bibtex
entry Paper
(PDF)
Mark Kaminski, Thomas Schneider, and Gert Smolka.
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures
for Modal and Hybrid Logics.
In K. Brünnler and G. Metcalfe, editors, Proceedings of the 20th
International Conference on Automated Reasoning with Analytic Tableaux and
Related Methods (TABLEAUX-11), volume 6793 of LNCS, pages
196–210. Springer, 2011.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Szymon Klarman and Víctor Gutiérrez-Basulto.
Two-Dimensional Description Logics for Context-Based Semantic
Interoperability.
In Proceedings of Twenty-Fifth Conference on Artificial Intelligence
(AAAI-11), 2011.
Bibtex
entry Paper
(PDF)
Szymon Klarman and Víctor Gutiérrez-Basulto.
Two-Dimensional Description Logics of Context.
In Proceedings of the 24th International Workshop on Description Logics
(DL2011), CEUR-WS, 2011.
Bibtex
entry Paper
(PDF)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter,
and Michael Zakharyaschev.
Conjunctive Query Inseparability of OWL 2 QL TBoxes.
In Proceedings of the Twenty-Fifth Conference on Artificial Intelligence
(AAAI-11), 2011.
To appear.
Bibtex
entry Paper
(PDF)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter,
and Michael Zakharyaschev.
Module Extraction via Query Inseparability in OWL 2 QL.
In Proceedings of the Twenty-Fourth International Workshop on Description
Logics (DL-11), volume 745 of CEUR Workshop Proceedings.
CEUR-WS.org, 2011.
Bibtex
entry Paper
(PDF)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael
Zakharyaschev.
The Combined Approach to Ontology-Based Data Access.
In Proceedings of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI-11), 2011.
Bibtex
entry Paper
(PDF)
Oliver Kutz and Thomas Schneider, editors.
Modular Ontologies – Proceedings of the Fifth International Workshop,
volume 230 of Frontiers in Artificial Intelligence and Applications.
IOS Press, 2011.
Bibtex
entry
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter.
Foundations of instance level updates in expressive description logics.
Artificial Intelligence, 175(18):2170–2197, 2011.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Robert Piro, and Frank Wolter.
Description Logic TBoxes: Model-theoretic Characterizations and
Rewritability.
In Proceedings of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI-11), 2011.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Foundations for Uniform Interpolation and Forgetting in Expressive
Description Logics.
In Proceedings of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI-11), 2011.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Non-Uniform Data Complexity of Query Answering in Description Logics (With
Appendix).
In Proceedings of the 24th International Workshop on Description Logics
(DL2011), volume 745 of CEUR Workshop Proceedings, 2011.
Bibtex
entry Paper
(PDF)
Arne Meier and Thomas Schneider.
Generalized Satisfiability for the Description Logic ALC (Extended
Abstract).
In M. Ogihara and J. Tarui, editors, Proceedings of the 8th Annual
Conference on Theory and Applications of Models of Computation (TAMC-11),
volume 6648 of Lecture Notes in Computer Science, pages 552–562.
Springer, 2011.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Alan L. Rector, Sam Brandt, and Thomas Schneider.
Getting the foot out of the pelvis: modeling problems affecting use of
SNOMED CT hierarchies in practical applications.
JAMIA, 18(4):432–440, 2011.
Bibtex
entry
Balder ten Cate, Enrico Franconi, and Inanç Seylan.
Beth Definability in Expressive Description Logics.
In Proceedings of the 22nd International Joint Conference on Artificial
Intelligence (IJCAI-11), 2011.
to appear.
Bibtex
entry Paper
(PDF)
2010
Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. Query and Predicate Emptiness in Description Logics. In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, 2010.Bibtex entry Paper (PDF)
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas
Simkus.
Query answering in the Description Logic S.
In Proceedings of the 23rd International Workshop on Description Logics
(DL2010), CEUR-WS, 2010.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu, Hélène Fargier, and Pierre Marquis.
Knowledge Compilation in the Modal Logic S5.
In Proceedings of the Twenty-Fifth Conference on Artificial Intelligence
(AAAI-10), 2008.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu, Jérôme Lang, and Nic Wilson.
From preference logics to preference languages, and back.
In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th
International Conference on Principles of Knowledge Representation and
Reasoning (KR2010). AAAI Press, 2010.
Bibtex
entry Paper
(PDF)
Stanislav Böhm, Stefan Göller, and Petr Jancar.
Bisimilarity of One-Counter Processes is PSPACE-complete.
In Paul Gastin and Francois Laroussinie, editors, Proceedings of the 21st
International Conference on Concurrency Theory (CONCUR 2010). Springer,
2010.
Bibtex
entry Paper
(PDF)
Stefan Göller, Christoph Haase, Joël Ouaknine, and James Worrell.
Model Checking Succinct and Parametric One-Counter Automata.
In Samson Abramsky, editor, Proceedings of the 37th International
Colloquium on Automata, Languages and Programming (ICALP 2010).
Springer, 2010.
Bibtex
entry Paper
(PDF)
Stefan Göller and Markus Lohrey.
Branching-time Model Checking of One-counter Processes.
In Jean-Yves Marion and Thomas Schwentick, editors, Proceedings of the 27th
International Symposium of Theoretical Aspects of Computer Science (STACS
2010). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
Bibtex
entry Paper
(PDF)
Szymon Klarman and Victor Gutierrez-Basulto.
ALC_ALC: a Context Description Logic.
In Proceedings of the 12th European Conference on Logics in Artificial
Intelligence (JELIA 2010), 2010.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Denis Ponomaryov, and Frank Wolter.
Decomposing Description Logic Ontologies.
In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th
International Conference on Principles of Knowledge Representation and
Reasoning (KR2010). AAAI Press, 2010.
Bibtex
entry Paper
(PDF)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael
Zakharyaschev.
The Combined Approach to Query Answering in DL-Lite.
In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th
International Conference on Principles of Knowledge Representation and
Reasoning (KR2010). AAAI Press, 2010.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Robert Piro, and Frank Wolter.
Enriching EL-Concepts with Greatest Fixpoints.
In Proceedings of the 19th European Conference on Artificial Intell igence
(ECAI10). IOS Press, 2010.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Robert Piro, and Frank Wolter.
EL-concepts go Second Order: Greatest Fixpoints and Simulation
Quantifiers.
In Proceedings of the 23rd International Workshop on Description Logics
(DL2010), CEUR-WS, 2010.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Lutz Schröder.
Probabilistic Description Logics for Subjective Uncertainty.
In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th
International Conference on Principles of Knowledge Representation and
Reasoning (KR2010). AAAI Press, 2010.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Deciding inseparability and conservative extensions in the description
logic EL.
Journal of Symbolic Computation, 45(2):194–228, 2010.
Bibtex
entry Paper
(PDF)
2009
Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. In Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.Bibtex entry Paper (PDF)
Meghyn Bienvenu.
Prime Implicates and Prime Implicants: From Propositional to Modal
Logic.
Journal of Artificial Intelligence Research, 36:71–128, 2009.
Bibtex
entry Paper
(PDF)
Piero Bonatti, Carsten Lutz, and Frank Wolter.
The Complexity of Circumscription in Description Logic.
Journal of Artificial Intelligence Research (JAIR), 35:717–775,
2009.
Bibtex
entry Paper
(PDF)
Balder ten Cate and Carsten Lutz.
The complexity of query containment in expressive fragments of XPath
2.0.
Journal of the ACM, 56(6), 2009.
Bibtex
entry Paper
(PDF)
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus.
Query Answering in Description Logics: The Knots Approach.
In Hiroakira Ono, Makoto Kanazawa, and Ruy J. G. B. de Queiroz, editors,
Proceedings of the 16th International Workshop on Logic, Language,
Information and Computation (WoLLIC 2009), volume 5514 of LNCS,
pages 26–36. Springer, 2009.
Bibtex
entry Paper
(PDF)
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus.
Query Answering in Description Logics with Transitive Roles.
In Proceedings of the 21st International Joint Conference on Artificial
Intelligence (IJCAI09). AAAI Press, 2009.
Bibtex
entry Paper
(PDF)
Stefan Göller, Markus Lohrey, and Carsten Lutz.
PDL with Intersection and Converse: Satisfiability and Infinite-State
Model Checking.
Journal of Symbolic Logic, 74(1):279–314, 2009.
Bibtex
entry Paper
(PDF)
Stefan Göller, Richard Mayr, and Anthony Widjaja To.
On the Computational Complexity of Verifying One-Counter Processes.
In Proceedings of the 24th Annual IEEE Symposium on Logic in Computer
Science (LICS09). IEEE Computer Society, 2009.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Formal properties of modularization.
In Heiner Stuckenschmidt, Christine Parent, and Stefano Spaccapietra, editors,
Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization, volume 5445 of Lecture Notes in Computer Science,
pages 25–66. Springer, 2009.
Bibtex
entry Paper
(PDF)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael
Zakharyaschev.
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.
In Proceedings of the 22nd International Workshop on Description Logics
(DL2009), volume 477 of CEUR-WS, 2009.
Bibtex
entry Paper
(PDF)
Carsten Lutz, David Toman, and Frank Wolter.
Conjunctive Query Answering in the Description Logic EL using a
Relational Database System.
In Proceedings of the 21st International Joint Conference on Artificial
Intelligence (IJCAI09). AAAI Press, 2009.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Mathematical Logic for Life Science Ontologies.
In Hiroakira Ono, Makoto Kanazawa, and Ruy J. G. B. de Queiroz, editors,
Proceedings of the 16th International Workshop on Logic, Language,
Information and Computation (WoLLIC 2009), volume 5514 of LNCS,
pages 37–47. Springer, 2009.
Bibtex
entry Paper
(PDF)
2008
Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL Envelope Further. In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.Bibtex entry Paper (PDF)
Franz Baader, Silvio Ghilardi, and Carsten Lutz.
LTL over Description Logic Axioms.
In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the 11th
International Conference on Principles of Knowledge Representation and
Reasoning (KR2008), pages 684–694. AAAI Press, 2008.
Bibtex
entry Paper
(PDF)
Franz Baader, Silvio Ghilardi, and Carsten Lutz.
LTL over Description Logic Axioms.
In Proceedings of the 21st International Workshop on Description Lo gics
(DL2008), volume 353 of CEUR-WS, 2008.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu.
Complexity of Abduction in the EL Family of Lightweight Description
Logics.
In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the
Eleventh International Conference on Principles of Knowledge Representation
and Reasoning (KR08), pages 220–230. AAAI Press, 2008.
Bibtex
entry Paper
(PDF)
Meghyn Bienvenu.
Prime Implicate Normal Form for ALC Concepts.
In Proceedings of the Twenty-Third Conference on Artificial Intelligence
(AAAI-08), pages 412–417. AAAI Press, 2008.
Bibtex
entry Paper
(PDF)
P. Bonatti, C. Lutz, A. Murano, and M. Vardi.
The Complexity of Enriched mu-Calculi.
Logical Methods in Computer Science, 4(3), 2008.
Bibtex
entry Paper
(PDF)
Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Answering conjunctive queries in the SHIQ description
logic.
Journal of Artificial Intelligence Research, 31:150–197, 2008.
Bibtex
entry Paper
(PDF)
Christoph Haase and Carsten Lutz.
Complexity of Subsumption in the EL Family of Description Logics: Acyclic
and Cyclic TBoxes.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos
Avouris, editors, Proceedings of the 18th European Conference on
Artificial Intelligence (ECAI08), volume 178 of Frontiers in
Artificial Intelligence and Applications, pages 25–29. IOS Press, 2008.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolte r.
Logical Difference and Module Extraction with CEX and MEX.
In Proceedings of the 21st International Workshop on Description Lo gics
(DL2008), volume 353 of CEUR-WS, 2008.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of
OWL.
In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of
the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
Bibtex
entry Paper
(PDF)
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Semantic Modularity and Module Extraction in Description Logics.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos
Avouris, editors, Proceedings of the 18th European Conference on
Artificial Intelligence (ECAI08), volume 178 of Frontiers in
Artificial Intelligence and Applications, pages 55–59. IOS Press, 2008.
Bibtex
entry Paper
(PDF)
Hongkai Liu, Carsten Lutz, and Maja Milicic.
The Projection Problem for EL Actions.
In Proceedings of the 2008 International Workshop on Description Logics
(DL2008), volume 353 of CEUR-WS, 2008.
Bibtex
entry Paper
(PDF)
Carsten Lutz.
The Complexity of Conjunctive Query Answering in Expressive Description
Logics.
In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors,
Proceedings of the 4th International Joint Conference on Automated Reasoning
(IJCAR2008), number 5195 in LNAI, pages 179–193. Springer, 2008.
Bibtex
entry Paper
(PDF)
Carsten Lutz.
Two Upper Bounds for Conjunctive Query Answering in SHIQ.
In Proceedings of the 21st International Workshop on Description Logics
(DL2008), volume 353 of CEUR-WS, 2008.
Bibtex
entry Paper
(PDF)
Carsten Lutz, David Toman, and Frank Wolter.
Conjunctive Query Answering in EL using a Database System.
In Catherine Dolbear, Alan Ruttenberg, and Ulrike Sattler, editors,
Proceedings of the Fifth Workshop on OWL: Experiences and Directions
(OWLED), 2008.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Frank Wolter, and Michael Zakharyaschev.
Temporal Description Logics: A Survey.
In Proceedings of the Fifteenth International Symposium on Temporal
Representation and Reasoning. IEEE Computer Society Press, 2008.
Bibtex
entry Paper
(PDF)
2007
Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporalising Tractable Description Logics. In Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2007.Bibtex entry Paper (PDF)
Alessandro Artale, Carsten Lutz, and David Toman.
A Description Logic of Change.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 218–223. AAAI
Press, 2007.
Bibtex
entry Paper
(PDF)
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn.
Is Tractable Reasoning in Extensions of the Description Logic
EL Useful in Practice?.
In Journal of Logic, Language and Information, Special Issue on Method for
Modality (M4M), 2007.
To appear.
Bibtex
entry Paper
(PS) Paper
(PDF)
Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Answering conjunctive queries in the SHIQ description
logic.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 299–404. AAAI
Press, 2007.
Bibtex
entry Paper
(PDF)
Stefan Göller, Markus Lohrey, and Carsten Lutz.
PDL with Intersection and Converse is 2EXP-complete.
In Helmut Seidl, editor, Proceedings of the Tenth International Conference
on Foundations of Software Science and Computation Structures
(FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science,
pages 198–212. Springer-Verlag, 2007.
Bibtex
entry Paper
(PDF)
Adila Krisnadhi and Carsten Lutz.
Data Complexity in the EL family of Description Logics.
In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of the 14th
International Conference on Logic for Programming, Artificial Intelligence,
and Reasoning (LPAR2007), volume 4790 of Lecture Notes in
Artificial Intelligence, pages 333–347. Springer-Verlag, 2007.
Bibtex
entry Paper
(PDF)
Adila Krisnadhi and Carsten Lutz.
Data Complexity in the EL family of DLs.
In Proceedings of the 2007 International Workshop on Description Logics
(DL2007), volume 250 of CEUR-WS, 2007.
Bibtex
entry Paper
(PDF)
Cristoph Löding, Carsten Lutz, and Olivier Serre.
Propositional Dynamic Logic with Recursive Programs.
Journal of Logic and Algebraic Programming, 73:51–69, 2007.
Bibtex
entry Paper
(PDF)
Carsten Lutz.
Inverse Roles Make Conjunctive Queries Hard.
In Proceedings of the 2007 International Workshop on Description Logics
(DL2007), volume 250 of CEUR-WS, 2007.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Maja Milicic.
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Journal of Automated Reasoning, 38(1–3):227–259, 2007.
Bibtex
entry Paper
(PDF)
Carsten Lutz, Dirk Walther, and Frank Wolter.
Conservative Extensions in Expressive Description Logics.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 453–458. AAAI
Press, 2007.
Bibtex
entry Paper
(PDF)
Carsten Lutz and Frank Wolter.
Conservative Extensions in the Lightweight Description Logic
EL.
In Frank Pfenning, editor, Proceedings of the 21th Conference on Automated
Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial
Intelligence, pages 84–99. Springer-Verlag, 2007.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
Balder ten Cate and Carsten Lutz.
Query Containment in Very Expressive XPath dialects.
In Leonid Libkin, editor, 26th ACM Symposium on Principles of Database
Systems (PODS'07), pages 73–82. ACM Press, 2007.
Bibtex
entry Paper
(PDF)
2006
F. Baader and C. Lutz. Description Logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 757–820. Elsevier, 2006.Bibtex entry Paper (PS)
F. Baader, C. Lutz, and B. Suntisrivaraporn.
CEL—A Polynomial-time Reasoner for Life Science
Ontologies.
In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International
Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of
Lecture Notes in Artificial Intelligence, pages 287–291.
Springer-Verlag, 2006.
Bibtex
entry Paper
(PS) Paper
(PDF) ©Springer-Verlag
F. Baader, C. Lutz, and B. Suntisrivaraporn.
Efficient Reasoning in EL+.
In Proceedings of the 2006 International Workshop on Description Logics
(DL'06), volume 189 of CEUR-WS, 2006.
Bibtex
entry Paper
(PS) Paper
(PDF)
P. Bonatti, C. Lutz, A. Murano, and M. Vardi.
The Complexity of Enriched µ-Calculi.
In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener,
editors, Proccedings of the 33rd International Colloquium on Automata,
Languages and Programming, Part II (ICALP'06), volume 4052 of
Lecture Notes in Computer Science, pages 540–551. Springer-Verlag, 2006.
Bibtex
entry Paper
(PDF) ©Springer-Verlag
P. Bonatti, C. Lutz, and F. Wolter.
Expressive Non-Monotonic Description Logics Based on Circumscription.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 400–410. AAAI Press, 2006.
Bibtex
entry Paper
(PDF)
S. Ghilardi, C. Lutz, and F. Wolter.
Did I Damage my Ontology? A Case for Conservative Extensions in
Description Logics.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 187–197. AAAI Press, 2006.
Bibtex
entry Paper
(PDF)
S. Ghilardi, C. Lutz, F. Wolter, and M. Zakharyaschev.
Conservative Extensions in Modal Logics.
In Guido Governatori, Ian Hodkinson, and Yde Venema, editors, Advances in
Modal Logics Volume 6, pages 187–207. College Publications, 2006.
Bibtex
entry Paper
(PDF)
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Description Logic Actions with general TBoxes: a Pragmatic
Approach.
In Proceedings of the 2006 International Workshop on Description Logics
(DL2006), 2006.
Bibtex
entry Paper
(PDF)
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Reasoning about Actions using Description Logics with general TBoxes.
In Michael Fisher, Wiebe van der Hoek, Boris Konev, and Alexei Lisitsa,
editors, Proceedings of the 10th European Conference on Logics in
Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes
in Artificial Intelligence, pages 266–279. Springer-Verlag, 2006.
Bibtex
entry Paper
(PDF)
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Updating Description Logic ABoxes.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 46–56. AAAI Press, 2006.
Bibtex
entry Paper
(PDF)
C. Lutz.
Complexity and Succinctness of Public Announcement Logic.
In Peter Stone and Gerhard Weiss, editors, Proceedings of the Fifth
International Joint Conference on Autonomous Agents and Multiagent Systems
(AAMAS'06), pages 137–144. Association for Computing Machinery (ACM),
2006.
Bibtex
entry Paper
(PDF)
C. Lutz and M. Milicic.
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Journal of Automated Reasoning, 38(1–3):227–259, 2007.
Bibtex
entry Paper
(PDF)
C. Lutz, D. Walther, and F. Wolter.
Quantitative Temporal Logics: PSpace and below.
Information and Computation, 205(1):99–123, 2006.
Bibtex
entry Paper
(PS)
C. Lutz and F. Wolter.
Modal Logics of Topological Relations.
Logical Methods in Computer Science, 2(2), 2006.
Bibtex
entry Paper
(PS)
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller,
Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio
Tessaris.
Reasoning Support for Ontology Design.
In Proceedings of the 2006 Workshop on OWL: Experiences and
Directions, 2006.
Bibtex
entry Paper
(PDF)
D. Walther, C. Lutz, F. Wolter, and M. Wooldridge.
ATL is Indeed ExpTime-complete.
Journal of Logic and Computation, 16(6):765–787, 2006.
Bibtex
entry Paper
(PDF)
2005
F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, pages 364–369. Professional Book Center, 2005.Bibtex entry Paper (PDF)
F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter.
A Description Logic Based Approach to Reasoning about Web Services.
In Proceedings of the WWW 2005 Workshop on Web Service Semantics
(WSS2005), Chiba City, Japan, 2005.
Bibtex
entry Paper
(PDF)
F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter.
Integrating Description Logics and Action Formalisms: First Results.
In Proceedings of the 2005 International Workshop on Description Logics
(DL2005), number 147 in CEUR-WS, 2005.
Bibtex
entry Paper
(PDF)
F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter.
Integrating Description Logics and Action Formalisms: First Results.
In Manuela M. Veloso and Subbarao Kambhampati, editors, Proceedings of the
Twentieth National Conference on Artificial Intelligence (AAAI-05),
pages 572–577. AAAI Press, 2005.
Bibtex
entry Paper
(PDF)
F. Baader, C. Lutz, and B. Suntisrivaraporn.
Is Tractable Reasoning in Extensions of the Description Logic
EL Useful in Practice?.
In Proceedings of the Methods for Modalities Workshop (M4M-05), Berlin,
Germany, 2005.
Bibtex
entry Paper
(PS) Paper
(PDF)
Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen.
A new -ary existential quantifier in description logics.
In Ulrich Furbach, editor, Proceedings of the 28th Annual German Conference
on Artificial Intelligence (KI'05), volume 3698 of Lecture Notes in
Computer Science, pages 18–33. Springer, 2005.
Bibtex
entry Paper
(PS)
Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen.
A New n-ary Existential Quantifier in Description Logics.
In Proceedings of the 2005 International Workshop on Description Logics
(DL2005), number 147 in CEUR-WS, 2005.
Bibtex
entry Paper
(PS) Paper
(PDF)
M. Lange and C. Lutz.
2-ExpTime lower bounds for Propositional Dynamic Logics with
intersection.
Journal of Symbolic Logic, 70(5):1072–1086, 2005.
Bibtex
entry Paper
(PS)
C. Lutz.
PDL with Intersection and Converse is Decidable.
In C.-H. Luke Ong, editor, Computer Science Logic (CSL'05), volume 3634
of Lecture Notes in Computer Science, pages 413–427.
Springer-Verlag, 2005.
Bibtex
entry Paper
(PS)
C. Lutz, C. Areces, I. Horrocks, and U. Sattler.
Keys, Nominals, and Concrete Domains.
Journal of Artificial Intelligence Research, 23:667–726, 2005.
Bibtex
entry Paper
(PS)
C. Lutz and M. Milicic.
A Tableau Algorithm for Description Logics with Concrete Domains and
GCIs.
In Bernhard Beckert, editor, Proceedings of the 14th International
Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX 2005, volume 3702 of LNAI, pages 201–216, Koblenz,
Germany, 2005. Springer.
Bibtex
entry Paper
(PDF)
C. Lutz and M. Milicic.
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
In Proceedings of the 2005 International Workshop on Description Logics
(DL2005), number 147 in CEUR-WS, 2005.
Bibtex
entry Paper
(PDF)
C. Lutz, U. Sattler, and L. Tendera.
The Complexity of Finite Model Reasoning in Description Logics.
Information and Computation, 199:132–171, 2005.
Bibtex
entry Paper
(PS)
C. Lutz and D. Walther.
PDL with Negation of Atomic Programs.
Journal of Applied Non-Classical Logic, 15(2):189–214, 2005.
Bibtex
entry Paper
(PS)
C. Lutz, D. Walther, and F. Wolter.
Quantitative Temporal Logics: PSpace and below.
In Proceedings of the Twelfth International Symposium on Temporal
Representation and Reasoning, pages 138–146. IEEE Computer Society
Press, 2005.
Bibtex
entry Paper
(PDF)
2004
A. Artale and C. Lutz. A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logic, 14(1–2):209–233, 2004.Bibtex entry Paper (PS)
E. Karabaev and C. Lutz.
Mona as a DL Reasoner.
In Proceedings of the 2004 International Workshop on Description Logics
(DL2004), CEUR-WS, 2004.
Bibtex
entry Paper
(PS)
R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev.
Temporal Tableaux.
Studia Logica, 76(1):91–134, 2004.
Bibtex
entry Paper
(PS)
O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev.
E-Connections of Abstract Description Systems.
Artificial Intelligence, 156(1):1–73, 2004.
Bibtex
entry Paper
(PS)
C. Lutz.
Combining Interval-based Temporal Reasoning with General TBoxes.
Artificial Intelligence, 152(2):235–274, 2004.
Bibtex
entry Paper
(PS)
C. Lutz and M. Milicic.
Description Logics with Concrete Domains and Functional Dependencies.
In Ramon López de Mántaras and Lorenza Saitta, editors, Proceedings of
the 16th International Conference on Artificial Intelligence (ECAI'04),
pages 378–382. IOS Press, 2004.
Bibtex
entry Paper
(PS)
C. Lutz and D. Walther.
PDL with Negation of Atomic Programs.
In David Basin and Michael Rusinowitch, editors, Proceedings of the 2nd
International Joint Conference on Automated Reasoning (IJCAR'04),
volume 3097 of Lecture Notes in Artificial Intelligence, pages
259–273. Springer Verlag, 2004.
Bibtex
entry Paper
(PS)
C. Lutz and F. Wolter.
Modal Logics of Topological Relations.
In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing,
editors, Proceedings of the 2004 Confernce on Advances in Modal Logic
(AiML'04), pages 249–263. King's College Publications, 2004.
Bibtex
entry Paper
(PS)
Carsten Lutz.
NExpTime-complete Description Logics with Concrete Domains.
ACM Transactions on Computational Logic, 5(4):669–705, 2004.
Bibtex
entry
2003
F. Baader, J. Hladik, C. Lutz, and F. Wolter. From Tableaux to Automata for Description Logics. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, pages 1–32. Springer, 2003.Bibtex entry Paper (PS) ©Springer-Verlag
Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter.
From Tableaux to Automata for Description Logics.
Fundamenta Informaticae, 57:1–33, 2003.
Bibtex
entry Paper
(PS)
O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev.
E-connections of Description Logics.
In Proceedings of the 2003 International Workshop on Description Logics
(DL2003), CEUR-WS, 2003.
Bibtex
entry Paper
(PS)
C. Lutz.
Description Logics with Concrete Domains—A Survey.
In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, and Michael
Zakharyaschev, editors, Advances in Modal Logics Volume 4, pages
265–296. King's College Publications, 2003.
Bibtex
entry Paper
(PS)
C. Lutz, C. Areces, I. Horrocks, and U. Sattler.
Keys, Nominals, and Concrete Domains.
In Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence (IJCAI'03), pages 349–354. Morgan-Kaufmann
Publishers, 2003.
Bibtex
entry Paper
(PS)
C. Lutz, U. Sattler, and L. Tendera.
The Complexity of Finite Model Reasoning in Description Logics.
In Proceedings of the 19th Conference on Automated Deduction (CADE-19),
volume 2741 of Lecture Notes in Artificial Intelligence, pages
60–74. Springer Verlag, 2003.
Bibtex
entry Paper
(PS)
C. Lutz, U.Sattler, and L. Tendera.
Finite Model reasoning in ALCQI is ExpTime-complete.
In Proceedings of the 2003 International Workshop on Description Logics
(DL2003), CEUR-WS, 2003.
Bibtex
entry Paper
(PS)
C. Lutz, F. Wolter, and M. Zakharyaschev.
Reasoning about concepts and similarity.
In Proceedings of the 2003 International Workshop on Description Logics
(DL2003), CEUR-WS, 2003.
Bibtex
entry Paper
(PS)
C. Lutz, F. Wolter, and M. Zakharyaschev.
A Tableau Algorithm for Reasoning about Concepts and Similarity.
In Proceedings of the 2003 International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods (TABLEAUX'03), volume 2796
of Lecture Notes in Artificial Intelligence, pages 134–149. Springer
Verlag, 2003.
Bibtex
entry Paper
(PS)
2002
C. Areces and C. Lutz. Concrete Domains and Nominals United.. In Carlos Areces, Patrick Blackburn, Maarten Marx, and Ulrike Sattler, editors, Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02), 2002.Bibtex entry Paper (PS)
F. Baader, C. Lutz, H. Sturm, and F. Wolter.
Fusions of Description Logics and Abstract Description Systems.
Journal of Artificial Intelligence Research (JAIR), 16:1–58, 2002.
Bibtex
entry Paper
(PS)
C. Lutz.
Adding Numbers to the SHIQ Description Logic—First
Results.
In Proceedings of the Eighth International Conference on Principles of
Knowledge Representation and Reasoning (KR'02), pages 191–202. Morgan
Kaufman, 2002.
Bibtex
entry Paper
(PS)
C. Lutz.
Description Logics with Concrete Domains—A Survey.
In Advances in Modal Logic 2002 (AiML 2002), Toulouse, France, 2002.
Final version appeared in Advanced in Modal Logic Volume 4, 2003.
Bibtex
entry Paper
(PS)
C. Lutz.
PSpace Reasoning with the Description Logic
ALCF(D).
Logic Journal of the IGPL, 10(5):535–568, 2002.
Bibtex
entry Paper
(PS)
C. Lutz.
Reasoning about Entity Relationship Diagrams with Complex Attribute
Dependencies.
In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002
International Workshop on Description Logics (DL'02), 2002.
Bibtex
entry Paper
(PS)
C. Lutz and U. Sattler.
A Proposal for Describing Services with DLs.
In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002
International Workshop on Description Logics (DL'02), 2002.
Bibtex
entry Paper
(PS)
C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev.
A Tableau Decision Algorithm for Modalized ALC with Constant
Domains.
Studia Logica, 72(2):199–232, 2002.
Bibtex
entry Paper
(PDF)
2001
C. Lutz. Interval-based Temporal Reasoning with General TBoxes. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence IJCAI-01, pages 89–94, Seattle, Washington, USA, 2001. Morgan-Kaufmann Publishers.Bibtex entry Paper (PS)
C. Lutz.
NExpTime-complete Description Logics with Concrete Domains.
In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors,
Proceedings of the International Joint Conference on Automated Reasoning,
number 2083 in Lecture Notes in Artifical Intelligence, pages 45–60, Siena,
Italy, 2001. Springer Verlag.
Bibtex
entry Paper
(PS)
C. Lutz and U. Sattler.
The Complexity of Reasoning with Boolean Modal Logics.
In Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev,
editors, Advances in Modal Logics Volume 3. CSLI Publications,
Stanford, 2001.
Bibtex
entry Paper
(PS)
C. Lutz, U. Sattler, and F. Wolter.
Description Logics and the Two-Variable Fragment.
In D.L. McGuiness, P.F. Pater-Schneider, C. Goble, and R. Möller, editors,
Proceedings of the 2001 International Workshop in Description Logics
(DL-2001), pages 66–75, Stanford, California, USA, 2001.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/.
Bibtex
entry Paper
(PS)
C. Lutz, U. Sattler, and F. Wolter.
Modal Logic and the two-variable fragment.
In Laurent Fribourg, editor, Computer Science Logic (CSL'01), volume
2142 of Lecture Notes in Computer Science, pages 247–261.
Springer-Verlag, 2001.
Bibtex
entry Paper
(PS)
C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev.
Tableaux for Temporal Description Logic with Constant Domain.
In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors,
Proceedings of the International Joint Conference on Automated Reasoning,
number 2083 in Lecture Notes in Artifical Intelligence, pages 121–136,
Siena, Italy, 2001. Springer Verlag.
Bibtex
entry Paper
(PS)
2000
F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of Description Logics. In F. Baader and U. Sattler, editors, Proceedings of the International Workshop in Description Logics 2000 (DL2000), number 33 in CEUR-WS, pages 21–30, Aachen, Germany, August 2000. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/.Bibtex entry Paper (PS)
C. Lutz.
NExpTime-Complete Description Logics with Concrete Domains.
In C. Pilière, editor, Proceedings of the ESSLLI-2000 Student
Session, University of Birmingham, August 2000.
Bibtex
entry Paper
(PS)
C. Lutz and U. Sattler.
The Complexity of Reasoning with Boolean Modal Logic.
In Advances in Modal Logic 2000 (AiML 2000), Leipzig, Germany, 2000.
Final version appeared in Advanced in Modal Logic Volume 3, 2001.
Bibtex
entry
C. Lutz and U. Sattler.
Mary likes all Cats.
In F. Baader and U. Sattler, editors, Proceedings of the 2000 International
Workshop in Description Logics (DL2000), number 33 in CEUR-WS, pages
213–226, Aachen, Germany, August 2000. RWTH Aachen.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/.
Bibtex
entry Paper
(PS)
1999 and older
A. Artale and C. Lutz. A Correspondance between Temporal Description Logics. In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and Peter Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), number 22 in CEUR-WS, pages 145–149, Linkoeping, Sweden, July 30 – August 1 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.Bibtex entry Paper (PS)
V. Haarslev, C. Lutz, and R. Möller.
A Description Logic with Concrete Domains and Role-forming Predicates.
Journal of Logic and Computation, 9(3):351–384, 1999.
Bibtex
entry Paper
(PS)
Volker Haarslev, Carsten Lutz, and Ralf Möller.
Foundations of Spatioterminological Reasoning with Description Logics.
In Anthony G. Cohn, L.K. Schubert, and S.C. Shapiro, editors, Principles of
Knowledge Representation and Reasoning: Proceedings of the Sixth
International Conference (KR'98), pages 112–124. Morgan-Kaufmann
Publishers, 1998.
Bibtex
entry Paper
(PS)
C. Lutz.
Complexity of Terminological Reasoning Revisited.
In Proceedings of the 6th International Conference on Logic for Programming
and Automated Reasoning LPAR'99, Lecture Notes in Artificial
Intelligence, pages 181–200. Springer-Verlag, September 6 – 10, 1999.
Bibtex
entry Paper
(PS) ©Springer-Verlag
C. Lutz.
Reasoning with Concrete Domains.
In Thomas Dean, editor, Proceedings of the Sixteenth International Joint
Conference on Artificial Intelligence IJCAI-99, pages 90–95, Stockholm,
Sweden, July 31 – August 6, 1999. Morgan-Kaufmann Publishers.
Bibtex
entry Paper
(PS)
C. Lutz, U. Sattler, and S. Tobies.
A Proposal for an n-ary Description Logic.
In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and
Peter Patel-Schneider, editors, Proceedings of the International Workshop
on Description Logics, number 22 in CEUR-WS, pages 81–85, Linkoeping,
Sweden, July 30 – August 1 1999. Linköping University.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex
entry Paper
(PS)
Carsten Lutz and Ralf Möller.
Defined Topological Relations in Description Logics.
In Marie-Christine Rousset, Ron Brachman, Francesco Donini, Enrico Franconi,
Ian Horrocks, and Alon Levy, editors, Proceedings of the International
Workshop on Description Logics, pages 15–19, Gif sur Yvette (Paris),
France, 1997. Université Paris-Sud, Centre d'Orsay.
Bibtex
entry Paper
(PS)