Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

Open in new window