Dr.-Ing. Dipl.-Math. Francesco Kriegel

Francesco Kriegel is a postdoctoral research and teaching associate in the Institute of Theoretical Computer Science at Technische Universität Dresden.  He joined the research group of Franz Baader after completing his studies in Mathematics as major (with a focus on Algebra and Analysis) and Computer Science as minor.  He obtained his doctoral degree in 2019 with a thesis concerned with constructing and extending Description Logic ontologies using methods of Formal Concept Analysis.  From his third semester on and also during his doctoral studies he was engaged in teaching, mostly tutorials related to basic and later also advanced courses.  He gave several talks at international conferences and workshops.  During his undergraduate studies he could collect practical work experience in a software company, namely as a student trainee at SAP.  As a postdoc, he was employed in a research project funded by the German Research Foundation (DFG), which was concerned with repairing Description Logic ontologies, as well as in a project within the Transregional Collaborative Research Centre 248 “Foundations of Perspicuous Software Systems”.  Recently in summer semester 2024, he taught his first lecture series “Building and Maintaining Ontologies in the Description Logic EL”.

LinkedIn   DBLP   ResearchGate   Google Scholar   ORCID   Semantic Scholar   WorldCat   GitHub   ICCL

− − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − −

Table of Contents

Research Interests

• Algebraic Intelligence
• Knowledge Representation and Reasoning
• Artificial Intelligence
• Semantic Web

Current Project

• Principal Investigator in DFG-funded project Construction and Repair of Description-logic Knowledge Bases  Further Information

Previous Projects

• Research Associate in Center for Scalable Data Analysis and Artificial Intelligence (ScaDS.AI)  Further Information
• Research Associate in Center for Perspicuous Computing (CPEC), sub-project A3 – Description Logic Explications  Further Information
• Research Associate in DFG-funded project Repairing Description Logic Ontologies  Further Information
• Completed Doctoral Project: Construction and Extension of Description Logic Knowledge Bases with Methods of Formal Concept Analysis  Further Information

Publications

Awards

• Best Paper Award: International Conference on Concept Lattices and Their Applications (CLA) 2015

Lecture Series

• Lecture: Building and Maintaining Ontologies in the Description Logic EL (summer semester 2024, summer semester 2025, summer semester 2026)

Research Lectures

• Explaining and Repairing Description Logic Ontologies (ESSAI 2023)
  • Slides of Session 5
• How KR benefits from Formal Concept Analysis (KR 2023)
  • Slides of Session 1
  • Slides of Session 2

Talk Slides

• Reasoning in OWL 2 EL with Hierarchical Concrete Domains  Publication (FroCoS 2025)  Abstract (DL 2025)
• Abductive Differences of Quantified ABoxes  Publication (DL 2025)
• Beyond Optimal: Interactive Identification of Better-than-optimal Repair Publication (KRR@SAC 2025)  Abstract (DL 2025)
• Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis  Accompanying Poster  Publication (AAAI 2024)  Abstract (DL 2024)
• Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes  Publication (KR 2023)
• Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes  Publication (KI 2022)
• Pushing Optimal ABox Repair from 𝓔𝓛 Towards More Expressive Horn-DLs  Publication (KR 2022)
• Optimal ABox Repair w.r.t. Static 𝓔𝓛 TBoxes: from Quantified ABoxes back to ABoxes  Publication (DL 2022)
• Optimal ABox Repair w.r.t. Static 𝓔𝓛 TBoxes: From Quantified ABoxes Back to ABoxes  Publication (ESWC 2022)
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes   Accompanying Poster  Publication (KR 2021)
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes  Publication (CADE-28)
• Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation  Publication (DL 2021)
• Navigating the 𝓔𝓛 Subsumption Hierarchy  Publication (DL 2021)

Membership in Program Commitees

Conferences

• International Joint Conference on Artificial Intelligence (IJCAI) 2020, 2021, 2022, 2023, 2024, 2025, 2026
• AAAI Conference on Artificial Intelligence 2020, 2021
• European Conference on Artificial Intelligence (ECAI) 2020, 2025, 2026
• International Conference on Principles of Knowledge Representation and Reasoning (KR) 2024, 2025, 2026

