Stav dette: Finite open-world query answering with number restrictions