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)

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