Prof. Dr. Carsten Lutz
Visitors: Room P810, Paulinum, Augustusplatz 10
Tel.: ++49 341 97-32343
EMail: clu@informatik.uni-leipzig.de
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