Description Logics with Circumscription.

Piero A. Bonatti, Carsten Lutz, Frank Wolter

Browse the full KR paper archive.