Prof. Dr. Carsten Lutz
Visitors: Room P810, Paulinum, Augustusplatz 10
Tel.: ++49 341 97-32343
Universität Leipzig
Fakultät für Mathematik und Informatik
Institut für Informatik
Augustusplatz 10
04109 Leipzig

Abteilung Grundlagen der Wissensrepräsentation.

For my publications, please see group publication list, DBLP, or Google scholar

A Textbook on Description Logics

Recent Activities

  • PC Member of the 44th Symposium on the Principles of Database Systems (PODS2025)
  • PC Member of the International Colloquium on Automata, Languages and Programming (ICALP2024, Track B)
  • PC Member of the EACSL Annual Conference on Computer Science Logic (CSL2024)
  • IJCAI2023 distinguished paper award
  • PODS2023 Best Paper Award
  • AAAI2023 distinguished paper award
  • PODS2023 Test of Time Award for PODS2013 paper on Ontology-Mediated Querying
  • General Chair of the 36th International Workshop on Description Logics (DL 2023)
  • PC Member of the International Joint Conference on Artificial Intelligence (IJCAI2023)
  • Senior PC Member of the European Conference on Artificial Intelligence (ECAI2023)
  • PC Member of the Conference on Uncertainty in Artificial Intelligence (UAI2023)
Activities in previous years.

Software systems that might be of interest:

  • Grind (for computing FO-rewritings of ontology-mediated queries with EL-ontologies)
  • Combo (implementing the combined approach to ontology-mediated querying with DL-Lite ontologies)
  • Spell (SAT-based PAC learning of EL-concepts)

I support reducing our conference travel CO2 footprint: Theoretical Computer Scientists for Future

I also like poems (which might or might not seem incompatible with having a position at a university). And, sometimes, quotes:

"All of humanity's problems stem from man's inability to sit quietly in a room alone." - Blaise Pascal