TY  - RPRT
TI  - Finite Open-World Query Answering with Number Restrictions (Extended Version)
AU  - Antoine Amarilli
AU  - Michael Benedikt
PY  - 2015
DO  - 10.1109/lics.2015.37
UR  - https://arxiv.org/abs/1505.04216
ID  - 1505.04216
ER  -