Text this: Data Mining and Knowledge Discovery via Logic-Based Methods