Recent Publications (2020–2024)
The
full list can be found
here. See also
dblp,
Google Scholar,
ResearchGate, and
Semantic
Scholar.
Journal Articles and Book Chapters
2022
-
Stefan Borgwardt, Walter Forkel, and Alisa Kovtunova. Temporal minimal-world query
answering over sparse ABoxes. Theory and Practice of Logic Programming, 22(2):192–228,
March 2022.
doi:10.1017/S1471068421000119
2020
-
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin
Turhan. Semantic technologies for situation awareness. KI - Künstliche Intelligenz,
34:543–550, November 2020. Project report.
doi:10.1007/s13218-020-00694-3
-
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost.
Metric temporal description logics with interval-rigid names. ACM Transactions on
Computational Logic, 21(4):30:1–30:46, August 2020.
doi:10.1145/3399443
Peer-Reviewed Conference Publications
2023
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. Combining proofs for description logic and concrete domain reasoning. In
Anna Fensel and Ana Ozaki, editors, Proceedings of the 7th International Joint Conference
on Rules and Reasoning (RuleML+RR’23), volume 14244 of Lecture Notes in Computer
Science, pages 54–69, Oslo, Norway, September 18, 2023. Springer-Verlag. Harold Boley
Distinguished Paper Award.
doi:10.1007/978-3-031-45072-3_4
Extended version: https://arxiv.org/abs/2308.03705
2022
-
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova,
Anna Milena Rothermel, and Frederik Wiehr. In the head of the beholder: Comparing
different proof representations. In Guido Governatori and Anni-Yasmin Turhan,
editors, Proceedings of the 6th International Joint Conference on Rules and Reasoning
(RuleML+RR’22), volume 13752 of Lecture Notes in Computer Science, pages 211–226,
Online [Berlin, Germany], September 26, 2022. Springer-Verlag. Best Paper Award.
doi:10.1007/978-3-031-21541-4_14
-
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova.
Explaining ontology-mediated query answers using proofs over universal models. In Guido
Governatori and Anni-Yasmin Turhan, editors, Proceedings of the 6th International Joint
Conference on Rules and Reasoning (RuleML+RR’22), volume 13752 of Lecture Notes
in Computer Science, pages 167–182, Online [Berlin, Germany], September 26, 2022.
Springer-Verlag.
doi:10.1007/978-3-031-21541-4_11
Extended version: https://arxiv.org/abs/2208.14381
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick
Koopmann, and Julián Méndez. Evonne: Interactive proof visualization for description
logics (System description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson,
editors, Proceedings of the 11th International Joint Conference on Automated Reasoning
(IJCAR’22), volume 13385 of Lecture Notes in Computer Science, pages 271–280, Haifa,
Israel, August 8, 2022. Springer-Verlag.
doi:10.1007/978-3-031-10769-6_16
Extended version: https://arxiv.org/abs/2205.09583
-
Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman,
and Hui-Syuan Yeh. Logic-guided message generation from raw real-time sensor data. In
Nicoletta Calzolari, Frédéric Béchet, Philippe Blache, Khalid Choukri, Christopher
Cieri, Thierry Declerck, Sara Goggi, Hitoshi Isahara, Bente Maegaard, Joseph Mariani,
Hélène Mazo, Jan Odijk, and Stelios Piperidis, editors, Proceedings of the 13th
Language Resources and Evaluation Conference (LREC’22), pages 6899–6908, Marseille,
France, June 21, 2022. European Language Resources Association.
http://www.lrec-conf.org/proceedings/lrec2022/pdf/2022.lrec-1.745.pdf
-
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel,
and Marcel Steinmetz. Expressivity of planning with Horn description logic ontologies. In
Katia Sycara, Vasant Honavar, and Matthijs Spaan, editors, Proceedings of the 36th AAAI
Conference on Artificial Intelligence (AAAI’22), pages 5503–5511, Online [Vancouver,
Canada], February 22, 2022. AAAI Press.
doi:10.1609/aaai.v36i5.20489
-
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, and Stefan Borgwardt. Classical
planning with avoid conditions. In Katia Sycara, Vasant Honavar, and Matthijs Spaan,
editors, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI’22),
pages 9944–9952, Online [Vancouver, Canada], February 22, 2022. AAAI Press.
doi:10.1609/aaai.v36i9.21232
Extended version: https://fai.cs.uni-saarland.de/steinmetz/aaai22_tr.pdf
2021
-
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, and Marcel Steinmetz. Making
DL-Lite planning practical. In Meghyn Bienvenu and Gerhard Lakemeyer, editors,
Proceedings of the 18th International Conference on Principles of Knowledge
Representation and Reasoning (KR’21), pages 641–645, Online [Hanoi, Vietnam],
November 8, 2021. IJCAI. Short paper.
doi:10.24963/kr.2021/61
-
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Alisa Kovtunova, Stefan
Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann, and Antonio
Krüger. Why do I have to take over control? Evaluating safe handovers with advance
notice and explanations in highly automated driving. In Sharon Oviatt, Albert Ali Salah,
and Guoying Zhao, editors, Proceedings of the 23rd ACM International Conference on
Multimodal Interaction (ICMI’21), pages 308–317, Montreal, Canada, October 18, 2021.
ACM.
doi:10.1145/3462244.3479884
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. Finding good proofs for description logic entailments using recursive quality
measures. In André Platzer and Geoff Sutcliffe, editors, Proceedings of the 28th
International Conference on Automated Deduction (CADE’21), volume 12699 of Lecture
Notes in Computer Science, pages 291–308, Online, July 12, 2021. Springer-Verlag.
doi:10.1007/978-3-030-79876-5_17
Extended version: https://arxiv.org/abs/2104.13138
2020
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. Finding small proofs for description logic entailments: Theory and practice.
In Elvira Albert and Laura Kovács, editors, Proceedings of the 23rd International
Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’20),
volume 73 of EasyChair Proceedings in Computing, pages 32–67, Online, May 22, 2020.
EasyChair.
doi:10.29007/nhpp
Workshop and Non-Peer-Reviewed Publications
2023
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. Combining proofs for description logic and concrete domain reasoning
(Extended abstract). In Nico Potyka, editor, Proceedings of the 4th Workshop
on Explainable Logic-Based Knowledge Representation (XLoKR’23), Rhodes, Greece,
September 2, 2023.
https://sites.google.com/view/xlokr2023
Extended version: doi:10.1007/978-3-031-45072-3_4
-
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, and Mikhail
Kotlov. Why not? Explaining missing entailments with Evee. In Oliver Kutz, Carsten Lutz,
and Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description
Logics (DL’23), volume 3513 of CEUR Workshop Proceedings, Rhodes, Greece, September
2, 2023.
https://ceur-ws.org/Vol-3515/paper-1.pdf
Extended version: https://arxiv.org/abs/2308.07294
-
Stefan Borgwardt, Steffen Breuer, and Alisa Kovtunova. Computing ABox justifications
for query answers via Datalog rewriting. In Oliver Kutz, Carsten Lutz, and Ana Ozaki,
editors, Proceedings of the 36th International Workshop on Description Logics (DL’23),
volume 3513 of CEUR Workshop Proceedings, Rhodes, Greece, September 2, 2023.
https://ceur-ws.org/Vol-3515/paper-8.pdf
2022
-
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez,
and Alexej Popovič. On the eve of true explainability for OWL ontologies: Description
logic proofs with Evee and Evonne. In Ofer Arieli, Martin Homola, Jean Christoph Jung,
and Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on
Description Logics (DL’22), volume 3263 of CEUR Workshop Proceedings, Haifa, Israel,
August 7, 2022.
https://ceur-ws.org/Vol-3263/paper-2.pdf
Extended version: https://arxiv.org/abs/2206.07711
-
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding
good proofs for answers to conjunctive queries mediated by lightweight ontologies. In
Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, editors,
Proceedings of the 35th International Workshop on Description Logics (DL’22), volume
3263 of CEUR Workshop Proceedings, Haifa, Israel, August 7, 2022.
https://ceur-ws.org/Vol-3263/paper-3.pdf
Extended version: doi:10.1007/978-3-031-21541-4_11
-
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard
Nebel, and Marcel Steinmetz. Expressivity of planning with Horn description logic
ontologies (extended abstract). In Ofer Arieli, Martin Homola, Jean Christoph Jung,
and Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on
Description Logics (DL’22), volume 3263 of CEUR Workshop Proceedings, Haifa, Israel,
August 7, 2022.
https://ceur-ws.org/Vol-3263/abstract-5.pdf
Extended version: doi:10.1609/aaai.v36i5.20489
-
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez,
and Alexej Popovič. Explaining description logic entailments in practice with Evee and
Evonne. In Nico Potyka, editor, 3rd Workshop on Explainable Logic-Based Knowledge
Representation (XLoKR’22), Haifa, Israel, July 31, 2022.
https://sites.google.com/view/xlokr2022
Extended version: https://ceur-ws.org/Vol-3263/paper-2.pdf
-
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding
good proofs for answers to conjunctive queries mediated by lightweight ontologies
(extended abstract). In Nico Potyka, editor, 3rd Workshop on Explainable Logic-Based
Knowledge Representation (XLoKR’22), Haifa, Israel, July 31, 2022.
https://sites.google.com/view/xlokr2022
Extended version: doi:10.1007/978-3-031-21541-4_11
2021
-
Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena
Rothermel, and Frederik Wiehr. In the hand of the beholder: Comparing interactive proof
visualizations (extended abstract). In Bart Bogaerts, editor, 2nd Workshop on Explainable
Logic-Based Knowledge Representation (XLoKR’21), Online [Hanoi, Vietnam], November
4, 2021.
https://xlokr21.ai.vub.ac.be/papers/09/paper.pdf
Extended version: doi:10.1007/978-3-031-21541-4_14
-
Stefan Borgwardt. Concise justifications versus detailed proofs for description logic
entailments. In Bart Bogaerts, editor, 2nd Workshop on Explainable Logic-Based
Knowledge Representation (XLoKR’21), Online [Hanoi, Vietnam], November 4, 2021.
https://xlokr21.ai.vub.ac.be/papers/04/paper.pdf
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. Finding good proofs for description logic entailments using recursive quality
measures (extended abstract). In Martin Homola, Vladislav Ryzhikov, and Renate
Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics
(DL’21), volume 2954 of CEUR Workshop Proceedings, Bratislava, Slovakia, September
19, 2021.
https://ceur-ws.org/Vol-2954/abstract-2.pdf
Extended version: doi:10.1007/978-3-030-79876-5_17
-
Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena
Rothermel, and Frederik Wiehr. In the hand of the beholder: Comparing interactive proof
visualizations. In Martin Homola, Vladislav Ryzhikov, and Renate Schmidt, editors,
Proceedings of the 34th International Workshop on Description Logics (DL’21), volume
2954 of CEUR Workshop Proceedings, Bratislava, Slovakia, September 19, 2021.
https://ceur-ws.org/Vol-2954/paper-2.pdf
Extended version: doi:10.1007/978-3-031-21541-4_14
-
Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova,
and Hui-Syuan Yeh. Logic-guided neural utterance generation from drone sensory data
(extended abstract). In Martin Homola, Vladislav Ryzhikov, and Renate Schmidt, editors,
Proceedings of the 34th International Workshop on Description Logics (DL’21), volume
2954 of CEUR Workshop Proceedings, Bratislava, Slovakia, September 19, 2021.
https://ceur-ws.org/Vol-2954/abstract-11.pdf
Extended version:
http://www.lrec-conf.org/proceedings/lrec2022/pdf/2022.lrec-1.745.pdf
-
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, and Marcel Steinmetz. Making
DL-Lite planning practical (extended abstract). In Martin Homola, Vladislav Ryzhikov,
and Renate Schmidt, editors, Proceedings of the 34th International Workshop on
Description Logics (DL’21), volume 2954 of CEUR Workshop Proceedings, Bratislava,
Slovakia, September 19, 2021.
https://ceur-ws.org/Vol-2954/abstract-7.pdf
Extended version: doi:10.24963/kr.2021/61
-
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, and Marcel Steinmetz. Classical
planning with avoid conditions. In Proceedings of the 13th Workshop on Heuristics
and Search for Domain-Independent Planning (HSDIP’21), Online [Guangzhou, China],
August 2, 2021.
https://openreview.net/forum?id=-I8lSfnXFPI
Extended version: doi:10.1609/aaai.v36i9.21232
2020
-
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding
proofs for description logic entailments in practice (extended abstract). In Franz Baader,
editor, Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’20),
Online [Rhodes, Greece], September 13, 2020.
https://lat.inf.tu-dresden.de/XLoKR20/XLoKRpaper394.pdf
Extended version: doi:10.29007/nhpp
-
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, and Frederik Wiehr. In the eye of
the beholder: Which proofs are best? (extended abstract). In Franz Baader, editor,
Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’20), Online
[Rhodes, Greece], September 13, 2020.
https://lat.inf.tu-dresden.de/XLoKR20/XLoKRpaper395.pdf
Extended version: doi:10.1007/978-3-031-21541-4_14
-
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa
Kovtunova. On the complexity of finding good proofs for description logic entailments.
In Stefan Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd International
Workshop on Description Logics (DL’20), volume 2663 of CEUR Workshop Proceedings,
Online [Rhodes, Greece], September 12, 2020.
https://ceur-ws.org/Vol-2663/paper-1.pdf
-
Stefan Borgwardt, Walter Forkel, and Alisa Kovtunova. Finding new diamonds: Temporal
minimal-world query answering over sparse aboxes (extended abstract). In Stefan
Borgwardt and Thomas Meyer, editors, Proceedings of the 33rd International Workshop
on Description Logics (DL’20), volume 2663 of CEUR Workshop Proceedings, Online
[Rhodes, Greece], September 12, 2020.
https://ceur-ws.org/Vol-2663/abstract-5.pdf
Extended version: doi:10.1007/978-3-030-31095-0_1
-
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, and Frederik Wiehr. In the eye of
the beholder: Which proofs are best? In Stefan Borgwardt and Thomas Meyer, editors,
Proceedings of the 33rd International Workshop on Description Logics (DL’20), volume
2663 of CEUR Workshop Proceedings, Online [Rhodes, Greece], September 12, 2020.
https://ceur-ws.org/Vol-2663/paper-6.pdf
Extended version: doi:10.1007/978-3-031-21541-4_14
-
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Ernie Chang, Vera
Demberg, Alisa Kovtunova, Stefan Borgwardt, Marcel Steinmetz, and Jörg Hoffmann.
Safe handover in mixed-initiative control for cyber-physical systems. In Susanne Boll,
Philippe Palanque, Alexander Mirnig, Jessica Cauchard, Margaretha Lützhöft, and
Michael S. Feary, editors, Proceedings of the CHI’20 Workshop on Designing Safety
Critical Interactions: Hunting Down Human Error, Honolulu, USA, April 25, 2020.
https://arxiv.org/abs/2010.10967
Extended version: doi:10.1145/3462244.3479884