Faceted Answer-Set Navigation. - Christian Alrabbaa; Sebastian Rudolph; Lukas Schweizer (RuleML+RR, 2018)

Practical Query Rewriting for DL-Lite with Numerical Predicates. - Christian Alrabbaa; Patrick Koopmann; Anni-Yasmin Turhan (GCAI, 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)

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. - Christian Alrabbaa; Franz Baader; Raimund Dachselt; Tamara Flemisch; Patrick Koopmann (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)

Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams. - Tamara Flemisch; Ricardo Langner; Christian Alrabbaa; Raimund Dachselt (VOILA@ISWC, 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)

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)

Counter Model Transformation for Explaining Non-Subsumption in EL. - Christian Alrabbaa; Willi Hieke; Anni-Yasmin Turhan (FCR@KI, 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)

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)

Explaining Non-Entailment by Model Transformation for the Description Logic EL. - Christian Alrabbaa; Willi Hieke (IJCKG, 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)

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)

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)

Why Not? Explaining Missing Entailments with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (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)

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. - Julián Méndez 001; Christian Alrabbaa; Patrick Koopmann; Ricardo Langner; Franz Baader; Raimund Dachselt (Comput. Graph. Forum, 2023)

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 Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Philipp Herrmann; Markus Krötzsch (CoRR, 2025)