Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß. Situation Calculus Meets Description Logics. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, editors, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Volume 11560 of Lecture Notes in Computer Science, pages 240-265, Springer, 2019. [doi]
Abstract is missing.