A benchmark for fact checking algorithms built on knowledge bases