Follow
Christian Alrabbaa
Title
Cited by
Cited by
Year
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
162020
Counter Model Transformation for Explaining Non-Subsumption in EL.
C Alrabbaa, W Hieke, AY Turhan
FCR@ KI, 9-22, 2021
142021
On the Complexity of Finding Good Proofs for Description Logic Entailments.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Description Logics, 2020
142020
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
82020
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
72022
Faceted answer-set navigation
C Alrabbaa, S Rudolph, L Schweizer
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
52018
In the Hand of the Beholder: Comparing Interactive Proof Visualizations.
C Alrabbaa, S Borgwardt, N Knieriemen, A Kovtunova, AM Rothermel, ...
Description Logics, 2021
32021
Practical Query Rewriting for DL-Lite with Numerical Predicates.
C Alrabbaa, P Koopmann, AY Turhan
GCAI, 15-27, 2019
32019
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
22022
Finding good proofs for answers to conjunctive queries mediated by lightweight ontologies
C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova
DL Workshop, 2022
22022
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
12022
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
12022
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
12021
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–20