Reasoning in description logics (1996)

by Francesco M Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
Venue:Principles of Knowledge Representation, Studies in Logic, Language and Information