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