Description logics with circumscription (2006)

by Piero Bonatti, Carsten Lutz, Tu Dresden, Frank Wolter
Venue:In Proc. of KR