Reasoning with Partial Knowledge