Francesco Kriegel

Francesco Kriegel is a Postdoctoral Research and Teaching Associate at the Institute of Theoretical Computer Science within the Faculty of Computer Science at Dresden University of Technology. He is a key member of the International Center for Computational Logic (ICCL), working under Professor Franz Baader's research group. His academic journey began with Mathematics as his major (focusing on Algebra and Analysis) and Computer Science as his minor, culminating in a doctoral degree in 2019 with a dissertation on constructing and extending Description Logic ontologies using Formal Concept Analysis.

Dr. Kriegel's research is deeply rooted in Knowledge Representation and Reasoning, with a particular focus on Description Logics (especially the EL family), ontology repair, and the integration of Formal Concept Analysis with Description Logics. His work has significantly advanced the field of ontology engineering through the development of optimal repair frameworks that preserve maximal consequences while removing errors. He has explored theoretical foundations such as the EL subsumption hierarchy's structure and navigational properties, while also developing practical applications for ontology construction and maintenance.

His publication record from 2016-2025 reveals a consistent research trajectory focused on ontology repair mechanisms, with increasing sophistication in handling quantified ABoxes, hierarchical concrete domains, and interactive repair systems. The research demonstrates a clear progression from theoretical foundations to practical implementations, with recent work emphasizing user-centered approaches to ontology repair that balance theoretical optimality with practical usability.

• Best Paper Award at CLA 2015
• Principal Investigator for DFG-funded project 'Construction and Repair of Description-logic Knowledge Bases'
• Research Associate at ScaDS.AI (Center for Scalable Data Analysis and Artificial Intelligence)
• Former Research Associate in DFG project 'Repairing Description Logic Ontologies' and CPEC (Center for Perspicuous Computing)

Dr. Kriegel has been actively involved in teaching since his third semester and throughout his doctoral studies, primarily conducting tutorials for foundational and advanced computer science courses. In summer semester 2024, he delivered his first full lecture series 'Building and Maintaining Ontologies in the Description Logic EL', reflecting his expertise in the field. He serves on program committees for major AI conferences including IJCAI, AAAI, and KR, and reviews for prestigious journals such as Artificial Intelligence Journal and Journal of Artificial Intelligence Research.