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 Co-Chair of the International Joint Conference on Automated Reasoning (IJCAR2026)
• PC Member of the 29th International Conference on Database Theory (ICDT2026)
• Area Chair of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR2025)
• Area Chair of the 34th International Joint Conference on Artificial Intelligence (IJCAI2025)
• PC Member of the 44th Symposium on the Principles of Database Systems (PODS2025)
• PC Member of the 38th International Workshop On Description Logics (DL2025)

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