Weiter zum Inhalt Weiter zur Fußzeile

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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/BerichtVorabdruck (Preprint)

Combining Proofs for Description Logic and Concrete Domain Reasoning

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (Hrsg.). S. 54-69 16 S. (Lecture Notes in Computer Science, Volume 14244).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Combining Proofs for Description Logic and Concrete Domain Reasoning (Extended Abstract)

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2023) workshop: co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd. 7 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Computing ABox Justifications for Query Answers via Datalog Rewriting

Kovtunova, A., Borgwardt, S. & Breuer, S., 2023, Proceedings of the 36th International Workshop on Description Logics: DL 2023, September 2-4, 2023. Rhodes, Greece

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung