Reasoning in description logics (1996)

by F M Donini, M Lenzerini, D Nardi, A Schaerf
Venue:In Brewka, (Ed.), Foundation of Knowledge Representation. Cambrige