The Inclusion Problem for Weighted Automata on Infinite Trees. - Stefan Borgwardt; Rafael Peñaloza (AFL, 2011)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (CADE, 2011)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2011)

Fuzzy Ontologies over Lattices with T-norms. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2011)

Description Logics over Lattices with Multi-Valued Ontologies. - Stefan Borgwardt; Rafael Peñaloza (IJCAI, 2011)

Finite Lattices Do Not Make Reasoning in ALCI Harder. - Stefan Borgwardt; Rafael Peñaloza (URSW, 2011)

Computing Local Unifiers in the Description Logic EL without the Top Concept. - Franz Baader; Nguyen Thanh Binh 003; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2011)

Computing Minimal EL-unifiers is Hard. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Advances in Modal Logic, 2012)

A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Australasian Conference on Artificial Intelligence, 2012)

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (IJCAR, 2012)

Recent Advances in Unification for the EL Family. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2012)

How Fuzzy Is My Fuzzy Description Logic? - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (IJCAR, 2012)

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2012)

UEL: Unification Solver for EL. - Franz Baader; Stefan Borgwardt; Julian Mendez 002; Barbara Morawska 001 (Description Logics, 2012)

Gödel Negation Makes Unwitnessed Consistency Crisp. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2012)

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2012)

Extending Unification in EL Towards General TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (KR, 2012)

Undecidability of Fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (KR, 2012)

Finding Finite Herbrand Models. - Stefan Borgwardt; Barbara Morawska 001 (LPAR, 2012)

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. - Stefan Borgwardt; Rafael Peñaloza (RR, 2012)

Temporalizing Ontology-Based Data Access. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (CADE, 2013)

Temporal Query Answering in DL-Lite. - Stefan Borgwardt; Marcel Lippmann; Veronika Thost (Description Logics, 2013)

About Subsumption in Fuzzy EL. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2013)

Temporal Query Answering in the Description Logic DL-Lite. - Stefan Borgwardt; Marcel Lippmann; Veronika Thost (FroCos, 2013)

Positive Subsumption in Fuzzy EL with General t-Norms. - Stefan Borgwardt; Rafael Peñaloza (IJCAI, 2013)

The Complexity of Lattice-Based Fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (J. Data Semant., 2013)

Many-valued Horn Logic is Hard. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (PRUV, 2014)

Fuzzy Description Logics with General Concept Inclusions. - Stefan Borgwardt (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Fuzzy DLs over Finite Lattices with Nominals. - Stefan Borgwardt (Description Logics, 2014)

Gödel Description Logics with General Models. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2014)

Gödel FL_0 with Greatest Fixed-Point Semantics. - Stefan Borgwardt; José A. Leyva Galano; Rafael Peñaloza (Description Logics, 2014)

The Fuzzy Description Logic $ mathsf{G} text{-}{ mathcal{F !L}_0} $ with Greatest Fixed-Point Semantics. - Stefan Borgwardt; José A. Leyva Galano; Rafael Peñaloza (JELIA, 2014)

Decidable Gödel Description Logics without the Finitely-Valued Model Property. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (KR, 2014)

Finite Lattices Do Not Make Reasoning in ALCOI Harder. - Stefan Borgwardt; Rafael Peñaloza (URSW (LNCS Vol.), 2014)

Consistency reasoning in lattice-based fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (Int. J. Approx. Reason., 2014)

Fuzzy description logics with general concept inclusions. - Stefan Borgwardt (2014)

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (Australasian Conference on Artificial Intelligence, 2015)

Dismatching and Local Disunification in EL (Extended Abstract). - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2015)

Conjunctive Query Answering with Finitely Many Truth Degrees. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2015)

Temporal Query Answering in EL. - Stefan Borgwardt; Veronika Thost (Description Logics, 2015)

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. - Stefan Borgwardt; Rafael Peñaloza (FroCos, 2015)

Temporal Query Answering in DL-Lite with Negation. - Stefan Borgwardt; Veronika Thost (GCAI, 2015)

The Complexity of Subsumption in Fuzzy EL. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (IJCAI, 2015)

Temporal Query Answering in the Description Logic EL. - Stefan Borgwardt; Veronika Thost (IJCAI, 2015)

Dismatching and Local Disunification in EL. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (RTA, 2015)

The limits of decidability in fuzzy description logics with general concept inclusions. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Artif. Intell., 2015)

Reasoning in Infinitely Valued G-IALCQ. - Stefan Borgwardt; Rafael Peñaloza (CoRR, 2015)

On the Decidability Status of Fuzzy ALC with General Concept Inclusions. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (J. Philos. Log., 2015)

Temporal query entailment in the Description Logic SHQ. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (J. Web Semant., 2015)

Temporalizing rewritable query languages over knowledge bases. - Stefan Borgwardt; Marcel Lippmann; Veronika Thost (J. Web Semant., 2015)

Reasoning in Expressive Gödel Description Logics. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2016)

Preferential Query Answering over the Semantic Web with Possibilistic Networks. - Stefan Borgwardt; Bettina Fazzinga; Thomas Lukasiewicz; Akanksha Shrivastava; Oana Tifrea-Marciuska (IJCAI, 2016)

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Log. Methods Comput. Sci., 2016)

