Jean Christoph Jung

Conservative Extensions in Horn Description Logics with Inverse Roles

2020 · arXiv (Cornell University)

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. We consider both query conservative extensions, defined by requiring …