Stefan Borgwardt
Aus International Center for Computational Logic
Dr.-Ing. Stefan Borgwardt
Wissenschaftlicher Mitarbeiter Automatentheorie
- [email protected]
- +49 (0) 351 463-39209
- +49 (0) 351 463-37959
- APB 3023
Neueste Publikationen
Komplette Publikationsliste anzeigen
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovič, Ida Siahaan
Explaining Reasoning Results for OWL Ontologies with Evee
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 709-719, 2024. IJCAI Organization
Details
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
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Technical Report, arXiv.org, volume CoRR abs/2308.07294, 2023
Details
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
Explaining Description Logic Entailments with Evee and Evonne
Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, 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, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022, 2022
Details
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2206.07711, 2022
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
Lehrveranstaltungen
- Fuzzy Description Logic (WS 2022)
- Projects Theoretical Computer Science (WS 2022)
- Logic-Based Ontology Engineering (SS 2022)
- Term Rewriting Systems (WS 2021)
- Projects Theoretical Computer Science (SS 2021)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols
- von Muhammad Zahid Zia (14 April 2016)
- Betreuer: Franz Baader, Stefan Borgwardt
CPEC
Grundlagen verständlicher Softwaresysteme