Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Christian Alrabbaa Master of Science
Person

Zugehörigkeiten

Professur für Automatentheorie
- Doktorand:in
- christian.alrabbaa@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Auszeichnungen

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P., Kovtunova, A., & 3 weitereKrü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

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

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

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

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (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.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (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 März 2023, in: Computer Graphics Forum. 42, 6, e14730.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). S. 1-9 9 S. (IJCKG: International Joint Conference on Knowledge Graphs).

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

Alle Veröffentlichungen ansehen (36)

Alle Auszeichnungen ansehen (3)