Expressice number restrictions in description logics (1999)

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