Finite Open-World Query Answering with Number Restrictions.

Antoine Amarilli, Michael Benedikt

Browse the full LICS paper archive.