TY  - RPRT
TI  - Conservative Extensions in Horn Description Logics with Inverse Roles
AU  - Jean Christoph Jung
AU  - Carsten Lutz
AU  - Mauricio Martel
AU  - Thomas Schneider
PY  - 2020
UR  - https://arxiv.org/abs/2011.09858
ID  - 2011.09858
ER  -