Description logics with circumscription. In: (2006)

by P A Bonatti, C Lutz, F Wolter
Venue:Proc. of KR,