Metric Temporal Description Logics with Interval-Rigid Names

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost. Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log., 21(4), 2020. [doi]

Abstract

Abstract is missing.