Skip to content Skip to footer

Related content

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

De Bortoli, F., Borgwardt, S. & Koopmann, P., Jun 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). CEUR-WS.org, Vol. 3739.

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

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

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. (eds.). p. 54-69 16 p. (Lecture Notes in Computer Science, Volume 14244).

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

View all research output (168)