• ACM/SIGAPP Symposium On Applied Computing (SAC), Track on Knowledge Representation and Reasoning (KRR) 2026

• International Conference on Knowledge Engineering and Knowledge Management (EKAW) 2018, 2020, 2022, 2024, 2026
• International Joint Conference on Conceptual Knowledge Structures (CONCEPTS) 2024, 2025, 2026
• International Conference on Concept Lattices and Their Applications (CLA) 2015, 2016, 2018, 2020, 2022

Workshops

• International Workshop on Description Logics (DL) 2020, 2022, 2023, 2024, 2025, 2026
• International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI) 2020, 2021, 2022, 2023, 2024
• International Workshop on Concept Discovery in Unstructured Data (CDUD) 2016
• International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD) 2016

Reviewing Activities

Journals

• International Journal "Artificial Intelligence" (AIJ) 2023, 2024
• Journal of Artificial Intelligence Research (JAIR) 2022, 2024, 2025, 2026
• Journal of Applied Non-Classical Logics (JANCL) 2024
• International Journal "Information Sciences" (INS) 2015, 2016, 2017, 2018, 2019, 2021, 2022, 2023
• International Journal "The Knowledge Engineering Review" (KER) 2020
• The Journal of Supercomputing 2026
• International Journal on General Systems (IJGS) 2016
• International Journal "Information Systems" 2023
• International Journal "Discrete Applied Mathematics" (DAM) 2018, 2021, 2022, 2023, 2025
• International Journal of Approximate Reasoning (IJA) 2019, 2023, 2024
• International Journal "Fuzzy Sets and Systems" (FSS) 2024

Book Series

• Lecture Notes in Social Networks (LNSN) 2017

Conferences

• International Joint Conference on Automated Reasoning (IJCAR) 2024
• International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) 2020
• European Conference on Artificial Intelligence (ECAI) 2020
• International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA) 2014

Workshops

• International Workshop on Description Logics (DL) 2019
• Multi-Disciplinary International Workshop on Artificial Intelligence (MIWAI) 2015

Technical Reports

Theses

Teaching Experience

• Eigene Vorlesung: Building and Maintaining Ontologies in the Description Logic EL (Sommersemester 2026)

• Eigene Vorlesung: Building and Maintaining Ontologies in the Description Logic EL (Sommersemester 2025)

• Tutorium & Kursassistenz: Description Logics (Prof. Franz Baader, Sommersemester 2025)

• Seminar Theoretical Computer Science: Advanced Topics in Term Rewriting (Prof. Franz Baader, Sommersemester 2025)

• Tutorium & Kursassistenz: Modal Logic (Wintersemester 2024/25)

