Role hierarchies and number restrictions (1997)

by H J Ohlbach, J Koehler
Venue:In Proceedings of the 1997 International Workshop on Description Logics (DL’97