Stefan Borgwardt

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 78

Top Venues

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee. Description Logics (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics (2023)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies. AAAI (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR (2022)
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
Classical Planning with Avoid Conditions. AAAI (2022)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Temporal Minimal-World Query Answering over Sparse ABoxes. Theory Pract. Log. Program. 22 (2) (2022)
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Head of the Beholder: Comparing Different Proof Representations. RuleML+RR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics (2022)
Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh
Logic-Guided Message Generation from Raw Real-Time Sensor Data. LREC (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical (Extended Abstract). Description Logics (2021)
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI (2021)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical. KR (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Hand of the Beholder: Comparing Interactive Proof Visualizations. Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE (2021)
Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR (2021)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Temporal Minimal-World Semantics for Sparse ABoxes. CoRR (2021)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21 (4) (2020)
Stefan Borgwardt, Veronika Thost
Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR (2020)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR (2020)
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR (2020)
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr
In the Eye of the Beholder: Which Proofs are Best? Description Logics (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
Semantic Technologies for Situation Awareness. Künstliche Intell. 34 (4) (2020)
Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO (2019)
Stefan Borgwardt, Walter Forkel
_\bot Ontologies. JELIA (2019)
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. AAAI (2019)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. RuleML+RR (2019)
Stefan Borgwardt, Walter Forkel
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. IJCAI (2019)
Stefan Borgwardt, Walter Forkel
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). Description Logics (2019)
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). Description Logics (2019)
Franz Baader, Stefan Borgwardt, Walter Forkel
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) (2018)
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Recent Advances in Querying Probabilistic Knowledge Bases. IJCAI (2018)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI (2017)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. 91 (2017)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Łukasiewicz Fuzzy EL is Undecidable. Description Logics (2017)
Stefan Borgwardt, Rafael Peñaloza
Fuzzy Description Logics - A Survey. SUM (2017)
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases. AAAI (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS (2017)
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31 (1) (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics (2017)
Stefan Borgwardt, Rafael Peñaloza
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reason. 83 (2017)
Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries. IJCAI (2017)
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics. Description Logics (2016)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57 (4) (2016)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. 5 (2) (2016)
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. 298 (2016)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. 12 (4) (2016)
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
Preferential Query Answering over the Semantic Web with Possibilistic Networks. IJCAI (2016)
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos (2015)
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. 218 (2015)
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation. GCAI (2015)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33 (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL. RTA (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics (2015)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Complexity of Subsumption in Fuzzy EL. IJCAI (2015)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33 (2015)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics (2015)
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL. Description Logics (2015)
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Infinitely Valued G-IALCQ. CoRR (2015)
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. 44 (2) (2015)
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL. IJCAI (2015)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence (2015)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR (2015)
Stefan Borgwardt
Fuzzy DLs over Finite Lattices with Nominals. Description Logics (2014)
Stefan Borgwardt
Fuzzy Description Logics with General Concept Inclusions. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models. Description Logics (2014)
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA (2014)
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR (2014)
Stefan Borgwardt, Rafael Peñaloza
Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. 55 (9) (2014)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-valued Horn Logic is Hard. PRUV (2014)
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics (2014)
Stefan Borgwardt, Rafael Peñaloza
Harder. URSW (LNCS Vol.) (2014)
Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI (2013)
Stefan Borgwardt, Rafael Peñaloza
The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. 2 (1) (2013)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite. FroCos (2013)
Stefan Borgwardt, Rafael Peñaloza
About Subsumption in Fuzzy EL. Description Logics (2013)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access. CADE (2013)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite. Description Logics (2013)
Stefan Borgwardt, Rafael Peñaloza
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. Australasian Conference on Artificial Intelligence (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. IJCAR (2012)
Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
UEL: Unification Solver for EL. Description Logics (2012)
Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics. KR (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family. UNIF (2012)
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models. LPAR (2012)

Stefan Borgwardt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Borgwardt