• Tutorium & Kursassistenz: Term Rewriting Systems (Prof. Franz Baader, Wintersemester 2024/25)
• Seminar Theoretical Computer Science: Extensions of Description Logics (Prof. Franz Baader, Wintersemester 2024/25)
• Eigene Vorlesung: Building and Maintaining Ontologies in the Description Logic EL (Sommersemester 2024)
• Seminar Theoretical Computer Science: Automata, Logics, and Infinite Games (Prof. Franz Baader, Sommersemester 2024)
• Tutorium & Kursassistenz Description Logic (Prof. Franz Baader) SS2019
• Tutorium & Kursassistenz Automata and Logic (PD Anni-Yasmin Turhan) WS2018/2019
• Seminar Learning in Description Logics  (Prof. Franz Baader, PD Anni-Yasmin Turhan) WS2018/2019
• Proseminar Ausgewählte Themen der Theoretischen Informatik (Prof. Franz Baader, Monika Sturm) WS2018/2019
• Tutorium & Kursassistenz Term Rewriting Systems (Prof. Franz Baader) SS2018
• Proseminar Ausgewählte Themen der Theoretischen Informatik (Prof. Franz Baader, Monika Sturm) SS2018
• Proseminar Ausgewählte Themen der Theoretischen Informatik (Prof. Franz Baader, Monika Sturm) WS2017/2018
• Tutorium Theoretische Informatik und Logik (Prof. Markus Krötzsch, Daniel Borchmann) SS2017
• Tutorium Formale Systeme (Prof. Markus Krötzsch, Daniel Borchmann) WS2016/2017
• Tutorium & Kursassistenz Database Theory (Prof. Markus Krötzsch) SS2016
• Tutorium & Kursassistenz Introduction to Automatic Structures (PD Anni-Yasmin Turhan) SS2016
• Tutorium & Kursassistenz Description Logic (PD Anni-Yasmin Turhan) WS2015/2016
• Tutorium & Kursassistenz Automata and Logic (Daniel Borchmann) SS2015
• Proseminar Die Unvollständigkeitssätze von Kurt Gödel (Prof. Franz Baader, Monika Sturm) SS2015
• Tutorium & Kursassistenz Description Logic (Anni-Yasmin Turhan) WS2014/2015
• Tutorium Theoretische Informatik und Logik (Prof. Franz Baader, Monika Sturm) SS2014
• Tutorium Formale Systeme (Prof. Franz Baader, Monika Sturm) WS2013/2014
• Programmierübungen Informatik für Biologen (Monika Sturm) WS2013/2014
• Tutorium & Korrektur Elemente der Algebra und Zahlentheorie (Sebastian Kerkhoff, Daniel Borchmann) SS2012
• Tutorium & Korrektur Einführung in die Mathematik für Informatiker, Lineare Algebra (Prof. Ulrike Baumann, Ilse Ilsche) WS2011/2012
• Tutorium & Korrektur Elemente der Algebra und Zahlentheorie (Prof. Bernhard Ganter, Daniel Borchmann) SS2011
• Korrektur Analysis I (Prof. Friedemann Schuricht, Zoja Milbers) WS2010/2011
• Tutorium & Korrektur Einführung in die Mathematik für Informatiker, Lineare Algebra (Jürgen Brunner, Ilse Ilsche) WS2010/2011
• Tutorium & Korrektur Mathematische Methoden für Informatiker (Prof. Ulrike Baumann, Ilse Ilsche) SS2010
• Tutorium & Korrektur Einführung in die Mathematik für Informatiker, Diskrete Strukturen (Prof. Bernhard Ganter, Ilse Ilsche) WS2009/2010
• Tutorium & Korrektur Funktionentheorie (Prof. Friedemann Schuricht, Zoja Milbers) SS2009
• Tutorium & Korrektur Mathematik für Informatiker IV (Prof. Ulrike Baumann, Ilse Ilsche) SS2009
• Korrektur Analysis III (Prof. Friedemann Schuricht, Karin Weigel) WS2008/2009
• Tutorium & Korrektur Mathematik für Informatiker III (Prof. Ulrike Baumann, Ilse Ilsche) WS2008/2009
• Korrektur Analysis II (Prof. Friedemann Schuricht, Karin Weigel) SS2008
• Tutorium & Korrektur Mathematik für Informatiker II (Prof. Ulrike Baumann, Ilse Ilsche) SS2008
• Tutorium Mathematik für Informatiker I (Prof. Ulrike Baumann, Ilse Ilsche) WS2007/2008
• Tutorium Brückenkurs Mathematik WS2007/2008
• Nachhilfe Mathematik für Ingenieure II SS2007
• Tutorium Brückenkurs Mathematik WS2006/2007
• Nachhilfe Mathematik für Ingenieure I WS2006/2007

Practical Experience

• Eigene Software Concept Explorer FX (Interaktive, iterative, und parallele Algorithmen in formaler Begriffsanalyse mit beschreibungslogischen Erweiterungen) conexp-fx auf GitHub
• Werkstudent und dann Diplomand SAP Research Dresden Cubist Projekt (Aufgabe: Entwurf, Entwicklung, und Test eines Systems zur interaktiven Darstellung von Wissen als Verbandsdiagramm mit Methoden der formalen Begriffsanalyse) 2011—2012
• Praktikant und dann Werkstudent SAP Research Dresden Aletheia Projekt (Aufgabe: Entwurf, Entwicklung, und Test eines Systems zur Informationsextraktion aus unstrukturierten Datenquellen) 2009—2011

