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)

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:

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