Query Conservative Extensions in Horn Description Logics with Inverse Roles.

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

Browse the full IJCAI paper archive.