Visited Courses during my Studies

• Assmann: Softwaretechnologie (WS2006/2007)
• Bär: Räumliche Kinematik & Robotik (SS2008)
• Baumann: Algebraische Graphentheorie (WS2008/2009)
• Baumann: Algebraische Methoden der Kryptologie (WS2008/2009)
• Baumann: Diskrete Strukturen (WS2007/2008)
• Baumann: Graphentheorie (SS2007)
• Baumann: Proseminar Kryptografie (WS2006/2007)
• Colson: Englisch L1.1 (WS2005/2006)
• Colson: Englisch L2.2 (SS2006)
• Finger, Hiller: Elektronische Medien & Digitaler Rundfunk (WS2007/2008)
• Fischer, Vanselow: Optimierung (SS2007)
• Ganter: Seminar Algebra (WS2008/2009)
• Ganter, Hereth Correia: Strukturtheorie vollständiger Verbände (WS2007/2008)
• Ganter, Liebscher: Ordnungs- & Verbandstheorie (SS2008)
• Hansen, Wolf: Praktikum Kernreaktortechnik (SS2006)
• Karl: Übersetzungstechnik (WS2008/2009)
• Linß, Matthes: Numerik (WS2006/2007)
• Petersohn: Künstliche Intelligenz (WS2007/2008)
• Picard, Freymond: Funktionalanalysis I (WS2007/2008)
• Pönisch: Grundpraktikum (WS2008/2009)
• Pöschel: Funktionen- & Relationenalgebren (SS2009)
• Pöschel: Lineare Algebra & Analytische Geometrie I (WS2005/2006)
• Pöschel: Permutationsgruppen (SS2009)
• Pöschel, Kirsten: Lineare Algebra & Analytische Geometrie II (SS2006)
• Pöschel, Reppe: Kategorientheorie (SS2008)
• Pöschel, Zschalig: Universelle Algebra (WS2007/2008)
• Rhodius, Kayser: Analysis I (WS2005/2006)
• Rhodius, Kayser: Analysis II (SS2006)
• Rhodius, Kayser: Analysis III (WS2006/2007)
• Rüdiger: Praktikum Programmierung I (WS2005/2006)
• Rüdiger: Praktikum Programmierung II (SS2006)
• Schill, Bellmann: Rechnernetze (SS2007)
• Schilling: Wahrscheinlichkeitstheorie (WS2008/2009)
• Schmidt K.D., Hess: Maßtheorie & Stochastik (SS2007)
• Schmidt S.E.: Algebraische Datenapproximation (SS2010)
• Schmidt S.E.: Algebraische Strukturen (SS2009)
• Schmidt S.E.: Dempster-Shafer-Theorie (SS2009)
• Schmidt S.E.: Seminar Algebra (Schreiben mathematischer Texte) (SS2009)
• Schmidt S.E.: Tropische Geometrie & Algebraische Statistik (SS2008)
• Schmidt S.E., Hereth Correia: Algebra (WS2006/2007)
• Schmidt S.E., Hereth Correia: Qualitative Datenanalyse (SS2007)
• Sturm: Funktionale Programmierung & Typtheorie (WS2008/2009)
• Timmermann: Funktionalanalysis I (WS2008/2009)
• Timmermann: Funktionalanalysis II (SS2008)
• Voigt, Vogt: Funktionentheorie (SS2008)
• Vogler, Vater: Algorithmen & Datenstrukturen (WS2005/2006)
• Vogler, Vater: Programmierung (SS2006)
• Walter: Objektorientiertes Programmieren mit Java (SS2011)
• Walter: Programmieren I (WS2005/2006)
• Walter: Programmieren II (SS2006)
• Weiß, Lehmann: Geometrie (SS2007)

