Incomplete Knowledge Reasoning