Christian Alrabbaa

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 27

Top Topics

Technical Report

Top Venues

Description Logics

Publications

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee. Description Logics (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR (2023)
Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42 (6) (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR (2023)
Christian Alrabbaa, Willi Hieke
Explaining Non-Entailment by Model Transformation for the Description Logic EL. IJCKG (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Head of the Beholder: Comparing Different Proof Representations. RuleML+RR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Hand of the Beholder: Comparing Interactive Proof Visualizations. Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR (2021)
Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan
Counter Model Transformation for Explaining Non-Subsumption in EL. FCR@KI (2021)
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics (2020)
Tamara Flemisch, Ricardo Langner, Christian Alrabbaa, Raimund Dachselt
Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams. VOILA@ISWC (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR (2020)
Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI (2019)
Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation. RuleML+RR (2018)