Finite Open-World Query Answering with Number Restrictions | IEEE Conference Publication | IEEE Xplore