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)
  • Area Chair of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR2024)
  • 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)
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