Optimizing reasoning in description logics with qualified number restrictions (2001)

by V Haarslev, R Möller
Venue:In Proceedings of DL’2001