Skip to content Skip to footer

Research Portal of the TU Dresden

Christian Alrabbaa Master of Science
Person

Affiliations

Professor (rtd.) for Automata Theory
- Academic Staff
Institute of Theoretical Computer Science
- Academic Staff
Chair of Automata Theory
- PhD student/candidate
- christian.alrabbaa@tu-dresden.de

Identification Numbers

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

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.

Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). Springer, Cham, p. 3-21 19 p. (Lecture Notes in Computer Science, Vol. 15979).

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

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Alrabbaa, C., Borgwardt, S., Herrmann, P. & Krötzsch, M., 2025, arXiv.

Research output: Preprint/Documentation/Report › Preprint

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 11 p.

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

View all research output (39)

View all prizes (3)

Research Portal of the TU Dresden

Christian Alrabbaa Master of Science
Person

Affiliations

Identification Numbers

Related content

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

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)

Harold Boley Distinguished Paper Award

Best Paper Award

Best Research Paper