Reasoning in Fuzzy Description Logics using Automata. - Stefan Borgwardt; Rafael Peñaloza (Fuzzy Sets Syst., 2016)

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (J. Data Semant., 2016)

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Notre Dame J. Formal Log., 2016)

Ontology-Mediated Queries for Probabilistic Databases. - Stefan Borgwardt; Ismail Ilkan Ceylan; Thomas Lukasiewicz (AAAI, 2017)

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Łukasiewicz Fuzzy EL is Undecidable. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (Description Logics, 2017)

Query Rewriting for DL-Lite with n-ary Concrete Domains. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (IJCAI, 2017)

Most Probable Explanations for Probabilistic Database Queries. - Ismail Ilkan Ceylan; Stefan Borgwardt; Thomas Lukasiewicz (IJCAI, 2017)

Fuzzy Description Logics - A Survey. - Stefan Borgwardt; Rafael Peñaloza (SUM, 2017)

The complexity of fuzzy EL under the Łukasiewicz T-norm. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (Int. J. Approx. Reason., 2017)

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. - Stefan Borgwardt; Rafael Peñaloza (Int. J. Approx. Reason., 2017)

Decidability and Complexity of Fuzzy Description Logics. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (Künstliche Intell., 2017)

Recent Advances in Querying Probabilistic Knowledge Bases. - Stefan Borgwardt; Ismail Ilkan Ceylan; Thomas Lukasiewicz (IJCAI, 2018)

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. - Franz Baader; Stefan Borgwardt; Walter Forkel (WWW (Companion Volume), 2018)

Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. - Stefan Borgwardt; Ismail Ilkan Ceylan; Thomas Lukasiewicz (AAAI, 2019)

Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). - Stefan Borgwardt; Ismail Ilkan Ceylan; Thomas Lukasiewicz (Description Logics, 2019)

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). - Stefan Borgwardt; Walter Forkel (Description Logics, 2019)

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. - Stefan Borgwardt; Walter Forkel (IJCAI, 2019)

Closed-World Semantics for Conjunctive Queries with Negation over ELH_ bot Ontologies. - Stefan Borgwardt; Walter Forkel (JELIA, 2019)

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. - Chao Xu; Walter Forkel; Stefan Borgwardt; Franz Baader; Beihai Zhou (JOWO, 2019)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (RuleML+RR, 2019)

On the Complexity of Finding Good Proofs for Description Logic Entailments. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2020)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Description Logics, 2020)

In the Eye of the Beholder: Which Proofs are Best? - Stefan Borgwardt; Anke Hirsch; Alisa Kovtunova; Frederik Wiehr (Description Logics, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (LPAR, 2020)

Temporal Conjunctive Query Answering in the Extended DL-Lite Family. - Stefan Borgwardt; Veronika Thost (CoRR, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2020)

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. - Frederik Wiehr; Anke Hirsch; Florian Daiber; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (CoRR, 2020)

Semantic Technologies for Situation Awareness. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Veronika Thost; Anni-Yasmin Turhan (Künstliche Intell., 2020)

Metric Temporal Description Logics with Interval-Rigid Names. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (ACM Trans. Comput. Log., 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2020)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CADE, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2021)

In the Hand of the Beholder: Comparing Interactive Proof Visualizations. - Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr (Description Logics, 2021)

Making DL-Lite Planning Practical (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Description Logics, 2021)

Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). - Stefan Borgwardt; Ernie Chang; Kathryn Chapman; Vera Demberg; Alisa Kovtunova; Hui-Syuan Yeh (Description Logics, 2021)

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. - Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (ICMI, 2021)

Making DL-Lite Planning Practical. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (KR, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2021)

Temporal Minimal-World Semantics for Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (CoRR, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Expressivity of Planning with Horn Description Logic Ontologies. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (AAAI, 2022)

Classical Planning with Avoid Conditions. - Marcel Steinmetz; Jörg Hoffmann 001; Alisa Kovtunova; Stefan Borgwardt (AAAI, 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (IJCAR, 2022)

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (Description Logics, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (Description Logics, 2022)

Logic-Guided Message Generation from Raw Real-Time Sensor Data. - Ernie Chang; Alisa Kovtunova; Stefan Borgwardt; Vera Demberg; Kathryn Chapman; Hui-Syuan Yeh (LREC, 2022)

In the Head of the Beholder: Comparing Different Proof Representations. - Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr (RuleML+RR, 2022)

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (CoRR, 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (CoRR, 2022)

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (CoRR, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Theory Pract. Log. Program., 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Why Not? Explaining Missing Entailments with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (Description Logics, 2023)

Computing ABox Justifications for Query Answers via Datalog Rewriting. - Stefan Borgwardt; Steffen Breuer; Alisa Kovtunova (Description Logics, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2023)

Why Not? Explaining Missing Entailments with Evee (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (CoRR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (Description Logics, 2024)

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. - Stefan Borgwardt; Vera Demberg; Mayank Jobanputra; Alisa Kovtunova; Duy Nhu (Description Logics, 2024)

Explaining Reasoning Results for OWL Ontologies with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovic; Ida S. R. Siahaan (KR, 2024)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CADE, 2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2025)

Automated planning with ontologies under coherence update semantics (Extended Version). - Stefan Borgwardt; Duy Nhu; Gabriele Röger (CoRR, 2025)

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Philipp Herrmann; Markus Krötzsch (CoRR, 2025)