Using Markov Logic to Refine an Automatically Extracted Knowledge Base