Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Christian Alrabbaa Master of Science
Person

Zugehörigkeiten

Professur für Algorithmische und strukturelle Graphentheorie
- Wissenschaftliches Personal
Seniorprofessor für Automatentheorie
- Wissenschaftliches Personal
Institut für Theoretische Informatik
- Wissenschaftliches Personal

Identifizierungsnummern

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

Veröffentlichungen
Auszeichnungen

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)

Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 12 Nov. 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025). 5 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

The Shape of ℰℒ Proofs: A Tale of Three Calculi

Alrabbaa, C., Borgwardt, S., Herrmann, P. & Krötzsch, M., 2025, Description Logics 2025: Proceedings of the 38th International Workshop on Description Logics - DL 2025 Opole, Poland, September 3-6, 2025.. CEUR-WS.org, 11 S. (CEUR Workshop Proceedings, Band 4091).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

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

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P. & Kovtunova, A. & 3 weitere, 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. S. 709–719 11 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (40)

Alle Auszeichnungen ansehen (3)

Forschungsportal der TU Dresden

Christian Alrabbaa Master of Science
Person

Zugehörigkeiten

Identifizierungsnummern

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

The Shape of ℰℒ Proofs: A Tale of Three Calculi

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

Explaining Reasoning Results for OWL Ontologies with Evee

Harold Boley Distinguished Paper Award

Best Paper Award

Best Research Paper