Carsten Lutz list of publications
Please select
Journal,
Book Contributions,
Edited Volumes,
Conference,
Workshop, or
Technical Reports.
Journal Publications
Piero Bonatti, Carsten Lutz and Frank Wolter. The Complexity of
Circumscription in Description Logic. Journal of Artificial
Intelligence Research (JAIR),
to appear.
paper as pdf,
bibtex entry
Carsten Lutz and Frank Wolter. Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation,
to appear.
paper as pdf,
bibtex entry
Stefan Goeller, 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.
paper as pdf,
bibtex entry
Piero Bonatti, Carsten Lutz, Aniello Murano, and Moshe Vardi. The
Complexity of Enriched mu-Calculi. Logical Methods in Computer
Science, 4(3), 2008.
paper as pdf,
bibtex entry
Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Answering conjunctive queries in the SHIQ description logic. Journal
of Artificial Intelligence Research (JAIR), 31:150-197, 2008.
full paper as pdf,
bibtex entry
Christof Löding, Carsten Lutz, and Olivier Serre. Propositional
Dynamic Logic with Recursive Programs. Journal of Logic and Algebraic
Programming, 73:51-69, 2007.
full paper as pdf,
bibtex entry
Carsten Lutz and Maja Milicic. A Tableau Algorithm for Description
Logics with Concrete Domains and General TBoxes. Journal of Automated Reasoning, 38(1-3):227-259, 2007.
full paper as pdf,
bibtex entry
Carsten Lutz, Frank Wolter, and Dirk Walther. Quantitative Temporal Logics: PSpace and below. Information and Computation, 205(1):99-123, 2006
full paper as ps,
bibtex entry
Dirk Walther, Carsten Lutz, Frank Wolter, and Mike
Wooldrige. Alternating Temporal Logic is Indeed
ExpTime-complete. Journal of Logic and
Computation, 16(6):765-787, 2006.
full paper as pdf,
bibtex entry
Carsten Lutz and Frank Wolter. Modal Logics of Topological Relations.
Logical Methods in Computer Science, 2(2), 2006.
full paper as ps,
bibtex entry
Martin Lange and Carsten Lutz. 2-ExpTime lower bounds for
Propositional Dynamic Logics with intersection. Journal of Symbolic
Logic, 70(4):1072-1086, 2005
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Lidia Tendera. The Complexity of Finite Model Reasoning in Description Logics. Information and Computation, 199:132-171, 2005.
full paper as ps,
bibtex entry
Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler,
Keys, Nominals, and Concrete Domains. Journal of Artificial
Intelligence Research (JAIR), 23:667-726, 2005.
full paper as ps,
bibtex entry
Carsten Lutz and Dirk Walther, PDL with negation of atomic programs Journal of Applied Non-Classical Logics, 15(2):189-214, 2005.
full paper as ps,
bibtex entry
Carsten Lutz, NExpTime-complete Description Logics with Concrete Domains.
ACM Transactions on Computational Logic, 5(4):669-705, 2004.
full paper as ps,
bibtex entry
Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. E-Connections of Abstract Description Systems.
Artificial Intelligence, 156(1):1-73, 2004.
full paper as ps,
bibtex entry
Carsten Lutz, Combining Interval-based Temporal Reasoning with General TBoxes.
Artificial Intelligence, 152(2):235-274, 2004.
full paper as ps,
bibtex entry
Roman Kontchakov, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal Tableaux. Studia Logica, 76(1):91-134, 2004.
full paper as ps,
bibtex entry
Alessandro Artale, Carsten Lutz, A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics, 14(1-2):209-233, 2004.
full paper as ps,
bibtex entry
Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter, From Tableaux to Automata for Description Logics.
Fundamenta Informaticae, 57:1-33, 2003.
full paper as ps,
bibtex entry
Carsten Lutz, PSpace Reasoning with the Description Logic ALCF(D). Logic
Journal of the IGPL, 10(5):535-568, 2002.
full paper as ps,
bibtex entry
Franz Baader, Carsten Lutz, Holger Sturm, and Frank Wolter, Fusions of Description Logics and Abstract Description Systems.
Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Holger Sturm, Frank Wolter, and Michael Zakharyaschev, A Tableau Decision Algorithm for Modalized ALC with Constant Domains.
Studia Logica, 72(2):199-232, 2002.
full paper as pdf,
bibtex entry
Volker Haarslev, Carsten Lutz, Ralf Möller,
A Description Logic with Concrete Domains and a Role-forming Predicate
Operator.
Journal of Logic and
Computation, 9(3), 1999.
full paper as ps,
bibtex entry,
© Oxford University Press
Book Contributions
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Formal
Properties of Modularisation. In Christine Parent, Stefano
Spaccapietra, and Heiner Stuckenschmidt, editors, Ontology
Modularization. LNCS, Springer Verlag, to appear.
full paper as ps,
bibtex entry
Franz Baader and Carsten Lutz. Description Logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 757-820. Elsevier, 2006.
full paper as ps,
bibtex entry
Carsten 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. King's College Publications, 2003.
full paper as ps,
bibtex entry
Carsten Lutz and Ulrike 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.
full paper as ps,
bibtex entry
Edited Volumes
Carsten Lutz and Jean-Francois Raskin. Proceedings of the 16th
International Symposium on Temporal Representation and
Reasoning (TIME 2009). IEEE Computer Society Press, 2009.
Steffen Hölldobler, Carsten Lutz, Heinrich Wansing. Logics in
Artificial Intelligence, Proceedings of the 11th European Conference,
JELIA 2008. volume 5293 of LNAI, 2008. Springer Verlag.
Access Documents
Franz Baader, Carsten Lutz, Boris Motik. Proceedings of the 21st
International Workshop on Description Logics (DL'08), volume
353 of CEUR workshop proceedings, 2008.
Access Documents
Pascal Hitzler, Carsten Lutz, Gerd Stumme. Proceedings of the 2005
Workshop on Foundational Aspects of Ontologies (FOnt'05), number
9-2005 in Fachberichte Informatik der Universität Koblenz-Landau,
2005.
Access Documents
Sean Bechhofer, Volker Haarslev, Carsten Lutz, and Ralf Möller,
editors. Proceedings of the 2004 Workshop on Applications of Description
Logic (ADL'04), volumer 115 of CEUR workshop proceedings, 2004.
Access Documents
Francois Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop,
editors. Proceedings of the 10th International Workshop on
Knowledge Representation meets Databases (KRDB'03), volume 79 of
CEUR workshop proceedings, 2003.
Access Documents
Günther Görz, Volker Haarslev, Carsten Lutz, and Ralf Möller,
editors. Proceedings of the 2002 Workshop on Applications of Description
Logic (ADL'02), volume 63 of of CEUR workshop proceedings, 2002.
Access Documents
Günther Görz, Volker Haarslev, Carsten Lutz, and Ralf Möller,
editors. Proceedings of the 2001 Workshop on Applications of Description
Logic (ADL'01), volume 44 of CEUR workshop proceedings, 2001.
Access Documents
Conference Publications
Carsten Lutz, David Toman, and Frank Wolter. Conjunctive Query
Answering in the Description Logic EL using a Relational Database
System (with Appendix). In
Proceedings of the 21st International Joint Conference on
Artificial Intelligence (IJCAI09), AAAI Press, 2009
full paper as pdf,
bibtex entry
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, 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
full paper as pdf,
bibtex entry
Carsten Lutz and Frank Wolter. Mathematical Logic for Life Science Ontologies.
In Proceedings of the 16th Workshop on Logic, Language, Information and Computation (WoLLIC09), volume 5293 of LNAI, 2008. Springer Verlag.
full paper as pdf,
bibtex entry
Thomas Eiter, Carsten Lutz, Magdalena Ortiz and Mantas Simkus. Query Answering in Description Logics: the Knots Approach.
In Proceedings of the 16th Workshop on Logic, Language, Information and Computat
ion (WoLLIC09), volume 5293 of LNAI, 2008. Springer Verlag.
full paper as pdf,
bibtex entry
Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over
Description Logic Axioms . In Proceedings of the 11th
International Conference on Principles of Knowledge Representation and
Reasoning (KR08), 2008.
full paper as pdf,
bibtex entry
Carsten Lutz. The Complexity of Conjunctive Query Answering in
Expressive Description Logics . In Proceedings of the 4th
International Joint Conference on Automated Reasoning (IJCAR2008).
Springer, 2008.
full paper as pdf, bibtex entry
Christoph Haase and Carsten Lutz. Complexity of Subsumption in the
EL Family of Description Logics: Acyclic and Cyclic TBoxes. In
Proceedings of the 18th European Conference on Artificial Intelligence
(ECAI08). Ios Press, 2008.
full paper as pdf,
bibtex entry
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Semantic Modularity and Module Extraction in Description Logics.
In Proceedings of the 18th European Conference on Artificial
Intelligence (ECAI08). Ios Press, 2008.
full paper as pdf,
bibtex entry
Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal
Description Logics: A Survey (With Appendix). In Proceedings of the Fifteenth
International Symposium on Temporal Representation and Reasoning (TIME'08). IEEE
Computer Society Press, 2008.
full paper as pdf,
bibtex entry
Adila Krisnadhi and Carsten Lutz. Data Complexity in the EL
family of Description Logics (With Appendix). In Proceedings
of the 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR07), volume 4790 of
Lecture Notes in Artificial Intelligence, pages 333-347.
Springer-Verlag, 2007.
full paper as pdf,
bibtex entry
Carsten Lutz and Frank Wolter. Conservative Extensions in the Lightweight
Description Logic EL. In Proceedings of the 21st Conference on Automated
Deduction (CADE-21). Springer, 2007.
paper as pdf,
bibtex entry
Balder ten Cate and Carsten Lutz. The Complexity of Query Containment
in Expressive Fragments of XPath 2.0. In Proceedings of the 26th ACM
Symposium on Principles of Database Systems (PODS'07). ACM Press,
2007.
paper as pdf,
bibtex entry
Stefan Goeller, Markus Lohrey, and Carsten Lutz. PDL with
Intersection and Converse is 2EXP-complete. In Helmut Seidl, editor,
Tenth International Conference on Foundations of Software Science and
Computation Structures (FoSSaCS 2007), Lecture Notes in Computer
Science. Springer, 2007.
paper as pdf,
bibtex entry
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 (TIME'07). IEEE Computer Society Press, 2007.
paper as pdf,
bibtex entry
Birte Glimm, Ian Horrocks, Carsten Lutz, and Ulrike Sattler.
Conjunctive Query Answering for the Description Logic SHIQ. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07. AAAI Press, 2007.
paper as pdf,
bibtex entry
Alessandro Artale, Carsten Lutz, and David Toman. A Description
Logic of Change. In Proceedings of the Twentieth International
Joint Conference on Artificial Intelligence IJCAI-07. AAAI Press,
2007.
paper as pdf,
bibtex entry
Carsten Lutz, Dirk Walther, and Frank Wolter. Conservative Extensions in Expressive Description Logics. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07. AAAI Press, 2007.
paper as pdf,
bibtex entry
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter. Reasoning about Actions
using Description Logics with general TBoxes. In Proceedings of the
10th European Conference on Logics in Artificial Intelligence (JELIA
2006), 2006.
paper as pdf,
bibtex entry
Silvio Ghilardi, Carsten Lutz, Frank Wolter, and Michael 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.
paper as pdf,
bibtex entry
Piero Bonatti, Carsten Lutz, Aniello Murano, and Moshe Vardi. The Complexity of Enriched mu-Calculi. In Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP06), 2006.
paper as pdf,
bibtex entry
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn. CEL-A
Polynomial-time Reasoner for Life Science Ontologies (System
Description). In Proceedings of the 3rd International Joint Conference
on Automated Reasoning (IJCAR'06), Lecture Notes in Artificial
Intelligence. Springer-Verlag, 2006.
paper as pdf,
bibtex entry
Silvio Ghilardi, Carsten Lutz, and Frank Wolter. Did I Damage my
Ontology? A Case for Conservative Extensions in Description Logics.
Tenth International Conference on Principles of
Knowledge Representation and Reasoning (KR06).
paper as pdf,
bibtex entry
Piero Bonatti, Carsten Lutz, and Frank Wolter. Description
Logics with Circumscription.
Tenth International Conference on Principles of
Knowledge Representation and Reasoning (KR06).
paper as pdf,
bibtex entry
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter. Updating
Description Logic ABoxes. Tenth International
Conference on Principles of Knowledge Representation and Reasoning
(KR06).
full paper as pdf,
bibtex entry
Carsten Lutz. Complexity and Succinctness of Public Announcement Logic.
In Proceedings of the Fifth International Conference on Autonomous Agents and
Multiagent Systems (AAMAS06).
full paper as pdf,
bibtex entry
Carsten Lutz. PDL with Intersection and Converse is Decidable.
In Annual Conference of the European Association for Computer Science
Logic CSL'05, LNCS. Springer Verlag, 2005.
full paper as ps,
bibtex entry
Carsten Lutz and Maja Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. In Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, Koblenz, Germany, 2005. Springer.
full paper as pdf,
bibtex entry
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler and Frank Wolter. Integrating Description Logics and Action Formalisms: First Results. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, USA, 2005.
full paper as pdf,
bibtex entry
Franz Baader, Eldar Karabaev, Carsten Lutz, and Manfred Theissen. A
New n-ary Existential Quantifier in Description Logics. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
full paper as ps,
bibtex entry,
Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL
Envelope. In Proceedings of the Nineteenth International Joint
Conference on Artificial Intelligence (IJCAI-05), 2005. Morgan-Kaufmann
Publishers.
full paper as pdf,
bibtex entry
Carsten Lutz, Dirk Walther, and Frank Wolter. Quantitative Temporal
Logics: PSpace and below. In Proceedings of the Twelfth International
Symposium on Temporal Representation and Reasoning (TIME2005), 2005. IEEE
Computer Society Press.
full paper as pdf,
bibtex entry
Carsten Lutz and Frank Wolter. Modal Logics of Topological Relations.
In Proceedings of Advances in Modal Logic 2004 (AiML-2004), 2004.
full paper as ps,
bibtex entry
Carsten Lutz and Maja Milicic. Description Logics with Concrete Domains and Functional Dependencies. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 2004.
full paper as ps,
bibtex entry
Carsten Lutz and Dirk Walther. PDL with Negation of Atomic Programs.
In Proceedings of the second International Joint Conference on
Automated Reasoning IJCAR'04, Lecture Notes in Artificial
Intelligence. Springer Verlag, 2004.
full paper as ps,
bibtex entry
Franz Baader, Jan Hladik, Carsten Lutz, and Frank 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), Lecture Notes in Computer Science. Springer, 2003.
full paper as ps,
bibtex entry
Carsten Lutz, Frank Wolter, and Michael Zakharyaschev, A tableau algorithm for reasoning about concepts and similarity.
In Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, Lecture Notes in
Artificial Intelligence. Springer Verlag, 2003.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Lidia Tendera, The Complexity of
Finite Model Reasoning in Description Logics. In Proceedings of the 19th
Conference on Automated Deduction (CADE-19), Lecture Notes in
Artificial Intelligence. Springer Verlag, 2003.
full paper as ps,
bibtex entry
Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler, Keys, Nominals, and Concrete Domains.
In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, Acapulco, Mexico, 2003. Morgan-Kaufmann Publishers.
full paper as ps,
bibtex entry
Carsten Lutz, Adding Numbers to the SHIQ Description Logic-First
Results. In Proceedings of the Eighth International Conference on
Principles of Knowledge Representation and Reasoning (KR2002). Morgan Kaufman,
2002.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Frank Wolter, Modal Logics and the two-variable
fragment. In Annual Conference of the European Association for
Computer Science Logic CSL'01, LNCS, Paris, France, 2001. Springer Verlag.
full paper as ps,
bibtex entry
Carsten Lutz, NExpTime-complete Description Logics with Concrete
Domains. In Proceedings of the International Joint Conference on Automated
Reasoning IJCAR-01, volume 2083 in Lecture Notes in Artifical Intelligence, pages
45-60, Siena, Italy, 2001. Springer Verlag.
full paper as ps,
bibtex entry
Carsten Lutz, Holger Sturm, Frank Wolter, and Michael Zakharyaschev,
Tableaux for Temporal Description Logic with Constant Domain. In
Proceedings of the International Joint Conference on Automated Reasoning IJCAR-01,
volume 2083 in Lecture Notes in Artifical Intelligence, pages 121-136, Siena,
Italy, 2001. Springer Verlag.
full paper as ps,
bibtex entry
Carsten 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.
full paper as ps,
bibtex entry
Carsten 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. Springer-Verlag, September 6 - 10, 1999.
full paper as ps,
bibtex entry
Carsten Lutz,
Reasoning with Concrete Domains.
In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99.
Morgan-Kaufmann Publishers, July 31 - August 6, 1999.
full paper as ps,
bibtex entry
Volker Haarslev,
Carsten Lutz,
Ralf Möller,
Foundations of Spatioterminological Reasoning with Description Logics.
Proceedings of the Sixth International Conference (KR'98),
A.G. Cohn, L.K. Schubert, S.C.Shapiro, editors, Morgan-Kaufmann
Publishers, 1998.
full paper as ps,
bibtex entry
Refereed Workshop Publications
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael
Zakharyaschev. Combined FO Rewritability for Conjunctive Query
Answering in DL-Lite (Long Version).
In Proceedings of the 2009 International Workshop on
Description Logics (DL2009), 2009.
full paper as pdf,
bibtex entry
Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. Query Answering over DL
ABoxes: How to Pick the Relevant Symbols (Long Version).
In Proceedings of the 2009 International Workshop on
Description Logics (DL2009), 2009.
full paper as pdf,
bibtex entry
Carsten Lutz, David Toman, and Frank Wolter. Conjunctive Query
Answering in EL using a database system. In Proceedings of the
OWLED2008 Workshop on OWL: Experienced and Directions, 2008.
full paper as pdf,
bibtex entry
Carsten Lutz. Two Upper Bounds for Conjunctive Query Answering in
SHIQ. In Proceedings of the 2008 International Workshop on
Description Logics (DL2008), 2008.
full paper as pdf,
bibtex entry
Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms. In Proceedings of the 2008 International Workshop on
Description Logics (DL2008), 2008.
full paper as pdf,
bibtex entry
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Logical Difference and Module Extraction with CEX and MEX. In Proceedings of the 2008 International Workshop on
Description Logics (DL2008), 2008.
full paper as pdf,
bibtex entry
Hongkai Liu, Carsten Lutz, and Maja Milicic. The Projection Problem for EL Actions. In Proceedings of the 2008 International Workshop on
Description Logics (DL2008), 2008.
full paper as pdf,
bibtex entry
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL. In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
full paper as pdf,
bibtex entry,
Franz Baader, Sebastian Brandt, Carsten Lutz. Pushing the EL
Envelope Further (Long Version). In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
full paper as pdf,
bibtex entry,
Carsten Lutz. Inverse Roles Make Conjunctive Queries Hard (Long Version). In
Proceedings of the 2007 International Workshop on Description Logics
(DL2007), 2007.
full paper as pdf,
bibtex entry
Adila Krisnadhi and Carsten Lutz. Data Complexity in the EL
family of DLs (With Appendix). In Proceedings of the 2007 International Workshop
on Description Logics (DL2007), CEUR-WS, 2007.
full paper as pdf,
bibtex entry
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 Bernardo Cuenca Grau, Pascal Hitzler, Connor
Shankey, and Evan Wallace, editors, In Proceedings of the second
international workshop OWL: Experiences and Directions, 2006.
full paper as pdf,
bibtex entry,
Alessandro Artale, Carsten Lutz, and David Toman. A Description Logic of Change. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006.
full paper as pdf,
bibtex entry,
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006.
full paper as pdf,
bibtex entry,
Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn.
Efficient Reasoning in EL+. In Proceedings of the 2006
International Workshop on Description Logics (DL2005), CEUR-WS, 2005.
full paper as pdf,
bibtex entry,
Franz Baader and Carsten Lutz and Boontawee 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.
full paper as pdf,
bibtex entry,
Carsten Lutz and Maja Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
full paper as pdf,
bibtex entry,
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler and Frank
Wolter. Integrating Description Logics and Action Formalisms:
First Results. In Proceedings of the 2005 International Workshop
on Description Logics (DL2005), CEUR-WS, 2005.
full paper as pdf,
bibtex entry,
Franz Baader, Eldar Karabaev, Carsten Lutz, and Manfred Theissen. A
New n-ary Existential Quantifier in Description Logics. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005.
full paper as ps,
bibtex entry,
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, and Frank
Wolter. A Description Logic Based Approach to Reasoning about Web
Services. In Proceedings of the WWW 2005 Workshop on Web Service
Semantics (WSS2005), 2005.
full paper as pdf,
bibtex entry
Eldar Karabaev and Carsten Lutz. Mona as a DL Reasoner. In
Proceedings of the 2004 International Workshop on Description Logics
(DL2004), CEUR-WS, 2004.
full paper as ps,
bibtex entry
Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Reasoning about concepts
and similarity. In Proceedings of the 2003 International Workshop on
Description Logics (DL2003), CEUR-WS, 2003.
full paper as ps,
bibtex entry
Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. E-connections of
Description Logics. In Proceedings of the 2003 International Workshop
on Description Logics (DL2003), CEUR-WS, 2003.
full paper as ps, bibtex entry
Carsten Lutz, Ulrike Sattler, and Lidia Tendera, Finite Model
reasoning in ALCQI is ExpTime-complete. In Proceedings of the 2003
International Workshop on Description Logics (DL2003), CEUR Workshop
Proceedings, 2003.
full paper as ps,
bibtex entry
Carlos Areces, Carsten Lutz, Concrete Domains and Nominals United. The 4th Workshop on Hybrid Logics HyLo@LICS, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Reasoning about Entity Relationship Diagrams with Complex
Attribute Dependencies. In Proceedings of the 2002 International Workshop on
Description Logics, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, A Proposal for Describing Services with DLs. In Proceedings of the 2002 International Workshop on
Description Logics, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Frank Wolter, Description Logics and the two-variable
fragment. In Proceedings of the 2001 International Workshop in Description
Logics (DL2001), pages 66-75, Stanford, California, USA, 2001.
full paper as ps,
bibtex entry
Carsten Lutz NExpTime-Complete Description Logics with Concrete
Domains. In C. Piliere, Proceedings of the ESSLLI-2000 Student Session,
University of Birmingham, 2000.
full paper as ps,
bibtex entry
Franz Baader, Carsten Lutz, Holger Sturm, and Frank Wolter, Fusions of
Description Logics. In Proceedings of the International Workshop in
Description Logics 2000 (DL2000), Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz and Ulrike Sattler, Mary likes all Cats.
In Proceedings of the International Workshop in Description Logics 2000
(DL2000), Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Alessandro Artale, Carsten Lutz,
Correspondance between Temporal Description Logics
In Proceedings of the International Workshop on
Description Logics, Linkoeping, Sweden, July 30 - August 1 1999.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, Stephan Tobies,
A Proposal for an n-ary Description Logic.
In: Proc. DL-99, 1999 International Workshop on Description Logics, July 30 - August
1, 1999, Linkoeping, Sweden.
full paper as ps,
bibtex entry
Carsten Lutz,
Ralf Möller,
Defined Topological Relations in Description Logics.
Proceedings of DL-97, 1997 International Workshop on Description Logics, September 27 - 29, 1997, Gif sur Yvette (Paris), France.
full paper as ps,
bibtex entry
Carsten Schröder,
Ralf Möller,
Carsten Lutz,
A Partial Logical Reconstruction of PLAKON/KONWERK.
In: Workshop Reports KI'96, Dresden, September 1996, also published as DFKI-Memo.
bibtex entry
Technical Reports
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter.
Description Logic Actions with general TBoxes: a Pragmatic
Approach. LTCS-Report 06-03, Chair for Automata Theory, Institute
for Theoretical Computer Science, Dresden University of Technology,
Germany, 2006.
full paper as pdf,
bibtex entry
Piero Bonatti, Carsten Lutz, and Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription.
LTCS-Report 05-06, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter. Updating Description Logic ABoxes.
LTCS-Report 05-10, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Carsten Lutz. Complexity and Succinctness of Public Announcement Logic.
LTCS-Report 05-09, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Carsten Lutz and Maja Milicic. A Tableau Algorithm for DLs with Concrete Domains and GCIs.
LTCS-Report 05-07, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Carsten Lutz. PDL with Intersection and Converse is Decidable.
LTCS-Report 05-05, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Carsten Lutz, Dirk Walther, and Frank Wolter Quantitative Temporal Logics: PSpace and below.
LTCS-Report 05-03, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, and Frank
Wolter Integrating Description Logics and Action Formalisms for Reasoning about Web Services.
LTCS-Report 05-02, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Franz Baader, Sebastian Brandt, and Carsten Lutz, Pushing the EL Envelope
LTCS-Report 05-01, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2005.
full paper as ps,
bibtex entry
Carsten Lutz and Maja Milicic, Description Logics with Concrete Domains and Functional Dependencies
LTCS-Report 04-06, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2004.
full paper as ps,
bibtex entry
Carsten Lutz and Frank Wolter, Modal Logics of Topological Relations
LTCS-Report 04-05, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2004.
full paper as ps,
bibtex entry
Carsten Lutz and Dirk Walther, PDL with Negation of Atomic Programs
LTCS-Report 03-04, Chair for Automata Theory, Institute for
Theoretical Computer Science, Dresden University of Technology,
Germany, 2003.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Lidia Tendera, The Complexity of Finite Model
Reasoning in Description Logics. LTCS-Report 02-05, Chair for Automata
Theory, Institute for Theoretical Computer Science, Dresden University
of Technology, Germany, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler, Keys, Nominals, and
Concrete Domains. LTCS-Report 02-04, Chair for Automata
Theory, Institute for Theoretical Computer Science, Dresden University
of Technology, Germany, 2002.
full paper as ps,
bibtex entry
Carsten Lutz, Reasoning about Entity Relationship Diagrams with Complex Attribute
Dependencies. LTCS-Report LTCS-02-01, LuFG Theoretical
Computer Science, RWTH Aachen, Germany, 2002.
full paper as ps,
bibtex entry
Carsten Lutz. Adding Numbers to the SHIQ Description Logic-First
Results. LTCS-Report LTCS-01-07, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2001.
full paper as ps,
bibtex entry
Carsten Lutz, Ulrike Sattler, and Frank Wolter, Modal Logic and the
two-variable fragment
LTCS-Report 01-04, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz, Holger Sturm, Frank Wolter, and Michael Zakharyaschev, A Tableau Calculus for Temporal Description Logic: The Constant Domain Case.
LTCS-Report 01-01, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz.
Interval-based Temporal Reasoning with General TBoxes.
LTCS-Report 00-06, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz and Ulrike Sattler.
The Complexity of Reasoning with Boolean Modal Logics (Extended Version).
LTCS-Report 00-02, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz.
NExpTime-complete Description Logics with Concrete Domains.
LTCS-Report 00-01, LuFG Theoretical Computer Science, RWTH
Aachen, Germany, 2000.
full paper as ps,
bibtex entry
Carsten Lutz, On the Complexity of Terminological Reasoning.
LTCS-Report 99-04, LuFG Theoretical Computer Science, RWTH Aachen, Germany,
1999. This paper is superceded by the technical report LTCS-00-01 and my
LPAR'99 paper.
bibtex entry
Carsten Lutz,
The Complexity of Reasoning with Concrete Domains (Revised Version).
LTCS-Report 99-01, LuFG Theoretical Computer Science, RWTH Aachen,
Germany, 1999.
full paper as ps,
bibtex entry
Ralf Möller,
Volker Haarslev,
Carsten Lutz,
Spatioterminological Reasoning Based on Geometric Inferences:
The ALCRP(D) Approach.
Report no. 277 of the computer science department of the University of Hamburg ( Report no. FBI-HH-M-277/97 )
bibtex entry
Carsten Lutz,
Volker Haarslev,
Ralf Möller,
A Concept Language with Role-Forming Predicate Restrictions.
Report no. 276 of the computer science department of the University of Hamburg ( Report no. FBI-HH-M-276/97 )
full paper as ps,
bibtex entry
Carsten Lutz,
Untersuchungen zu Teil-Ganzes-Relationen; Modellierungsanforderungen
und Realisierung in Beschreibungslogiken.
Report no. 258 of the computer science department of the University of Hamburg ( Report no. FBI-HH-M-258/96 )
bibtex entry
Back to clu's homepage