Metric temporal description logics with interval-rigid names
scientific article; zbMATH DE number 6821627