Reasoning in description logics (1996)

by F M Donini, M Lenzerini, D Nardi, A Schaerf
Venue:Principles of Knowledge Representation. CSLI