Giacomo, Lenzerini, 1995. What's in an Aggregate: Foundations for Description Logics with Tuples and Sets, in: .