TY  - RPRT
TI  - Finite Query Answering in Expressive Description Logics with Transitive Roles
AU  - Tomasz Gogacz
AU  - Yazmin Ibáñez-García
AU  - Filip Murlak
PY  - 2018
UR  - https://arxiv.org/abs/1808.03130
ID  - 1808.03130
ER  -