Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. Combining Proofs for Description Logic and Concrete Domain Reasoning. In Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu, editors, Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. Volume 14244 of Lecture Notes in Computer Science, pages 54-69, Springer, 2023. [doi]
Abstract is missing.