Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals