Dr.-Ing. Stefan Borgwardt
Office:Andreas-Pfitzmann-Bau (APB), Room 3024
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 currently working as a research and teaching associate at the
Chair of Automata Theory
of
Prof. Franz Baader
at
TU Dresden. I am collaborating with the joint ANR-DFG project
Generating and Answering Ontological Queries over Semi-structured Medical Data (GoAsq).
Teaching
- Courses at the Chair for Automata Theory
- Summer Semester 2018
- Lecture Logic-Based Ontology Engineering
- Tutorials Einführung in die (Theoretische) Informatik
- Winter Semester 2017/18
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
- 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–2020
- Member of the Organization Committee of the HQA Workshop 2018, @The Web Conference 2018
- PC member of KR 2018, IJCAI 2018, DL 2018, AAAI 2018, IJCAI 2017, DL 2017, ESWC 2017, IJCAI 2016, DL 2016, IJCAI 2015, DL 2015
- Reviewer for the Journal of the ACM, Journal of Web Semantics, Logic Journal of the IGPL, International Journal of Approximate Reasoning, Fuzzy Sets and Systems, Annals of Mathematics and Artificial Intelligence, Künstliche Intelligenz, The Computer Journal, IEEE Transactions on Fuzzy Systems, and others