Dr.-Ing. Stefan Borgwardt
Office:Andreas-Pfitzmann-Bau (APB), Room 3023
Nöthnitzer Str. 46
01187 Dresden
Phone: +49 (351) 463 - 39 209
Email:
GPG public key: 0x8E40E391
ORCiD:
orcid.org/0000-0003-0924-8478
I am a research and teaching associate at the Chair of Automata Theory of Prof. Franz Baader at TU Dresden.
Projects
I am a principal investigator in the CRC/Transregio 248 Foundations of Perspicuous Software Systems, in the projects A3 (Description Logic Explications, led by Franz Baader) and E2 (Safe Handover in Mixed-Initiative Control, led by Antonio Krüger). Our local research team consists of Alisa Kovtunova, Christian Alrabbaa, and Patrick Koopmann.
Teaching
- Courses at the Chair of Automata Theory
- Summer Semester 2022
- Tutorials Logic-Based Ontology Engineering
Research Interests
- Formal properties of logical formalisms
- Query answering using description logics
- Metric temporal logics
- Weighted logics (fuzzy, possibilistic, probabilistic)
- Reasoning with numerical domains
Awards
- Best Paper Award at the 6th International Joint Conference on Rules and Reasoning (RuleML+RR'22) for the paper In the Head of the Beholder: Comparing Different Proof Representations, together with Christian Alrabbaa, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, and Frederik Wiehr
- Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19) for the paper Closed-World Semantics for Conjunctive Queries with Negation over Ontologies, together with Walter Forkel
- Distinguished Reviewer of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17)
- Best Paper Award at the 28th Australasian Joint Conference on Artificial Intelligence (AI'15) for the paper Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles, together with Franz Baader and Marcel Lippmann
- Commerzbank Award (awarded to two selected PhD theses of 2014 at TU Dresden) for the PhD thesis Fuzzy Description Logics with General Concept Inclusions
- Distinguished Student Paper Award at the 27th International Workshop on Description Logics (DL'14) for the paper Fuzzy DLs over Finite Lattices with Nominals
- Distinguished Student Paper Award at the 26th International Workshop on Description Logics (DL'13) for the paper Temporal Query Answering in DL-Lite, together with Marcel Lippmann and Veronika Thost
- N. J. Lehmann Award 2011 of the TU Dresden for my diploma thesis The Infimum Problem as a Generalization of the Inclusion Problem for Automata
Other Activities
- Member of the Steering Committee of the International Workshop on Description Logics (DL), 2017–2023
- DL Representative on the Steering Committee of Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.), 2020–2023
- Workshops and Tutorials co-chair of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) as part of FLoC 2022 in Haifa, Israel
- Virtual Conference Arrangements co-chair of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) in (virtual) Hanoi, Vietnam
- PC co-chair of the 33rd International Workshop on Description Logics (DL 2020) in (virtual) Rhodes, Greece
- Local organizer of the colloquium on the occasion of Franz Baader's 60th birthday, 2019 at TU Dresden
- Member of the Organization Committee of the HQA Workshop 2018 and 2019
- PC Board member of IJCAI 2022–2024
- Senior PC member of AAAI 2023, IJCAI 2021, AAAI 2021, IJCAI 2020, ECAI 2020, AAAI 2020
- PC member of XLoKR 2022, DL 2022, XLoKR 2021, DL 2021, KR 2020, XLoKR 2020, ... DL 2015
- Reviewer for Artificial Intelligence, Journal of the ACM, Journal of Artificial Intelligence Research, ACM Transactions on Computational Logic, Journal of Web Semantics, Semantic Web, IEEE Transactions on Fuzzy Systems, Fuzzy Sets and Systems, and others
Past Projects
- Joint ANR-DFG project Generating and Answering Ontological Queries over Semi-structured Medical Data (GoAsq)
- DFG project BA 1122/17-1 Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms (FuzzyDL); see the project report
- DFG Research Training Group 1763 Quantitative Logics and Automata (QuantLA), associated doctoral student
- DFG Collaborative Research Center 912 Highly Adaptive Energy-Efficient Computing (HAEC), Project B02 "Semantic Technology for Context Awareness"; see the project report
- DFG project BA 1122/14-1 Unification in Description Logics for Avoiding Redundancies in Medical Ontologies