From subsumption to instance checking (1992)

by Francesco M Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf