Description logics with aggregates and concrete domains.
scientific article; zbMATH DE number 2060401