Efficient Computation of the Well-Founded Semantics over Big Data