Well founded semantics for P2P deductive databases