| Finding Small Proofs for Description Logic Entailments: Theory and Practice. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova LPAR, 32-67, 2020 | 55* | 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 | 36 | 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 | 18 | 2020 |
| 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 | 17 | 2020 |
| Counter Model Transformation for Explaining Non-Subsumption in EL. C Alrabbaa, W Hieke, AY Turhan FCR@ KI, 9-22, 2021 | 14 | 2021 |
| 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 | 13 | 2022 |
| Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging J Méndez, C Alrabbaa, P Koopmann, R Langner, F Baader, R Dachselt Computer Graphics Forum 42 (6), e14730, 2023 | 9 | 2023 |
| 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 Popovic Description Logics, 2022 | 8 | 2022 |
| 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 |
| Faceted answer-set navigation C Alrabbaa, S Rudolph, L Schweizer International Joint Conference on Rules and Reasoning, 211-225, 2018 | 7 | 2018 |
| In the head of the beholder: Comparing different proof representations C Alrabbaa, S Borgwardt, A Hirsch, N Knieriemen, A Kovtunova, ... International Joint Conference on Rules and Reasoning, 211-226, 2022 | 5 | 2022 |
| Practical Query Rewriting for DL-Lite with Numerical Predicates. C Alrabbaa, P Koopmann, AY Turhan GCAI, 15-27, 2019 | 5 | 2019 |
| Explaining ontology-mediated query answers using proofs over universal models C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova International Joint Conference on Rules and Reasoning, 167-182, 2022 | 4 | 2022 |
| Explaining Non-Entailment by Model Transformation for the Description Logic EL C Alrabbaa, W Hieke Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022 | 4 | 2022 |
| Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova Description Logics, 2022 | 3 | 2022 |
| 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 |
| 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 |
| Combining Proofs for Description Logic and Concrete Domain Reasoning C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova International Joint Conference on Rules and Reasoning, 54-69, 2023 | | 2023 |
| Why Not? Explaining Missing Entailments with Evee (Technical Report) C Alrabbaa, S Borgwardt, T Friese, P Koopmann, M Kotlov arXiv preprint arXiv:2308.07294, 2023 | | 2023 |
Patrick KoopmannVrije Universiteit AmsterdamVerified email at vu.nl
