Haitao Cheng, Zongmin Ma. Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.