TY  - RPRT
TI  - Signature-Based Abduction for Expressive Description Logics -- Technical Report
AU  - Patrick Koopmann
AU  - Warren Del-Pinto
AU  - Sophie Tourret
AU  - Renate A. Schmidt
PY  - 2020
UR  - https://arxiv.org/abs/2007.00757
ID  - 2007.00757
ER  -