Stefan Borgwardt

From International Center for Computational Logic

Dr.-Ing. Stefan Borgwardt

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Automata Theory

I am currently working as a researcher in the DFG project BA 1122/17-1 Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms (FuzzyDL). I am interested in formal properties of logical formalisms, including description logics, fuzzy/weighted logics, and temporal logics.

Newest Publications

View full publication list

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
In Laura Giordano, Jean Christoph Jung, Ana Ozaki, eds., Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, June 2024
Details
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download
Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download
İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download
Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
View full publication list

Courses



Completed Theses

CPEC-logo.png

CPEC
Center for Perspicuous Computing