Text this: Data Sciences: From First-Order Logic to the Web