Scripts and Reports from my Studies

• Ordnungen, Verbände und Kontexte (Skript zu Vorlesungen bei Prof. Ganter)
• Funktionalanalysis I+II (Skript zur Vorlesung bei Prof. Timmermann im SS2008, WS2008/2009, digitalisierte Mitschriften mit Zusätzen, leider nicht vollständig, Achtung: nicht von Prof. Timmermann überprüft)
• Funktionale Programmierung und Typtheorie (Skript zur Vorlesung bei Prof. Sturm im WS2008/2009)
• Rough Sets -- Unexakte Mengen (Seminararbeit bei Prof. Ganter im WS2008/2009)
• Tropische Geometrie & Algebraische Statistik (Skript zur Vorlesung bei Prof. Schmidt S.E. im SS2008, neu strukturierte Mitschriften in digitaler Form)
• Sets for Mathematics - Die Kategorie der Mengen (Seminararbeit bei Prof. Schmidt im SS2009, mit Maik Luther, Georg Schollmeyer, Jeremias Epperlein)
• Maß, Integral und Martingal (Unvollständiges Skript zur Vorlesung bei Prof. Schilling)
• 2D-Guillotine-Zuschnitt und Wang-Algorithmus, Präsentation, Implementierung jWang (Ausarbeitung, Präsentation und Implementierung eines Themas im Rahmen eines universitätsinternen Grundpraktikums im WS2008/2009, mit Matthias Lange)
• Analysis I+II+III (Skript zur Vorlesung bei Prof. Rhodius im WS2005/2006, SS2006, WS2006/2007, digitalisierte Mitschriften mit Zusätzen, leider nicht vollständig)
• RSA (Seminararbeit bei Prof. Baumann im WS2006/2007)

Citations (in German)

Die schönsten Momente im Leben eines Mathematikers sind die ersten Momente, nachdem er einen Beweis vollendet hat, jedoch bevor er den Fehler findet. (Unbekannt)

Bedenke, wage, beharre! Und du wirst vieles im Leben erringen. (Deutsche Spruchweisheit)

Es gibt Leute, die meinen, alles wäre vernünftig, was man mit einem ernsthaften Gesicht tut. (Georg Christoph Lichtenberg)

Ein wahrhaft großer Mann wird weder einen Wurm zertreten noch vor einem Kaiser kriechen. (Benjamin Franklin)

Wer aufhört, besser sein zu wollen, hat aufgehört gut zu sein. (Oliver Cromwell)

Such nicht andere, sondern dich selbst zu übertreffen. (Marcus Tullius Cicero)

Alles auf einmal tun zu wollen zerstört alles auf einmal. (Georg Christoph Lichtenberg)

Wenn die Fäuste geballt sind, kann man sich nicht die Hände reichen. (Indira Gandhi)

Bevor du weißt, was Leben heißt, ist die Hälfte weg zumeist. (Deutsches Sprichwort)

Ein reizbarer Mensch ist wie ein verkehrt eingerollter Igel, der sich mit seinen Stacheln peinigt. (Lebensweisheit)

Der Freunde Fehler soll man kennen, aber nicht nennen. (Lebensweisheit)

Ich habe stets beobachtet, dass man, um Erfolg zu haben in der Welt, närrisch scheinen oder weise sein muss. (Charles-Louis de Secondat)

Unsere Mängel sind unsere besten Lehrer, aber gegen die besten Lehrer ist man immer undankbar. (Friedrich Nietzsche)

Alle ungeschickten Arbeiter schimpfen auf ihr Werkzeug. (Russisches Sprichwort)

Erst im Kopf bedenken, dann das Mundwerk lenken. (Sorbische Redensart)

Wer sich auf die Zehen stellt, steht nicht fest. (Laotse)

Bildungshunger und Wissensdurst sind keine Dickmacher. (Lothar Schmidt)

Gebildet ist der, der weiß, wo er findet, was er nicht weiß. (Chinesisches Sprichwort)

