Christian Alrabbaa

According to our database, Christian Alrabbaa authored at least 27 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.

Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt

Comput. Graph. Forum, September, 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 (Technical Report).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

CoRR, 2023

Combining Proofs for Description Logic and Concrete Domain Reasoning.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Why Not? Explaining Missing Entailments with Evee.

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

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

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, Alexej Popovic

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

CoRR, 2022

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Rules and Reasoning, 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

Proceedings of the Rules and Reasoning, 2022

Explaining Non-Entailment by Model Transformation for the Description Logic EL.

Christian Alrabbaa, Willi Hieke

Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 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, Alexej Popovic

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

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

Counter Model Transformation for Explaining Non-Subsumption in EL.

Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Automated Deduction - CADE 28, 2021

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

Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams.

Tamara Flemisch, Ricardo Langner, Christian Alrabbaa, Raimund Dachselt

Proceedings of the Fifth International Workshop on Visualization and Interaction for Ontologies and Linked Data co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair.

Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

On the Complexity of Finding Good Proofs for Description Logic Entailments.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Practical Query Rewriting for DL-Lite with Numerical Predicates.

Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

2018

Faceted Answer-Set Navigation.

Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018