Christian Alrabbaa

32 papers A* 1A 2B 5Journal 10Unranked 14

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