Christian Alrabbaa Master of Science
Person

Affiliations

Chair of Automata Theory
- PhD student/candidate
- christian.alrabbaa@tu-dresden.de

Identification Numbers

ORCID	0000-0002-2925-1765
Scopus author ID	57203852335

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P. & Kovtunova, A. & 3 others, Krüger, A., Popovic, A. & Siahaan, I. S. R., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning -- KR in the Wild. p. 709–719

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Alrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 14 Aug 2023.

Research output: Preprint/Documentation/Report › Preprint

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 7 Aug 2023.

Research output: Preprint/Documentation/Report › Preprint

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

Méndez, J., Alrabbaa, C., Koopmann, P., Langner, R., Baader, F. & Dachselt, R., 12 Mar 2023, In: Computer Graphics Forum. 42, 6, e14730.

Research output: Contribution to journal › Research article › Contributed › peer-review

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

Alrabbaa, C. & Hieke, W., 13 Feb 2023, IJCKG '22: Proceedings of the 11th International Joint Conference on Knowledge Graphs. Artale, A., Calvanese, D., Wang, H. & Zhang, X. (eds.). p. 1-9 9 p. (IJCKG: International Joint Conference on Knowledge Graphs).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (36)

View all prizes (3)

Research Portal of the TU Dresden

Christian Alrabbaa Master of Science
Person

Affiliations

Identification Numbers

Related content

Explaining Reasoning Results for OWL Ontologies with Evee

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

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

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

Harold Boley Distinguished Paper Award

Best Paper Award

Best Research Paper