Expressive number restrictions in description logics (1999)

by Franz Baader, Ulrike Sattler
Venue:J. of Logic and Computation