Semantic Technologies for Situation Awareness: Report on a Project Within the CRC “Highly Adaptive Energy-Efficient Computing”Franz BaaderStefan Borgwardtet al.2020KI - Kunstliche Intelligenz
Metric Temporal Description Logics with Interval-Rigid NamesFranz BaaderStefan Borgwardtet al.2020ACM TOCL