Publications: TONES

• 2009
• 2008
• 2007
• 2006
• 2005

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  Abstract  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  Abstract  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  Abstract  Paper (PDF)

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Formal Properties of Modularisation. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNCS, pages 179–193. Springer, 2008.
Bibtex entry  Abstract  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  Abstract  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  Abstract  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  Abstract  Paper (PDF)

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya. Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors, Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258. CEUR-WS, 2007.
Bibtex entry  Abstract  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  Abstract  Paper (PS)  Paper (PDF)

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, pages 52–67, Osnabrück, Germany, 2007. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. Journal of Applied Logic, 5(3):392–420, 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Journal of Applied Logic

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  Abstract  Paper (PDF)

Adila Krisnadhi. Data Complexity of Instance Checking in the EL Family of Description Logics. Master thesis, TU Dresden, Germany, 2007.
Bibtex entry  Abstract  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  Abstract  Paper (PDF)

C. Lutz. Inverse Roles Make Conjunctive Queries Hard. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. To appear.
Bibtex entry  Abstract  Paper (PDF)

Maja Milicic. Complexity of Planning in Action Formalisms Based on Description Logics. In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PDF)

Maja Milicic. Planning in Action Formalisms based on DLs: First Results. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader. SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. In Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series). IOS Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

A.-Y. Turhan and Y. Bong. Speeding up Approximation with Nicer Concepts. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL 2007), 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader, C. Lutz, and B. Suntisrivaraporn. Efficient Reasoning in EL^+. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006. To appear.
Bibtex entry  Abstract  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  Abstract  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  Abstract  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  Abstract  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  Abstract  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  Abstract  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  Abstract  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  Abstract  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  Abstract  Paper (PDF)

C. Lutz and M. Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

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, November 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, and Timo Weithöner. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Anni-Yasmin Turhan, Thomas Springer, and Michael Berger. Pushing Doors for Modeling Contexts with OWL DL –a Case Study. In Jadwiga Indulska and Daniela Nicklas, editors, Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer Society, March 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Sebastian Brandt and Jörg Model. Subsumption in EL w.r.t. hybrid TBoxes. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Anni-Yasmin Turhan. Pushing the SONIC border — SONIC 1.0. In Reinhold Letz, editor, FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005. http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)