| Finding Small Proofs for Description Logic Entailments: Theory and Practice. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova LPAR, 32-67, 2020 | 38* | 2020 |
| Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova CADE 28, 291-308, 2021 | 26* | 2021 |
| Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. C Alrabbaa, F Baader, R Dachselt, T Flemisch, P Koopmann Description Logics, 2020 | 16 | 2020 |
| Counter Model Transformation for Explaining Non-Subsumption in EL. C Alrabbaa, W Hieke, AY Turhan FCR@ KI, 9-22, 2021 | 14 | 2021 |
| On the Complexity of Finding Good Proofs for Description Logic Entailments. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova Description Logics, 2020 | 14 | 2020 |
| Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams. T Flemisch, R Langner, C Alrabbaa, R Dachselt VOILA@ ISWC, 28-40, 2020 | 8 | 2020 |
| Evonne: Interactive Proof Visualization for Description Logics (System Description) C Alrabbaa, F Baader, S Borgwardt, R Dachselt, P Koopmann, J Méndez International Joint Conference on Automated Reasoning, 271-280, 2022 | 7 | 2022 |
| Faceted answer-set navigation C Alrabbaa, S Rudolph, L Schweizer Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 5 | 2018 |
| In the Hand of the Beholder: Comparing Interactive Proof Visualizations. C Alrabbaa, S Borgwardt, N Knieriemen, A Kovtunova, AM Rothermel, ... Description Logics, 2021 | 3 | 2021 |
| Practical Query Rewriting for DL-Lite with Numerical Predicates. C Alrabbaa, P Koopmann, AY Turhan GCAI, 15-27, 2019 | 3 | 2019 |
| Explaining ontology-mediated query answers using proofs over universal models C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova Rules and Reasoning: 6th International Joint Conference on Rules and …, 2022 | 2 | 2022 |
| Finding good proofs for answers to conjunctive queries mediated by lightweight ontologies C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova DL Workshop, 2022 | 2 | 2022 |
| Explaining Non-Entailment by Model Transformation for the Description Logic EL C Alrabbaa, W Hieke Proc. of the 11th International Conference on Knowledge Graphs. ACM, 2022 | 1 | 2022 |
| On the eve of true explainability for OWL ontologies: Description logic proofs with Evee and Evonne C Alrabbaa, S Borgwardt, T Friese, P Koopmann, J Méndez, A Popovič Proc. DL 22, 2022 | 1 | 2022 |
| Relevant Parts of Counter Models as Explanations for EL Non-Subsumptions C Alrabbaa, W Hieke, AY Turhan Informal Proc. of the 2nd Workshop on Explainable Logic-Based Knowledge …, 2021 | 1 | 2021 |
| Finding proofs for description logic entailments in practice C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’20), 2020 | 1 | 2020 |
| In the Head of the Beholder: Comparing Different Proof Representations C Alrabbaa, S Borgwardt, A Hirsch, N Knieriemen, A Kovtunova, ... Rules and Reasoning: 6th International Joint Conference on Rules and …, 2022 | | 2022 |
| Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report) C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova arXiv preprint arXiv:2208.14381, 2022 | | 2022 |
| Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report) C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova arXiv preprint arXiv:2206.09758, 2022 | | 2022 |
| Practical Query Rewriting for DL-Lite with Numerical Predicates:(Extended Version) C Alrabbaa, P Koopmann, AY Turhan Technische Universität Dresden, 2019 | | 2019 |
Patrick KoopmannResearcher, TU DresdenVerified email at tu-dresden.de
