1.A PROV encoding for provenance analysis using deductive rules (Datalog) Paolo MissierKhalid Belhajjame Newcastle University, UK University of Manchester, UK IPAW’12 Santa…