Text this: Efficient Computation of the Well-Founded Semantics over Big Data.