no code implementations • 19 Nov 2020 • Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) with inverse roles.