Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter

Browse the full AAAI paper archive.