Attributed description logics: Reasoning on knowledge graphsMarkus KrötzschMaximilian Marxet al.2018IJCAI 2018
Metric Temporal Description Logics with Interval-Rigid NamesFranz BaaderStefan Borgwardtet al.2020ACM TOCL