Applying automated reasoning systems to data cleaning in the Semantic Web raises many foundational challenges regarding cleaning-agent design. The authors discuss these challenges and then argue that we can achieve logic trust in the Semantic Web only if it's based on certified reasoning.
This article is part of the special issue entitled AI, Agents, and the Web.