TY  - RPRT
TI  - Using Tableau to Decide Description Logics with Full Role Negation and Identity
AU  - Renate A. Schmidt
AU  - Dmitry Tishkovsky
PY  - 2016
DO  - 10.1145/2559947
UR  - https://arxiv.org/abs/1208.1476
ID  - 1208.1476
ER  -