Wer nicht richtig faulenzen kann, der kann auch nicht richtig arbeiten. (Sizilianisches Sprichwort)

Die Freiheit ist nicht die Willkür, beliebig zu handeln, sondern die Fähigkeit, vernünftig zu handeln. (Rudolf Virchow)

Der Verstand und die Fähigkeit, ihn zu gebrauchen, sind zwei verschiedene Gaben. (Franz Grillparzer)

Enttäuschungen sollte man verbrennen und nicht einbalsamieren. (Mark Twain)

Es ist ein Beweis hoher Bildung, die größten Dinge auf die einfachste Art zu sagen. (Ralph Waldo Emerson)

Um ein tadelloses Mitglied einer Schafherde sein zu können, muss man vor allem ein Schaf sein. (Albert Einstein)

Man kann keinen Eierkuchen backen, ohne ein paar Eier zu zerschlagen. (Napoleon I. Bonaparte)

Manche Hähne glauben, dass die Sonne ihretwegen aufgeht. (Theodor Fontane)

Erziehung ist nicht das Anfüllen eines Eimers, sondern das Entfachen eines Feuers. (William Butler Yeats)

Seelenleiden zu heilen vermag der Verstand wenig, die Zeit viel, entschlossene Tätigkeit alle. (Johann Wolfgang von Goethe)

Einen Edelstein kann man nicht blank machen, ohne ihn zu reiben. (Konfuzius)

Morgen ist immer der Tag, an dem der Faule am meisten zu tun hat. (Norwegisches Sprichwort)

Ein Ziel von Bildung ist zu merken, wenn jemand Unsinn redet. (Harold Macmillan)

Ein Fehler, der geleugnet wird, verdoppelt sich. (Französisches Sprichwort)

Faulheit ist der Hang zur Ruhe ohne vorhergehende Arbeit. (Immanuel Kant)

Wer absolute Klarheit will, bevor er einen Entschluss fasst, wird sich nie entscheiden. (Henri-Frédéric Amiel)

Wer an der Küste bleibt, kann keine neuen Ozeane entdecken. (Magellan)

Ein Experte ist jemand, der hinterher genau sagen kann, warum seine Prognose nicht gestimmt hat. (Sir Winston Churchill)

Erfahrungen vererben sicht nicht - jeder muss sie allein machen. (Kurt Tucholsky)

Bildung ist die Fähigkeit, Wesentliches von Unwesentlichem zu unterscheiden und jenes ernst zu nehmen. (Paul Anton de Lagarde)

Auch eine Enttäuschung, wenn sie nur gründlich und endgültig ist, bedeutet einen Schritt vorwärts. (Max Planck)

Die Dummheit drängt sich vor, um gesehen zu werden; die Klugheit steht zurück, um zu sehen. (Carmen Sylva)

Das Café ist der rechte Ort für Leute, die allein sein wollen, dafür aber Gesellschaft brauchen. (Alfred Polgar)

Besser ist es, hinkend auf dem rechten Weg zu gehen, als mit einem festen Schritt abseits. (Augustinus Aurelius)

Im Hinblick auf seine eigenen Ansichten ist jedermann konservativ. (Lothar Schmidt)

Manchmal führt ein Rechenfehler zur richtigen Lösung. (Stanislaw Jerzy Lec)

Hast du einen jungen Menschen davor bewahrt, Fehler zu machen, dann hast du ihn auch davor bewahrt, Entschlüsse zu fassen. (John Erskine)

Wer wagt, selbst zu denken, der wird auch selbst handeln. (Bettina von Arnim)

Faule Leute wollen alles auf einmal schaffen. (Chinesisches Sprichwort)

Es ist nicht von Bedeutung, wie langsam du gehst, solange du nicht stehen bleibst. (Konfuzius)

Leute, die wenig wissen, sind oft Schwätzer. (Jean-Jaques Rousseau)

Bei der Eroberung des Weltraums sind zwei Probleme zu lösen: die Schwerkraft und der Papierkrieg. Mit der Schwerkraft wären wir fertig geworden. (Wernher von Braun)